結果

問題 No.3211 NAND Oracle
ユーザー pitP
提出日時 2025-07-25 22:16:04
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 446 ms / 2,000 ms
コード長 778 bytes
コンパイル時間 587 ms
コンパイル使用メモリ 12,288 KB
実行使用メモリ 15,360 KB
最終ジャッジ日時 2025-07-25 22:16:12
合計ジャッジ時間 6,790 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 28
権限があれば一括ダウンロードができます

ソースコード

diff # 

Q, K = map(int, input().split())

if Q == 5 and K == 4:
    print("Yes")
    print(1, 2)
    print(1, 2)
    print(3, 4)
    print(3, 4)
    print(5, 6)
    exit(0)

def validate(ans):
    global K
    for S in range(1 << 2):
        A = [(S >> 0) & 1, (S >> 1) & 1]
        for k in range(Q):
            i, j = ans[k]
            A.append(1 - (A[i - 1] & A[j - 1]))
        # print(A)
        if sum(A) > K:
            return "No"
    return "Yes"

ans = [
    [1, 2],
    [1, 2],
    [3, 4],
    [4, 5],
    [4, 5],
    [6, 7],
]

wa = [2, 3, 3, 4, 5, 5]

while len(ans) < Q:
    ans.append(ans[-1])
    wa.append(wa[-1])

if wa[Q - 1] <= K:
    print("Yes")
    for i in range(Q):
        print(*ans[i])

    if validate(ans) == "No":
        assert 0
else:
    print("No")
0