結果
| 問題 | 
                            No.3211 NAND Oracle
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2025-07-25 22:40:51 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,112 bytes | 
| コンパイル時間 | 231 ms | 
| コンパイル使用メモリ | 82,900 KB | 
| 実行使用メモリ | 90,344 KB | 
| 最終ジャッジ日時 | 2025-07-25 22:40:59 | 
| 合計ジャッジ時間 | 4,361 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 22 WA * 6 | 
ソースコード
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()
for i in range(Q):
    print(oper[i][0], oper[i][1])