結果
| 問題 | No.1083 余りの余り | 
| コンテスト | |
| ユーザー |  tanimani364 | 
| 提出日時 | 2020-06-19 22:45:31 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                WA
                                 
                            (最新) 
                                AC
                                 
                            (最初) | 
| 実行時間 | - | 
| コード長 | 1,405 bytes | 
| コンパイル時間 | 1,974 ms | 
| コンパイル使用メモリ | 198,020 KB | 
| 最終ジャッジ日時 | 2025-01-11 07:23:53 | 
| ジャッジサーバーID (参考情報) | judge4 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 30 WA * 1 | 
ソースコード
#include <bits/stdc++.h>
#define rep(i, a) for (int i = (int)0; i < (int)a; ++i)
#define rrep(i, a) for (int i = (int)a - 1; i >= 0; --i)
#define REP(i, a, b) for (int i = (int)a; i < (int)b; ++i)
#define RREP(i, a, b) for (int i = (int)a - 1; i >= b; --i)
#define pb push_back
#define eb emplace_back
#define all(x) x.begin(), x.end()
#define rall(x) x.rbegin(), x.rend()
using ll = long long;
constexpr ll mod = 1e9 + 7;
constexpr ll INF = 1LL << 60;
template <class T>
inline bool chmin(T &a, T b)
{
	if (a > b)
	{
		a = b;
		return true;
	}
	return false;
}
template <class T>
inline bool chmax(T &a, T b)
{
	if (a < b)
	{
		a = b;
		return true;
	}
	return false;
}
ll gcd(ll n, ll m)
{
	ll tmp;
	while (m != 0)
	{
		tmp = n % m;
		n = m;
		m = tmp;
	}
	return n;
}
ll lcm(ll n, ll m)
{
	return abs(n) / gcd(n, m) * abs(m); //gl=xy
}
using namespace std;
void solve()
{
	ll n,k;
	cin>>n>>k;
	vector<ll>a(n);
	rep(i,n)cin>>a[i];
	vector<vector<ll>>dp(n+1,vector<ll>(1<<n));
	rep(i,n)dp[i][1<<i]=k%a[i];
	rep(bit,1<<n){
		rep(i,n){
			if(!(bit&(1<<i)))continue;
		rep(j,n){
			if(bit&(1<<j))continue;
			chmax(dp[j][bit|1<<j],dp[i][bit]%a[j]);
			//cout<<(bit|1<<j)<<" "<<dp[j][bit|1<<j]<<"\n";
		}
		}
	}
	ll ans=0;
	rep(i,n){
		chmax(ans,dp[i][(1<<n)-1]);
	}
	cout<<ans<<"\n";
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);
	cout << fixed << setprecision(15);
	solve();
	return 0;
}
            
            
            
        