結果
問題 | No.1820 NandShift |
ユーザー | 👑 rin204 |
提出日時 | 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 |
ソースコード
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)