結果

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

ソースコード

diff # 

def solve():
    N, K, X, Y = map(int, input().split())
    
    # 特殊ケース: N <= K の場合、条件がないので常に解が存在
    if N <= K:
        A = [X] + [1] * (N - 2) + [Y]
        print("Yes")
        print(' '.join(map(str, A)))
        return
    
    # 数列を構築
    A = [0] * N
    A[0] = X
    A[N-1] = Y
    
    # A[1] から A[K-1] までは小さな値を設定
    for i in range(1, min(K, N-1)):
        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を効率的に計算（スライディングウィンドウ）
        # 古い要素を除去し、新しい要素を追加
        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