結果

問題 No.1820 NandShift
ユーザー shotoyooshotoyoo
提出日時 2022-01-21 23:28:47
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 237 ms / 2,000 ms
コード長 3,325 bytes
コンパイル時間 177 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 76,544 KB
最終ジャッジ日時 2024-05-04 15:04:45
合計ジャッジ時間 4,658 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 41 ms
52,608 KB
testcase_01 AC 41 ms
52,608 KB
testcase_02 AC 41 ms
52,480 KB
testcase_03 AC 42 ms
52,736 KB
testcase_04 AC 88 ms
76,032 KB
testcase_05 AC 42 ms
52,992 KB
testcase_06 AC 50 ms
59,776 KB
testcase_07 AC 76 ms
72,448 KB
testcase_08 AC 42 ms
52,992 KB
testcase_09 AC 60 ms
64,000 KB
testcase_10 AC 86 ms
75,776 KB
testcase_11 AC 42 ms
53,120 KB
testcase_12 AC 70 ms
70,016 KB
testcase_13 AC 181 ms
76,288 KB
testcase_14 AC 47 ms
59,136 KB
testcase_15 AC 78 ms
72,064 KB
testcase_16 AC 208 ms
76,160 KB
testcase_17 AC 56 ms
62,592 KB
testcase_18 AC 136 ms
76,032 KB
testcase_19 AC 221 ms
76,160 KB
testcase_20 AC 59 ms
63,232 KB
testcase_21 AC 68 ms
69,760 KB
testcase_22 AC 220 ms
76,160 KB
testcase_23 AC 56 ms
62,720 KB
testcase_24 AC 163 ms
76,160 KB
testcase_25 AC 225 ms
76,544 KB
testcase_26 AC 57 ms
63,488 KB
testcase_27 AC 78 ms
72,320 KB
testcase_28 AC 230 ms
76,160 KB
testcase_29 AC 42 ms
52,608 KB
testcase_30 AC 237 ms
76,288 KB
testcase_31 AC 58 ms
63,872 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = lambda : sys.stdin.readline().rstrip()

write = lambda x: sys.stdout.write(x+"\n"); writef = lambda x: print("{:.12f}".format(x))
debug = lambda x: sys.stderr.write(x+"\n")
YES="Yes"; NO="No"; pans = lambda v: print(YES if v else NO)
LI = lambda : list(map(int, input().split()))
# sys.setrecursionlimit(3*10**5+10)

class BaseF2:
    def  __init__(self, vs=None):
        """vs: list of vecotr in F2
        orig[i] : i番目の基底に対応する入力された整数
        index[i]: i番目の基底を作るときにinsertした数を復元するために必要なbaseの要素のインデックス
        """
        self.base = [0]
        self.orig = [0]
        self.index = [0]
        if vs is not None:
            for v in vs:
                self.insert(v)
    def dim(self):
        return len(self.base)
    def insert(self, v):
        # 次元が上がったかを返す
        v0 = v
        ind = 0
        for i,u in enumerate(self.base):
            if v^u < v:
                v = v^u
                ind ^= self.index[i]
            if v==0:
                return False
        ind ^= (1<<len(self.base))
        self.base.append(v)
        self.orig.append(v0)
        self.index.append(ind)
        return True
    def check(self, v):
        res = [] # vを作るためのbaseの整数の組み合わせ方
        b = 0 # vを作るためのorigの整数の組み合わせ方
        for i,u in enumerate(self.base):
            nv = min(v, v^u)
            if nv<v:
                res.append(i)
                b ^= self.index[i]
                v = nv
        return v==0 , res, b
    def clear(self):
        self.base = []

n,m = list(map(int, input().split()))
x = int(input(),2)
a = [int(input(),2) for _ in range(n)]
n += 1
base = BaseF2()
mask = (1<<m) - 1
a.append(mask)
l = []
for b in range(2):
    for i in range(m):
        for j in range(n):
            if b:
                tmp = a[j]^mask
            else:
                tmp = a[j]
            val = (tmp<<i)&mask
            if val:
                if base.insert(val):
                    l.append((val, i, j, b))
def xor(i,j):
    global ind
    ll.append((2, ind, i, j))
    ind0 = ind
    ind += 1
    ll.append((2, ind, ind0, i))
    ind1 = ind
    ind += 1
    ll.append((2, ind, ind0, j))
    ind2 = ind
    ind += 1
    ll.append((2, 0, ind1, ind2))
    _a[0] = _a[i]^_a[j]
def shift(i):
    ll.append((1, i, i))
    _a[i] <<= 1

f, res, b = base.check(x)
if not f:
    print(-1)
else:
    ans = []
    ss = [[] for _ in range(2*n+1)]
    xx = 0
    used = 0
    ll = []
    ind = 1000
    _a = [0] + a + [0]*10000
    ll.append((2, n, 1000, 1000))
    for i in range(len(base.orig)):
        if b>>i&1:
            ans.append(l[i-1])
            v,ii,jj,bb = l[i-1]
            jj += 1
            if bb:
                jj += n
            ss[jj].append(ii)
            xx ^= v
    for i in range(1, n+1):
        ll.append((2, i+n, i, i+n))
        _a[i+n] = _a[i]^mask
    assert xx==x
    for i in range(1, 2*n+1):
        tmp = ss[i]
        tmp.sort()
        p = 0
        for k in tmp:
            for _ in range(k-p):
                shift(i)
            p = k
            xor(0, i)
#     assert _a[0]==x
    print(len(ll))
    for item in ll:
        write(" ".join(map(str, item)))
0