結果

問題 No.941 商とあまり
ユーザー りあんりあん
提出日時 2019-12-04 08:09:27
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 87 ms / 2,000 ms
コード長 2,506 bytes
コンパイル時間 2,083 ms
コンパイル使用メモリ 211,020 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-05-07 02:51:42
合計ジャッジ時間 9,707 ms
ジャッジサーバーID
(参考情報)
judge4 / judge3
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 49 ms
5,248 KB
testcase_01 AC 20 ms
5,248 KB
testcase_02 AC 21 ms
5,376 KB
testcase_03 AC 22 ms
5,376 KB
testcase_04 AC 22 ms
5,376 KB
testcase_05 AC 22 ms
5,376 KB
testcase_06 AC 21 ms
5,376 KB
testcase_07 AC 39 ms
5,376 KB
testcase_08 AC 39 ms
5,376 KB
testcase_09 AC 37 ms
5,376 KB
testcase_10 AC 47 ms
5,376 KB
testcase_11 AC 34 ms
5,376 KB
testcase_12 AC 32 ms
5,376 KB
testcase_13 AC 34 ms
5,376 KB
testcase_14 AC 32 ms
5,376 KB
testcase_15 AC 36 ms
5,376 KB
testcase_16 AC 35 ms
5,376 KB
testcase_17 AC 35 ms
5,376 KB
testcase_18 AC 32 ms
5,376 KB
testcase_19 AC 34 ms
5,376 KB
testcase_20 AC 21 ms
5,376 KB
testcase_21 AC 21 ms
5,376 KB
testcase_22 AC 21 ms
5,376 KB
testcase_23 AC 1 ms
5,376 KB
testcase_24 AC 1 ms
5,376 KB
testcase_25 AC 2 ms
5,376 KB
testcase_26 AC 42 ms
5,376 KB
testcase_27 AC 38 ms
5,376 KB
testcase_28 AC 35 ms
5,376 KB
testcase_29 AC 41 ms
5,376 KB
testcase_30 AC 41 ms
5,376 KB
testcase_31 AC 33 ms
5,376 KB
testcase_32 AC 33 ms
5,376 KB
testcase_33 AC 21 ms
5,376 KB
testcase_34 AC 32 ms
5,376 KB
testcase_35 AC 32 ms
5,376 KB
testcase_36 AC 33 ms
5,376 KB
testcase_37 AC 37 ms
5,376 KB
testcase_38 AC 34 ms
5,376 KB
testcase_39 AC 32 ms
5,376 KB
testcase_40 AC 21 ms
5,376 KB
testcase_41 AC 21 ms
5,376 KB
testcase_42 AC 21 ms
5,376 KB
testcase_43 AC 33 ms
5,376 KB
testcase_44 AC 34 ms
5,376 KB
testcase_45 AC 78 ms
5,376 KB
testcase_46 AC 87 ms
5,376 KB
testcase_47 AC 33 ms
5,376 KB
testcase_48 AC 21 ms
5,376 KB
testcase_49 AC 34 ms
5,376 KB
testcase_50 AC 33 ms
5,376 KB
testcase_51 AC 34 ms
5,376 KB
testcase_52 AC 34 ms
5,376 KB
testcase_53 AC 34 ms
5,376 KB
testcase_54 AC 62 ms
5,376 KB
testcase_55 AC 56 ms
5,376 KB
testcase_56 AC 54 ms
5,376 KB
testcase_57 AC 34 ms
5,376 KB
testcase_58 AC 35 ms
5,376 KB
testcase_59 AC 36 ms
5,376 KB
testcase_60 AC 38 ms
5,376 KB
testcase_61 AC 37 ms
5,376 KB
testcase_62 AC 40 ms
5,376 KB
testcase_63 AC 36 ms
5,376 KB
testcase_64 AC 37 ms
5,376 KB
testcase_65 AC 37 ms
5,376 KB
testcase_66 AC 39 ms
5,376 KB
testcase_67 AC 37 ms
5,376 KB
testcase_68 AC 40 ms
5,376 KB
testcase_69 AC 37 ms
5,376 KB
testcase_70 AC 39 ms
5,376 KB
testcase_71 AC 44 ms
5,376 KB
testcase_72 AC 48 ms
5,376 KB
testcase_73 AC 38 ms
5,376 KB
testcase_74 AC 39 ms
5,376 KB
testcase_75 AC 36 ms
5,376 KB
testcase_76 AC 37 ms
5,376 KB
testcase_77 AC 36 ms
5,376 KB
testcase_78 AC 37 ms
5,376 KB
testcase_79 AC 36 ms
5,376 KB
testcase_80 AC 37 ms
5,376 KB
testcase_81 AC 37 ms
5,376 KB
testcase_82 AC 37 ms
5,376 KB
testcase_83 AC 39 ms
5,376 KB
testcase_84 AC 36 ms
5,376 KB
testcase_85 AC 38 ms
5,376 KB
testcase_86 AC 36 ms
5,376 KB
testcase_87 AC 39 ms
5,376 KB
testcase_88 AC 37 ms
5,376 KB
testcase_89 AC 37 ms
5,376 KB
testcase_90 AC 39 ms
5,376 KB
testcase_91 AC 38 ms
5,376 KB
testcase_92 AC 38 ms
5,376 KB
testcase_93 AC 37 ms
5,376 KB
testcase_94 AC 33 ms
5,376 KB
testcase_95 AC 36 ms
5,376 KB
testcase_96 AC 36 ms
5,376 KB
testcase_97 AC 36 ms
5,376 KB
testcase_98 AC 20 ms
5,376 KB
testcase_99 AC 32 ms
5,376 KB
testcase_100 AC 35 ms
5,376 KB
testcase_101 AC 21 ms
5,376 KB
testcase_102 AC 21 ms
5,376 KB
testcase_103 AC 34 ms
5,376 KB
testcase_104 AC 2 ms
5,376 KB
testcase_105 AC 2 ms
5,376 KB
testcase_106 AC 2 ms
5,376 KB
testcase_107 AC 2 ms
5,376 KB
testcase_108 AC 1 ms
5,376 KB
testcase_109 AC 1 ms
5,376 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> g(1 << b.size());
    vector<int> bc(1 << b.size());
    vector<int> mi(x + 1, M);
    for (int i = 1; i < (1 << b.size()); ++i) {
        for (int j = 0; j < b.size(); ++j) {
            if (i >> j & 1) {
                if (g[i] == 0) g[i] = gcd(g[i ^ 1 << j], b[j]);
                ++bc[i];
            }
        }
        mi[g[i]] = min(mi[g[i]], bc[i]);
    }
    for (int i = 1; i <= x; ++i) {
        for (int j = i; j <= x; j += i) {
            mi[j] = min(mi[j], mi[i]);
        }
    }
    for (int i = 1; i < (1 << b.size()); ++i) {
        if (mi[g[i]] == bc[i] && bc[i] <= sz) {
            vector<int> c;
            for (int j = 0; j < b.size(); ++j) {
                if (i >> j & 1) {
                    c.push_back(b[j]);
                }
            }
            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