結果

問題 No.2293 無向辺 2-SAT
ユーザー neterukunneterukun
提出日時 2023-05-05 22:40:18
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 2,205 ms / 4,000 ms
コード長 1,970 bytes
コンパイル時間 324 ms
コンパイル使用メモリ 82,048 KB
実行使用メモリ 178,596 KB
最終ジャッジ日時 2024-11-23 10:09:02
合計ジャッジ時間 60,342 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 42 ms
52,480 KB
testcase_01 AC 46 ms
55,552 KB
testcase_02 AC 44 ms
52,352 KB
testcase_03 AC 2,205 ms
178,596 KB
testcase_04 AC 494 ms
102,380 KB
testcase_05 AC 464 ms
100,644 KB
testcase_06 AC 467 ms
100,440 KB
testcase_07 AC 335 ms
100,352 KB
testcase_08 AC 467 ms
102,144 KB
testcase_09 AC 455 ms
101,760 KB
testcase_10 AC 480 ms
102,384 KB
testcase_11 AC 483 ms
102,612 KB
testcase_12 AC 469 ms
101,864 KB
testcase_13 AC 484 ms
99,536 KB
testcase_14 AC 572 ms
100,288 KB
testcase_15 AC 807 ms
103,540 KB
testcase_16 AC 475 ms
102,592 KB
testcase_17 AC 543 ms
108,468 KB
testcase_18 AC 464 ms
101,688 KB
testcase_19 AC 315 ms
89,856 KB
testcase_20 AC 1,095 ms
111,728 KB
testcase_21 AC 1,160 ms
112,576 KB
testcase_22 AC 1,051 ms
119,660 KB
testcase_23 AC 1,005 ms
119,308 KB
testcase_24 AC 1,003 ms
120,200 KB
testcase_25 AC 1,042 ms
121,564 KB
testcase_26 AC 1,027 ms
118,152 KB
testcase_27 AC 1,013 ms
119,112 KB
testcase_28 AC 1,059 ms
121,268 KB
testcase_29 AC 1,063 ms
118,648 KB
testcase_30 AC 1,033 ms
119,796 KB
testcase_31 AC 1,044 ms
117,796 KB
testcase_32 AC 1,529 ms
116,256 KB
testcase_33 AC 1,537 ms
117,880 KB
testcase_34 AC 1,505 ms
120,568 KB
testcase_35 AC 1,478 ms
116,832 KB
testcase_36 AC 1,483 ms
116,944 KB
testcase_37 AC 1,510 ms
117,828 KB
testcase_38 AC 1,478 ms
117,992 KB
testcase_39 AC 1,452 ms
118,136 KB
testcase_40 AC 1,491 ms
116,868 KB
testcase_41 AC 807 ms
108,080 KB
testcase_42 AC 1,272 ms
114,412 KB
testcase_43 AC 1,489 ms
117,404 KB
testcase_44 AC 1,467 ms
117,068 KB
testcase_45 AC 1,384 ms
113,780 KB
testcase_46 AC 1,240 ms
112,600 KB
testcase_47 AC 1,179 ms
112,200 KB
testcase_48 AC 1,094 ms
112,004 KB
testcase_49 AC 1,093 ms
111,020 KB
testcase_50 AC 1,053 ms
109,920 KB
testcase_51 AC 1,048 ms
112,680 KB
testcase_52 AC 940 ms
111,944 KB
testcase_53 AC 910 ms
114,512 KB
testcase_54 AC 966 ms
120,224 KB
testcase_55 AC 866 ms
121,904 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class UnionFindUndo:
    def __init__(self, n):
        self.parent = [-1] * n
        self.history = []

    def root(self, x):
        if self.parent[x] < 0:
            return x
        else:
            return self.root(self.parent[x])

    def merge(self, x, y):
        x = self.root(x)
        y = self.root(y)
        self.history.append((x, self.parent[x]))
        self.history.append((y, self.parent[y]))
        if x == y:
            return False
        if self.parent[x] > self.parent[y]:
            x, y = y, x
        self.parent[x] += self.parent[y]
        self.parent[y] = x
        return True

    def undo(self):
        if not self.history:
            return False
        for _ in range(2):
            x, par_x = self.history.pop()
            self.parent[x] = par_x
        return True

    def same(self, x, y):
        return self.root(x) == self.root(y)

    def size(self, x):
        return -self.parent[self.root(x)]



n, q = map(int, input().split())
queries = [list(map(int, input().split())) for _ in range(q)]
MOD = 998244353


uf = UnionFindUndo(n + n)
ptn = pow(2, n, MOD)
inv2 = pow(2, MOD - 2, MOD)


for query in queries:
    if query[0] == 1:
        _, u, v = query
        u -= 1
        v -= 1
        if not uf.same(u, v):
            uf.merge(u, v)
            uf.merge(u + n, v + n)
            ptn *= inv2
            ptn %= MOD
        if uf.same(u, u + n):
            ptn = 0
        if uf.same(v, v + n):
            ptn = 0

    if query[0] == 2:
        _, u, v = query
        u -= 1
        v -= 1
        if not uf.same(u + n, v):
            uf.merge(u + n, v)
            uf.merge(u, v + n)
            ptn *= inv2
            ptn %= MOD
        if uf.same(u, u + n):
            ptn = 0
        if uf.same(v, v + n):
            ptn = 0
        
    if query[0] == 3:
        while True:
            res = uf.undo()
            if not res:
                break
        ptn = pow(2, n, MOD)
    print(ptn)
0