結果

問題 No.1820 NandShift
ユーザー zkouzkou
提出日時 2021-08-29 10:19:48
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 57 ms / 2,000 ms
コード長 924 bytes
コンパイル時間 164 ms
コンパイル使用メモリ 82,228 KB
実行使用メモリ 63,872 KB
最終ジャッジ日時 2024-05-04 11:09:59
合計ジャッジ時間 2,841 ms
ジャッジサーバーID
(参考情報)
judge1 / judge5
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 45 ms
53,632 KB
testcase_01 AC 44 ms
53,760 KB
testcase_02 AC 40 ms
53,760 KB
testcase_03 AC 40 ms
54,016 KB
testcase_04 AC 44 ms
54,016 KB
testcase_05 AC 41 ms
53,760 KB
testcase_06 AC 45 ms
53,632 KB
testcase_07 AC 53 ms
60,544 KB
testcase_08 AC 47 ms
53,760 KB
testcase_09 AC 50 ms
60,416 KB
testcase_10 AC 52 ms
63,616 KB
testcase_11 AC 41 ms
54,144 KB
testcase_12 AC 48 ms
54,144 KB
testcase_13 AC 48 ms
54,528 KB
testcase_14 AC 44 ms
54,144 KB
testcase_15 AC 45 ms
54,656 KB
testcase_16 AC 53 ms
63,872 KB
testcase_17 AC 42 ms
54,528 KB
testcase_18 AC 52 ms
62,976 KB
testcase_19 AC 55 ms
63,616 KB
testcase_20 AC 43 ms
54,144 KB
testcase_21 AC 43 ms
54,272 KB
testcase_22 AC 44 ms
54,656 KB
testcase_23 AC 43 ms
54,144 KB
testcase_24 AC 46 ms
54,912 KB
testcase_25 AC 57 ms
63,360 KB
testcase_26 AC 45 ms
54,400 KB
testcase_27 AC 46 ms
55,040 KB
testcase_28 AC 56 ms
63,872 KB
testcase_29 AC 42 ms
53,760 KB
testcase_30 AC 51 ms
60,544 KB
testcase_31 AC 55 ms
60,160 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