結果

問題 No.941 商とあまり
ユーザー りあんりあん
提出日時 2019-12-04 08:02:46
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 83 ms / 2,000 ms
コード長 2,410 bytes
コンパイル時間 2,361 ms
コンパイル使用メモリ 212,532 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-05-07 02:38:06
合計ジャッジ時間 9,842 ms
ジャッジサーバーID
(参考情報)
judge5 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 43 ms
6,812 KB
testcase_01 AC 23 ms
6,940 KB
testcase_02 AC 23 ms
6,944 KB
testcase_03 AC 23 ms
6,944 KB
testcase_04 AC 23 ms
6,944 KB
testcase_05 AC 24 ms
6,944 KB
testcase_06 AC 24 ms
6,940 KB
testcase_07 AC 33 ms
6,944 KB
testcase_08 AC 32 ms
6,940 KB
testcase_09 AC 30 ms
6,940 KB
testcase_10 AC 43 ms
6,944 KB
testcase_11 AC 26 ms
6,944 KB
testcase_12 AC 25 ms
6,940 KB
testcase_13 AC 26 ms
6,944 KB
testcase_14 AC 25 ms
6,944 KB
testcase_15 AC 29 ms
6,940 KB
testcase_16 AC 28 ms
6,940 KB
testcase_17 AC 27 ms
6,944 KB
testcase_18 AC 26 ms
6,944 KB
testcase_19 AC 27 ms
6,940 KB
testcase_20 AC 23 ms
6,940 KB
testcase_21 AC 23 ms
6,940 KB
testcase_22 AC 24 ms
6,940 KB
testcase_23 AC 2 ms
6,944 KB
testcase_24 AC 2 ms
6,944 KB
testcase_25 AC 2 ms
6,940 KB
testcase_26 AC 35 ms
6,944 KB
testcase_27 AC 31 ms
6,944 KB
testcase_28 AC 26 ms
6,940 KB
testcase_29 AC 35 ms
6,940 KB
testcase_30 AC 35 ms
6,940 KB
testcase_31 AC 26 ms
6,940 KB
testcase_32 AC 26 ms
6,944 KB
testcase_33 AC 23 ms
6,940 KB
testcase_34 AC 25 ms
6,940 KB
testcase_35 AC 25 ms
6,944 KB
testcase_36 AC 26 ms
6,940 KB
testcase_37 AC 29 ms
6,944 KB
testcase_38 AC 27 ms
6,944 KB
testcase_39 AC 25 ms
6,940 KB
testcase_40 AC 24 ms
6,940 KB
testcase_41 AC 23 ms
6,940 KB
testcase_42 AC 23 ms
6,944 KB
testcase_43 AC 25 ms
6,944 KB
testcase_44 AC 26 ms
6,940 KB
testcase_45 AC 75 ms
6,940 KB
testcase_46 AC 83 ms
6,940 KB
testcase_47 AC 25 ms
6,944 KB
testcase_48 AC 23 ms
6,944 KB
testcase_49 AC 26 ms
6,940 KB
testcase_50 AC 25 ms
6,944 KB
testcase_51 AC 24 ms
6,944 KB
testcase_52 AC 25 ms
6,940 KB
testcase_53 AC 25 ms
6,940 KB
testcase_54 AC 55 ms
6,940 KB
testcase_55 AC 51 ms
6,944 KB
testcase_56 AC 46 ms
6,940 KB
testcase_57 AC 25 ms
6,940 KB
testcase_58 AC 26 ms
6,940 KB
testcase_59 AC 27 ms
6,944 KB
testcase_60 AC 26 ms
6,944 KB
testcase_61 AC 26 ms
6,944 KB
testcase_62 AC 30 ms
6,944 KB
testcase_63 AC 28 ms
6,940 KB
testcase_64 AC 28 ms
6,940 KB
testcase_65 AC 29 ms
6,940 KB
testcase_66 AC 32 ms
6,940 KB
testcase_67 AC 29 ms
6,940 KB
testcase_68 AC 32 ms
6,940 KB
testcase_69 AC 28 ms
6,940 KB
testcase_70 AC 30 ms
6,940 KB
testcase_71 AC 38 ms
6,940 KB
testcase_72 AC 38 ms
6,940 KB
testcase_73 AC 30 ms
6,940 KB
testcase_74 AC 31 ms
6,944 KB
testcase_75 AC 29 ms
6,940 KB
testcase_76 AC 30 ms
6,944 KB
testcase_77 AC 30 ms
6,940 KB
testcase_78 AC 31 ms
6,940 KB
testcase_79 AC 30 ms
6,940 KB
testcase_80 AC 30 ms
6,944 KB
testcase_81 AC 31 ms
6,944 KB
testcase_82 AC 30 ms
6,944 KB
testcase_83 AC 29 ms
6,944 KB
testcase_84 AC 29 ms
6,944 KB
testcase_85 AC 29 ms
6,944 KB
testcase_86 AC 29 ms
6,940 KB
testcase_87 AC 30 ms
6,940 KB
testcase_88 AC 29 ms
6,944 KB
testcase_89 AC 30 ms
6,940 KB
testcase_90 AC 31 ms
6,940 KB
testcase_91 AC 30 ms
6,940 KB
testcase_92 AC 31 ms
6,940 KB
testcase_93 AC 31 ms
6,940 KB
testcase_94 AC 25 ms
6,940 KB
testcase_95 AC 29 ms
6,944 KB
testcase_96 AC 29 ms
6,940 KB
testcase_97 AC 29 ms
6,944 KB
testcase_98 AC 24 ms
6,940 KB
testcase_99 AC 26 ms
6,944 KB
testcase_100 AC 28 ms
6,944 KB
testcase_101 AC 23 ms
6,940 KB
testcase_102 AC 23 ms
6,940 KB
testcase_103 AC 28 ms
6,940 KB
testcase_104 AC 2 ms
6,940 KB
testcase_105 AC 2 ms
6,940 KB
testcase_106 AC 2 ms
6,944 KB
testcase_107 AC 2 ms
6,940 KB
testcase_108 AC 2 ms
6,944 KB
testcase_109 AC 1 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<bits/stdc++.h>
using namespace std;
using P = pair<int, int>;
const int M = 1000000007;



