結果

問題 No.3211 NAND Oracle
ユーザー otoshigo
提出日時 2025-07-25 21:57:11
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 194 ms / 2,000 ms
コード長 979 bytes
コンパイル時間 208 ms
コンパイル使用メモリ 82,736 KB
実行使用メモリ 103,620 KB
最終ジャッジ日時 2025-07-25 21:57:18
合計ジャッジ時間 5,798 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 28
権限があれば一括ダウンロードができます

ソースコード

diff # 

Q, K = map(int, input().split())
a = [[0, 0], [0, 1], [1, 0], [1, 1]]
s = [0, 1, 1, 2]
def f(querys):
    l = len(a[0])
    if l == Q + 2 and max(s) <= K:
        print('Yes')
        for i in range(Q):
            print(querys[i][0] + 1, querys[i][1] + 1)
        exit()
        return
    for i in range(l - 1):
        for j in range(i + 1, l):
            for k in range(4):
                b = 1 ^ (a[k][i] & a[k][j])
                a[k].append(b)
                s[k] += b
            querys.append([i, j])
            if max(s) <= 4:
                f(querys)
            querys.pop()
            for k in range(4):
                b = 1 ^ (a[k][i] & a[k][j])
                a[k].pop()
                s[k] -= b
f([])
if K <= 4:
    print('No')
else:
    print('Yes')
    ans = [[1, 2], [1, 2], [3, 4], [4, 5], [4, 5]]
    while len(ans) > Q:
        ans.pop()
    while len(ans) < Q:
        ans.append([6, 7])
    for i in range(Q):
        print(ans[i][0], ans[i][1])
0