結果

問題 No.2658 L-R Nim
コンテスト
ユーザー Nachia
提出日時 2024-01-31 00:21:38
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 685 ms / 7,000 ms
コード長 1,704 bytes
コンパイル時間 652 ms
コンパイル使用メモリ 78,464 KB
最終ジャッジ日時 2025-02-19 00:49:31
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 48
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <utility>
using namespace std;
using i64 = long long;
using u64 = unsigned long long;
#define rep(i,n) for(i64 i=0; i<(i64)(n); i++)
#define repr(i,n) for(i64 i=(i64)(n)-1; i>=0; i--)

int main(){
    i64 MAX_XOR = (i64)1 << 21;
    i64 N, K; cin >> N >> K;
    vector<i64> A(N); rep(i,N) cin >> A[i];
    vector<i64> XOR(N+1);
    rep(i,N) XOR[i+1] = XOR[i] ^ A[i];
    i64 l = 0, r = N; {
        vector<i64> lastseen(MAX_XOR, -1);
        rep(i,N+1){
            if(lastseen[XOR[i]] != -1){
                l = max(l, lastseen[XOR[i]]);
                r = min(r, i);
            }
            lastseen[XOR[i]] = i;
        }
    }
    if(r <= l){
        cout << "No\n";
        return 0;
    }
    vector<i64> xorcand;
    for(i64 i=0; i<15; i++){
        i64 offset = (((i64(1) << i) - 1) << 7);
        for(i64 d=0; d<128; d++) if((offset | d) < MAX_XOR) xorcand.push_back(offset | d);
    }
    vector<i64> lpos(MAX_XOR);
    vector<i64> rpos(MAX_XOR);
    vector<i64> C(MAX_XOR);
    for(i64 i=0; i<=l; i++) lpos[XOR[i]]++;
    for(i64 i=l+1; i<=N; i++){
        for(i64 x : xorcand) C[x] += lpos[XOR[i] ^ x];
        rpos[XOR[i]]++;
    }
    for(i64 i=l; i<r; i++){
        if(i != l){
            for(i64 x : xorcand) C[x] -= lpos[XOR[i] ^ x];
            rpos[XOR[i]]--;
            lpos[XOR[i]]++;
            for(i64 x : xorcand) C[x] += rpos[XOR[i] ^ x];
        }
        for(i64 d=-min(A[i],K); d<=K; d++){
            i64 dx = A[i] ^ (A[i] + d);
            if(C[dx] == 0){
                cout << "Yes\n";
                return 0;
            }
        }
    }
    cout << "No\n";
    return 0;
}
0