結果
| 問題 | No.1083 余りの余り | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2020-06-19 21:46:56 | 
| 言語 | C++17(gcc12) (gcc 12.3.0 + boost 1.87.0) | 
| 結果 | 
                                WA
                                 
                            (最新) 
                                AC
                                 
                            (最初) | 
| 実行時間 | - | 
| コード長 | 1,434 bytes | 
| コンパイル時間 | 6,847 ms | 
| コンパイル使用メモリ | 261,032 KB | 
| 最終ジャッジ日時 | 2025-01-11 06:02:43 | 
| ジャッジサーバーID (参考情報) | judge5 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 30 WA * 1 | 
ソースコード
#include <bits/stdc++.h>
#define REP(i, n) for(int i = 0;i < n;i++)
#define ll long long
using namespace std;
//typedef vector<unsigned int>vec;
//typedef vector<ll>vec;
//typedef vector<vec> mat;
typedef pair<int, int> P;
typedef pair<ll,ll> LP;
const int dx[8] = {1, 0, -1, 0, 1, -1, -1, 1};
const int dy[8] = {0, 1, 0, -1, 1, 1, -1, -1};
const int INF = 1000000000;
const ll LINF = 1000000000000000000;//1e18
const ll MOD = 1000000007;
const ll MOD2 = 998244353;
const double PI = acos(-1.0);
const double EPS = 1e-10;
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }
//template<class T> inline void add(T &a, T b){a = ((a+b) % MOD + MOD) % MOD;};
void solve(){
    int N, K;
    cin >> N >> K;
    vector<ll> A(N);
    REP(i,N) cin >> A[i];
    vector<vector<ll>> dp(N, vector<ll>(1<<N, -INF));
    // REP(i,N) dp[i][1<<i] = K % A[i];
    dp[0][0] = K;
    for(int i=1;i<(1<<N);i++){
        REP(j,N) if(i >> j & 1){//使う
            REP(k,N) if(dp[k][i-(1<<j)] != -INF){//一個前
                chmax(dp[j][i], dp[k][i-(1<<j)] % A[j]);
            }
        }
    }
    ll ans = 0;
    REP(i,N) chmax(ans, dp[i][(1<<N)-1]);
    cout << ans << endl;
}
int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    solve();
    // int T; cin >> T; REP(t,T) solve();
}
            
            
            
        