結果

問題 No.3211 NAND Oracle
ユーザー u_kun
提出日時 2025-07-25 22:43:16
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,207 bytes
コンパイル時間 468 ms
コンパイル使用メモリ 82,596 KB
実行使用メモリ 90,452 KB
最終ジャッジ日時 2025-07-25 22:43:22
合計ジャッジ時間 4,535 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 22 WA * 6
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

oper = [(1,2), (1,2), (1,2), (3,4), (5,6), (5,6)]

for _ in range(Q + 5):
    oper.append((7,8))

if Q == 1:
    if K >= 2:
        print("Yes")
    else:
        print("No")
        exit()
    
elif Q == 2:
    if K >= 3:
        print("Yes")
    else:
        print("No")
        exit()

elif Q == 3:
    if K >= 3:
        print("Yes")
        print(1, 2)
        print(2, 3)
        print(1, 4)
        exit()
    else:
        print("No")
        exit()

elif Q == 4:
    if K >= 4:
        print("Yes")
    else:
        print("No")
        exit()

elif Q == 5:
    if K >= 4:
        print("Yes")
        print(1,2)
        print(1,3)
        print(2,4)
        print(3,4)
        print(1,6)
        exit()
    else:
        print("No")
        exit()

elif Q == 6:
    if K >= 6:
        print("Yes")
    elif K == 5:
        print("Yes")
        print(1,2)
        print(1,3)
        print(2,4)
        print(3,4)
        print(1,6)
        print(6,7)
        exit()
    else:
        print("No")
        exit()

elif Q >= 7:
    if K >= 6:
        print("Yes")
    else:
        print("No")
        exit()

for i in range(Q):
    print(oper[i][0], oper[i][1])
0