結果

問題 No.1083 余りの余り
コンテスト
ユーザー mkmkmkmk
提出日時 2022-05-14 16:05:34
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 2 ms / 3,000 ms
コード長 2,837 bytes
コンパイル時間 4,222 ms
コンパイル使用メモリ 234,452 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-07-23 01:50:25
合計ジャッジ時間 5,317 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 31
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
//using mint = modint1000000007;
using namespace std;
typedef long long lint;
#define rep(i,n) for(lint i=0;i<n;i++)
#define repp(i,m,n) for(lint i=m;i<n;i++)
#define repm(i,n) for(lint i=n-1;i>=0;i--)
#define INF (1ll<<60)
#define all(x) (x).begin(),(x).end()
//const lint MOD =1000000007;
const lint MOD=998244353;
const lint MAX = 4000000;
using Graph =vector<vector<lint>>;
typedef pair<lint,lint> P;
typedef map<lint,lint> M;
#pragma GCC optimize("Ofast")
#define chmax(x,y) x=max(x,y)
#define chmin(x,y) x=min(x,y)

 
 
 
lint fac[MAX], finv[MAX], inv[MAX];
 
void COMinit() 
{
    fac[0] = fac[1] = 1;
    finv[0] = finv[1] = 1;
    inv[1] = 1;
    for (lint i = 2; i < MAX; i++)
    {
        fac[i] = fac[i - 1] * i % MOD;
        inv[i] = MOD - inv[MOD % i] * (MOD / i) % MOD;
        finv[i] = finv[i - 1] * inv[i] % MOD;
    }
}
 
long long COM(lint n, lint k)
{
    if (n < k)
        return 0;
    if (n < 0 || k < 0)
        return 0;
    return fac[n] * (finv[k] * finv[n - k] % MOD) % MOD;
}
 
lint primary(lint num)
{
    if (num < 2) return 0;
    else if (num == 2) return 1;
    else if (num % 2 == 0) return 0;
 
    double sqrtNum = sqrt(num);
    for (int i = 3; i <= sqrtNum; i += 2)
    {
        if (num % i == 0)
        {
            return 0;
        }
    }
 
    return 1;
}
   long long modpow(long long a, long long n, long long mod) {
    long long res = 1;
    while (n > 0) {
        if (n & 1) res = res * a % mod;
        a = a * a % mod;
        n >>= 1;
    }
    return res;
}
    lint lcm(lint a,lint b){
        return a/__gcd(a,b)*b;
    }
     lint gcd(lint a,lint b){
        return __gcd(a,b);
    }

    lint popcount(lint n){
        lint ret=0;
        while(n!=0){
            if(n%2)ret++;
            n/=2;
        }
        return ret;
    }

    lint ans=0;
    vector<lint> a;
    void dfs(vector<bool> t,lint num){
        if(ans>num)return ;
        auto b=t;
        rep(i,b.size()){
            if(num<a[i])b[i]=true;
        }
        lint cnt=0;
        rep(i,b.size())if(b[i])cnt++;
        if(cnt==b.size()){
            chmax(ans,num);
            return ;
        }

        rep(i,t.size()){
            if(!b[i]){
            b[i]=true;
            dfs(b,num%a[i]);
            b[i]=false;
            }
        }
    }

    int main(){
        lint n,k;
        cin>>n>>k;
        rep(i,n){
            lint g;
            cin>>g;
            a.push_back(g);
        }
        vector<bool> input;
        rep(i,n)input.push_back(false);
        dfs(input,k);
        cout<<ans<<endl;

    }
0