結果

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

ソースコード

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
    
    # A[K] から A[N-2] まで条件を満たすように設定
    for i in range(K, N-1):
        # 直前のK個のXORを計算
        xor_val = 0
        for j in range(i - K, i):
            xor_val ^= A[j]
        
        # XORより大きい値を設定
        A[i] = xor_val + 1
        
        # 2^20 未満の制約チェック
        if A[i] >= 2**20:
            print("No")
            return
    
    # A[N-1] = Y が条件を満たすかチェック
    xor_val = 0
    for j in range(N - 1 - K, N - 1):
        xor_val ^= A[j]
    
    if xor_val >= Y:
        print("No")
        return
    
    # 解が見つかった
    print("Yes")
    print(' '.join(map(str, A)))

solve()
0