結果

問題 No.2672 Subset Xor Sum
ユーザー zawakasu
提出日時 2024-03-15 22:14:18
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 1,646 bytes
コンパイル時間 1,849 ms
コンパイル使用メモリ 198,776 KB
最終ジャッジ日時 2025-02-20 05:19:38
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 65 WA * 1
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>




namespace zawa {

using i16 = std::int16_t;
using i32 = std::int32_t;
using i64 = std::int64_t;
using i128 = __int128_t;

using u8 = std::uint8_t;
using u16 = std::uint16_t;
using u32 = std::uint32_t;
using u64 = std::uint64_t;

using usize = std::size_t;

} // namespace zawa


namespace zawa {

void SetFastIO() {
    std::cin.tie(nullptr)->sync_with_stdio(false);
}

void SetPrecision(u32 dig) {
    std::cout << std::fixed << std::setprecision(dig);
}

} // namespace zawa
using namespace zawa;

int main() {
    SetFastIO();

    int n; std::cin >> n;
    std::vector<int> a(n);
    int x{};
    for (int i{} ; i < n ; i++) {
        std::cin >> a[i];
        x ^= a[i];
    }
    if (x) {
        std::cout << "No" << '\n';
        return 0;
    }
    int M{1};
    while (M <= 5000) M <<= 1;
    std::vector<int> cnt(M);
    for (auto x : a) cnt[x]++;
    if (cnt[0]) {
        std::cout << "Yes" << '\n';
        return 0;
    }
    for (auto x : cnt) if (x > 1) {
        std::cout << "Yes" << '\n';
        return 0;
    }
    std::vector<unsigned long long> dp(M);
    dp[0] = 1;
    for (int i{} ; i < n ; i++) {
        std::vector<unsigned long long> next(M);
        for (int j{} ; j < M ; j++) {
            next[j] += dp[j];
            next[j ^ a[i]] += dp[j];
        }
        if (i + 1 < n and next[0] > 1) {
            std::cout << "Yes" << '\n';
            return 0;
        }
        dp = std::move(next);
        for (int j{} ; j < M ; j++) if (dp[j] > 3) dp[j] = 3;
    }
    if (dp[0] > 2) {
        std::cout << "Yes" << '\n';
    }
    else {
        std::cout << "No" << '\n';
    }
}
0