結果

問題 No.3223 K-XOR Increasing Sequence
コンテスト
ユーザー Nauclhlt🪷
提出日時 2025-07-05 17:28:13
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
WA  
実行時間 -
コード長 1,593 bytes
コンパイル時間 145 ms
コンパイル使用メモリ 12,160 KB
実行使用メモリ 111,104 KB
最終ジャッジ日時 2025-07-06 17:58:30
合計ジャッジ時間 21,511 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 55 WA * 14
権限があれば一括ダウンロードができます

ソースコード

diff # 

def solve():
    N, K, X, Y = map(int, input().split())
    
    # 数列を構築
    A = [0] * N
    A[0] = X
    
    # N = 1の場合
    if N == 1:
        print("Yes")
        print(str(X))
        return
    
    A[N-1] = Y
    
    # 特殊ケース: N <= K の場合、条件がないので常に解が存在
    if N <= K:
        for i in range(1, N-1):
            A[i] = 1
        print("Yes")
        print(' '.join(map(str, A)))
        return
    
    # A[1] から A[K-1] までは小さな値を設定
    for i in range(1, K):
        A[i] = 1
    
    # 最初のK個のXORを計算
    current_xor = 0
    for j in range(K):
        current_xor ^= A[j]
    
    # A[K] から A[N-2] まで条件を満たすように設定
    for i in range(K, N-1):
        # 現在のXORより大きい値を設定
        A[i] = current_xor + 1
        
        # 2^20 未満の制約チェック
        if A[i] >= 2**20:
            print("No")
            return
        
        # 次のXORを効率的に計算（スライディングウィンドウ）
        if i + 1 < N - 1:  # 最後の要素でない場合のみ更新
            current_xor ^= A[i - K]  # 古い要素を除去
            current_xor ^= A[i]      # 新しい要素を追加
    
    # A[N-1] = Y が条件を満たすかチェック
    # 最後のK個のXORを計算
    final_xor = 0
    for j in range(N - 1 - K, N - 1):
        final_xor ^= A[j]
    
    if final_xor >= Y:
        print("No")
        return
    
    # 解が見つかった
    print("Yes")
    print(' '.join(map(str, A)))

solve()
0