結果

問題 No.2672 Subset Xor Sum
ユーザー InTheBloomInTheBloom
提出日時 2024-03-15 22:13:35
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
RE  
実行時間 -
コード長 1,380 bytes
コンパイル時間 1,160 ms
コンパイル使用メモリ 102,572 KB
実行使用メモリ 13,632 KB
最終ジャッジ日時 2024-09-30 01:35:19
合計ジャッジ時間 8,979 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 RE -
testcase_01 AC 2 ms
6,820 KB
testcase_02 AC 3 ms
6,820 KB
testcase_03 AC 3 ms
6,820 KB
testcase_04 AC 3 ms
6,820 KB
testcase_05 RE -
testcase_06 RE -
testcase_07 AC 3 ms
6,816 KB
testcase_08 AC 2 ms
6,816 KB
testcase_09 AC 2 ms
6,816 KB
testcase_10 RE -
testcase_11 RE -
testcase_12 AC 3 ms
6,816 KB
testcase_13 AC 3 ms
6,816 KB
testcase_14 AC 3 ms
6,820 KB
testcase_15 AC 3 ms
6,816 KB
testcase_16 AC 3 ms
6,820 KB
testcase_17 AC 3 ms
6,816 KB
testcase_18 AC 3 ms
6,816 KB
testcase_19 AC 3 ms
6,820 KB
testcase_20 AC 3 ms
6,816 KB
testcase_21 AC 3 ms
6,820 KB
testcase_22 RE -
testcase_23 RE -
testcase_24 AC 3 ms
6,820 KB
testcase_25 AC 3 ms
6,820 KB
testcase_26 AC 2 ms
6,820 KB
testcase_27 AC 2 ms
6,820 KB
testcase_28 RE -
testcase_29 RE -
testcase_30 AC 3 ms
6,816 KB
testcase_31 AC 136 ms
6,816 KB
testcase_32 AC 57 ms
6,816 KB
testcase_33 AC 48 ms
6,816 KB
testcase_34 AC 97 ms
6,816 KB
testcase_35 AC 135 ms
6,816 KB
testcase_36 AC 110 ms
6,816 KB
testcase_37 AC 129 ms
6,820 KB
testcase_38 AC 63 ms
6,816 KB
testcase_39 AC 143 ms
6,820 KB
testcase_40 AC 26 ms
6,816 KB
testcase_41 AC 59 ms
6,820 KB
testcase_42 AC 91 ms
6,816 KB
testcase_43 AC 72 ms
6,820 KB
testcase_44 AC 106 ms
6,816 KB
testcase_45 AC 67 ms
6,820 KB
testcase_46 AC 3 ms
6,820 KB
testcase_47 TLE -
testcase_48 -- -
testcase_49 -- -
testcase_50 -- -
testcase_51 -- -
testcase_52 -- -
testcase_53 -- -
testcase_54 -- -
testcase_55 -- -
testcase_56 -- -
testcase_57 -- -
testcase_58 -- -
testcase_59 -- -
testcase_60 -- -
testcase_61 -- -
testcase_62 -- -
testcase_63 -- -
testcase_64 -- -
testcase_65 -- -
testcase_66 -- -
testcase_67 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <map>
#include <vector>
#include <cassert>

using namespace std;

constexpr int iINF = 1'000'000'000;

int main () {
    int N; cin >> N;
    vector<int> A(N);
    for (int i = 0; i < N; i++) cin >> A[i];

    // 全体のxorが0という必要条件 -> 最初にチェックしておけば片側の存在を示せばOK
    // ダブり -> 即OK

    int XOR = 0;

    for (auto a : A) XOR ^= a;

    if (XOR != 0) {
        cout << "No\n";
        return 0;
    }

    map<int, int> mp;
    for (auto a : A) mp[a]++;

    for (auto v : mp) {
        if (2 <= v.second) {
            cout << "Yes\n";
            return 0;
        }
    }

    bool ok = true;

    const int MAX = 20000;
    vector<vector<int>> possible(mp.size() + 1, vector<int>(MAX + 1, iINF));

    int cur = 0;
    for (auto v : mp) {
        for (int i = 0; i <= MAX; i++) {
            possible[cur + 1][i] = possible[cur][i];
        }

        for (int i = 0; i <= MAX; i++) {
            if (possible[cur][i] == iINF) continue;
            possible[cur + 1][i ^ v.first] = min(possible[cur + 1][i ^ v.first], possible[cur][i] + 1);
        }

        possible[cur + 1][v.first] = 1;

        cur++;
    }

    assert(possible[cur][0] == N);

    if (N <= possible[cur][0]) ok = false;

    if (ok) {
        cout << "Yes\n";
    }
    else {
        cout << "No\n";
    }
}
0