結果

問題 No.2293 無向辺 2-SAT
ユーザー neterukunneterukun
提出日時 2023-05-05 22:40:18
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,954 ms / 4,000 ms
コード長 1,970 bytes
コンパイル時間 2,138 ms
コンパイル使用メモリ 87,004 KB
実行使用メモリ 190,392 KB
最終ジャッジ日時 2023-08-15 05:32:32
合計ジャッジ時間 56,196 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 59 ms
71,120 KB
testcase_01 AC 61 ms
74,644 KB
testcase_02 AC 58 ms
71,444 KB
testcase_03 AC 1,954 ms
190,392 KB
testcase_04 AC 387 ms
104,048 KB
testcase_05 AC 399 ms
102,268 KB
testcase_06 AC 366 ms
102,260 KB
testcase_07 AC 284 ms
101,648 KB
testcase_08 AC 370 ms
104,028 KB
testcase_09 AC 380 ms
102,640 KB
testcase_10 AC 392 ms
103,996 KB
testcase_11 AC 408 ms
104,496 KB
testcase_12 AC 374 ms
103,752 KB
testcase_13 AC 402 ms
101,952 KB
testcase_14 AC 472 ms
104,580 KB
testcase_15 AC 697 ms
107,944 KB
testcase_16 AC 359 ms
103,904 KB
testcase_17 AC 439 ms
110,716 KB
testcase_18 AC 368 ms
103,640 KB
testcase_19 AC 273 ms
90,988 KB
testcase_20 AC 910 ms
113,988 KB
testcase_21 AC 974 ms
116,372 KB
testcase_22 AC 924 ms
129,464 KB
testcase_23 AC 861 ms
121,688 KB
testcase_24 AC 883 ms
128,980 KB
testcase_25 AC 849 ms
119,404 KB
testcase_26 AC 833 ms
120,720 KB
testcase_27 AC 859 ms
124,892 KB
testcase_28 AC 887 ms
124,520 KB
testcase_29 AC 903 ms
124,044 KB
testcase_30 AC 867 ms
124,764 KB
testcase_31 AC 881 ms
123,552 KB
testcase_32 AC 1,295 ms
125,644 KB
testcase_33 AC 1,342 ms
128,988 KB
testcase_34 AC 1,277 ms
123,984 KB
testcase_35 AC 1,328 ms
127,044 KB
testcase_36 AC 1,333 ms
125,772 KB
testcase_37 AC 1,279 ms
123,480 KB
testcase_38 AC 1,338 ms
125,836 KB
testcase_39 AC 1,324 ms
126,656 KB
testcase_40 AC 1,284 ms
123,308 KB
testcase_41 AC 753 ms
112,112 KB
testcase_42 AC 1,085 ms
120,468 KB
testcase_43 AC 1,270 ms
124,660 KB
testcase_44 AC 1,268 ms
124,708 KB
testcase_45 AC 1,188 ms
120,448 KB
testcase_46 AC 1,020 ms
117,428 KB
testcase_47 AC 1,038 ms
118,312 KB
testcase_48 AC 969 ms
117,120 KB
testcase_49 AC 925 ms
116,592 KB
testcase_50 AC 856 ms
113,668 KB
testcase_51 AC 836 ms
115,256 KB
testcase_52 AC 826 ms
116,152 KB
testcase_53 AC 766 ms
119,852 KB
testcase_54 AC 794 ms
127,236 KB
testcase_55 AC 703 ms
128,280 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