結果

問題 No.1820 NandShift
ユーザー zkouzkou
提出日時 2021-08-29 10:19:48
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 51 ms / 2,000 ms
コード長 924 bytes
コンパイル時間 628 ms
コンパイル使用メモリ 82,020 KB
実行使用メモリ 64,128 KB
最終ジャッジ日時 2024-11-25 21:40:51
合計ジャッジ時間 2,957 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 40 ms
54,272 KB
testcase_01 AC 41 ms
53,376 KB
testcase_02 AC 42 ms
54,272 KB
testcase_03 AC 40 ms
54,400 KB
testcase_04 AC 40 ms
54,856 KB
testcase_05 AC 39 ms
54,272 KB
testcase_06 AC 40 ms
54,272 KB
testcase_07 AC 45 ms
60,288 KB
testcase_08 AC 40 ms
53,760 KB
testcase_09 AC 46 ms
60,544 KB
testcase_10 AC 48 ms
63,624 KB
testcase_11 AC 40 ms
53,888 KB
testcase_12 AC 41 ms
54,016 KB
testcase_13 AC 41 ms
54,400 KB
testcase_14 AC 41 ms
54,272 KB
testcase_15 AC 41 ms
54,912 KB
testcase_16 AC 51 ms
63,360 KB
testcase_17 AC 40 ms
54,528 KB
testcase_18 AC 48 ms
63,232 KB
testcase_19 AC 49 ms
64,128 KB
testcase_20 AC 40 ms
54,272 KB
testcase_21 AC 40 ms
54,016 KB
testcase_22 AC 41 ms
55,296 KB
testcase_23 AC 42 ms
53,760 KB
testcase_24 AC 43 ms
55,040 KB
testcase_25 AC 51 ms
63,232 KB
testcase_26 AC 41 ms
54,144 KB
testcase_27 AC 42 ms
54,784 KB
testcase_28 AC 51 ms
64,128 KB
testcase_29 AC 39 ms
53,632 KB
testcase_30 AC 46 ms
60,800 KB
testcase_31 AC 47 ms
60,232 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

from collections import defaultdict


N, M = map(int, input().split())
X = int(input(), 2)
As = [int(input(), 2) for _ in range(N)]

TMP1 = 10 ** 7
TMP2 = 10 ** 7 + 1

d = defaultdict(int)
for i, A in enumerate(As, start=1):
    d[i] = A

B = 1 << M

queries = []


def shift(x, i):
    queries.append((1, x, i))
    d[x] = (d[i] << 1) % B


def nand(x, i, j):
    queries.append((2, x, i, j))
    d[x] = (~(d[i] & d[j])) % B


def or_(x, i, j):
    nand(TMP1, i, i)
    nand(TMP2, j, j)
    nand(x, TMP1, TMP2)


ZERO = 10 ** 8
N_ONE = ZERO - 1
nand(N_ONE, ZERO, ZERO)
N_TWO = N_ONE - 1
shift(N_TWO, N_ONE)
ONE = N_TWO - 1
nand(ONE, N_TWO, N_TWO)

# print(d[ZERO])
# print(d[N_ONE])
# print(d[N_TWO])
# print(d[ONE])

for b in reversed(range(M)):
    shift(0, 0)
    if (X >> b) & 1:
        or_(0, 0, ONE)

# print(d)

assert d[0] == X, '\n' + bin(d[0]) + '\n' + bin(X)

print(len(queries))
for q in queries:
    print(*q)
0