結果

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

ソースコード

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;
    }
    constexpr int M{5001};
    std::vector<int> cnt(M);
    for (auto x : a) cnt[x]++;
    for (auto x : cnt) if (x > 1) {
        std::cout << "Yes" << '\n';
        return 0;
    }
    std::vector<long long> dp(M);
    dp[0] = 1;
    for (int i{} ; i < n ; i++) {
        std::vector<long long> next(M);
        for (int j{} ; j < M ; j++) {
            next[j] += dp[j];
            next[j ^ a[i]] += dp[j];
        }
        if (next[0] > 2) {
            std::cout << "Yes" << '\n';
            return 0;
        }
        dp = std::move(next);
    }
    std::cout << "No" << '\n';
}
0