int x;
vector<bool> ans;

void output() {
    for (bool i : ans) {
        cout << i;
    }
    cout << '\n';
}

int gcd(int a, int b) {
    while (b > 0) {
        int t = a % b;
        a = b;
        b = t;
    }
    return a;
}


void dfs(const vector<int>& v, int j, int s) {
    if (j == v.size()) {
        ans[s] = true;
        return;
    }
    for (int i = 0; s + i < x; i += v[j]) {
        if (i > 0 && j + 1 < v.size() && i % v[j + 1] == 0) break;
        dfs(v, j + 1, s + i);
    }
}


int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    int n;
    cin >> n >> x;
    vector<int> a(n);
    for (int i = 0; i < n; ++i) {
        cin >> a[i];
    }
    sort(a.begin(), a.end());
    long long sum = 1;
    for (int i = 0; i < n; ++i) {
        sum *= a[i] + 1;
        if (sum > M) break;
    }
    ans = vector<bool>(x);
    if (sum - 1 > x) {
        output();
        return 0;
    }
    int bs = sum - 1;
    if (n == 1) {
        ans[a[0] - 1] = true;
        output();
        return 0;
    }
    vector<int> b;
    for (int i = 0; i < n; ++i) {
        if (i == 0 || a[i - 1] < a[i]) {
            b.push_back(a[i]);
        }
    }
    int sz = b.size() < a.size() ? b.size() : b.size() - 1;
    vector<int> mi(x + 1, M);
    for (int i = 1; i < (1 << b.size()); ++i) {
        int c = 0, g = 0;
        for (int j = 0; j < b.size(); ++j) {
            if (i >> j & 1) {
                ++c;
                g = gcd(g, b[j]);
            }
        }
        if (mi[g] > c) {
            for (int j = g; j <= x; j += g) {
                mi[g] = c;
            }
        }
    }
    for (int i = 1; i < (1 << b.size()); ++i) {
        int g = 0;
        vector<int> c;
        for (int j = 0; j < b.size(); ++j) {
            if (i >> j & 1) {
                g = gcd(g, b[j]);
                c.push_back(b[j]);
            }
        }
        if (mi[g] == c.size() && c.size() <= sz) {
            do
            {
                vector<int> v(c.size());
                int ss = 1;
                for (int i = 0; i < c.size(); ++i) {
                    v[i] = ss * c[i];
                    ss *= c[i] + 1;
                }
                dfs(v, 0, bs - 1);

            } while (next_permutation(c.begin(), c.end()));

        }
    }
    output();

    return 0;
}
0