結果

問題 No.941 商とあまり
ユーザー りあんりあん
提出日時 2019-12-04 07:33:55
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,289 bytes
コンパイル時間 2,362 ms
コンパイル使用メモリ 210,572 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-05-07 01:35:41
合計ジャッジ時間 10,131 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

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, int g) {
    if (j + 1 == v.size()) {
        for (int i = 0; s + i < x; i += v[j]) {
            ans[s + i] = true;
        }
        return;
    }
    int ng = gcd(g, v[j + 1]);
    for (int i = 0; s + i < x; i += v[j]) {
        if (i > 0 && i % v[j + 1] == 0) break;
        ans[s + i] = true;
        if (g > 1) {
            dfs(v, j + 1, s + i, ng);
        }
    }
}


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());
    for (int i = 1; i < (1 << b.size()); ++i) {
        vector<int> c;
        bool f = true;
        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]);
                if (g[i] == g[i ^ 1 << j]) f = false;
                c.push_back(b[j]);
            }
        }
        if (f && 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, 0);

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

        }
    }
    output();

    return 0;
}
0