結果

問題 No.1820 NandShift
ユーザー 👑 rin204rin204
提出日時 2022-01-23 02:45:12
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 50 ms / 2,000 ms
コード長 667 bytes
コンパイル時間 147 ms
コンパイル使用メモリ 82,384 KB
実行使用メモリ 64,472 KB
最終ジャッジ日時 2024-11-28 16:12:48
合計ジャッジ時間 2,960 ms
ジャッジサーバーID
(参考情報)
judge5 / judge1
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 2
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff #

n, m = map(int, input().split())
X = input()
ans = []

def mod(x, i):
    ans.append((1, x, i))
    
def nand(x, i, j):
    ans.append((2, x, i, j))

# B_i <- B_i ^ B_j
def xor(i, j):
    nand(i, i, 10000)
    nand(j, j, 10000)
    nand(i, i, j)
    nand(j, j, 10000)

# B_10000 = 1....1
nand(10000, 10000, 10000)

# B_1000 = 1
nand(1000, 1000, 10000)
mod(1000, 1000)
nand(1000, 1000, 10000)

# B_{1000 + i} = 1 << i
for i in range(1, m):
    nand(1000 + i, 999 + i, 10000)
    nand(1000 + i, 1000 + i, 10000)
    mod(1000 + i, 1000 + i)

X = X[::-1]
for i, x in enumerate(X):
    if x == "1":
        xor(0, 1000 + i)

print(len(ans))
for row in ans:
    print(*row)
0