結果

問題 No.2293 無向辺 2-SAT
ユーザー chineristACchineristAC
提出日時 2023-05-05 23:41:11
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 835 ms / 4,000 ms
コード長 3,168 bytes
コンパイル時間 307 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 139,324 KB
最終ジャッジ日時 2024-05-02 19:00:01
合計ジャッジ時間 41,457 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 47 ms
56,320 KB
testcase_01 AC 59 ms
73,216 KB
testcase_02 AC 46 ms
56,320 KB
testcase_03 AC 536 ms
131,396 KB
testcase_04 AC 636 ms
135,476 KB
testcase_05 AC 579 ms
128,308 KB
testcase_06 AC 572 ms
127,408 KB
testcase_07 AC 228 ms
90,624 KB
testcase_08 AC 616 ms
131,920 KB
testcase_09 AC 579 ms
121,056 KB
testcase_10 AC 573 ms
121,020 KB
testcase_11 AC 674 ms
137,004 KB
testcase_12 AC 624 ms
134,620 KB
testcase_13 AC 439 ms
94,356 KB
testcase_14 AC 407 ms
82,604 KB
testcase_15 AC 408 ms
82,156 KB
testcase_16 AC 714 ms
135,464 KB
testcase_17 AC 730 ms
139,324 KB
testcase_18 AC 687 ms
135,572 KB
testcase_19 AC 363 ms
106,596 KB
testcase_20 AC 736 ms
127,172 KB
testcase_21 AC 698 ms
123,012 KB
testcase_22 AC 779 ms
130,036 KB
testcase_23 AC 751 ms
128,444 KB
testcase_24 AC 779 ms
128,808 KB
testcase_25 AC 720 ms
128,160 KB
testcase_26 AC 743 ms
130,200 KB
testcase_27 AC 812 ms
130,380 KB
testcase_28 AC 776 ms
129,228 KB
testcase_29 AC 775 ms
130,404 KB
testcase_30 AC 768 ms
130,224 KB
testcase_31 AC 759 ms
130,528 KB
testcase_32 AC 606 ms
110,856 KB
testcase_33 AC 590 ms
110,920 KB
testcase_34 AC 606 ms
112,004 KB
testcase_35 AC 602 ms
111,556 KB
testcase_36 AC 601 ms
110,924 KB
testcase_37 AC 598 ms
111,428 KB
testcase_38 AC 613 ms
111,080 KB
testcase_39 AC 594 ms
110,432 KB
testcase_40 AC 634 ms
111,328 KB
testcase_41 AC 399 ms
98,328 KB
testcase_42 AC 505 ms
103,884 KB
testcase_43 AC 558 ms
109,328 KB
testcase_44 AC 646 ms
113,720 KB
testcase_45 AC 667 ms
118,528 KB
testcase_46 AC 679 ms
121,492 KB
testcase_47 AC 711 ms
123,512 KB
testcase_48 AC 719 ms
124,632 KB
testcase_49 AC 730 ms
125,508 KB
testcase_50 AC 768 ms
125,240 KB
testcase_51 AC 765 ms
127,204 KB
testcase_52 AC 741 ms
127,296 KB
testcase_53 AC 783 ms
129,932 KB
testcase_54 AC 819 ms
134,636 KB
testcase_55 AC 835 ms
136,892 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys,random,bisect
from collections import deque,defaultdict
from heapq import heapify,heappop,heappush
from itertools import permutations
from math import gcd,log

input = lambda :sys.stdin.readline().rstrip()
mi = lambda :map(int,input().split())
li = lambda :list(mi())

class UnionFindVerSize():
    def __init__(self, N):
        self._parent = [n for n in range(0, N)]
        self._size = [1] * N
        self.group = N

    def find_root(self, x):
        if self._parent[x] == x: return x
        self._parent[x] = self.find_root(self._parent[x])
        return self._parent[x]

    def unite(self, x, y):
        gx = self.find_root(x)
        gy = self.find_root(y)
        if gx == gy: return

        self.group -= 1

        if self._size[gx] < self._size[gy]:
            self._parent[gx] = gy
            self._size[gy] += self._size[gx]
        else:
            self._parent[gy] = gx
            self._size[gx] += self._size[gy]

    def get_size(self, x):
        return self._size[self.find_root(x)]

    def is_same_group(self, x, y):
        return self.find_root(x) == self.find_root(y)

class WeightedUnionFind():
    def __init__(self,N):
        self.n = N
        self.parent = [i for i in range(N)]
        self.size = [1 for i in range(N)]
        self.val = [0 for i in range(N)]
        self.flag = True
        self.edge = [[] for i in range(N)]
        self.change = []
        self.free = N

    def dfs(self,v,pv):
        stack = [(v,pv)]
        new_parent = self.parent[pv]
        while stack:
            v,pv = stack.pop()
            self.parent[v] = new_parent
            for nv,w in self.edge[v]:
                if nv!=pv:
                    self.val[nv] = self.val[v] ^ w
                    stack.append((nv,v))

    def unite(self,x,y,w):
        self.change.append(x)
        self.change.append(y)
        if not self.flag:
            return
        if self.parent[x]==self.parent[y]:
            self.flag &= ((self.val[x] ^ self.val[y]) == w)
            return
        
        self.free -= 1

        if self.size[self.parent[x]]>self.size[self.parent[y]]:
            self.edge[x].append((y,w))
            self.edge[y].append((x,w))
            self.size[self.parent[x]] += self.size[self.parent[y]]
            self.val[y] = self.val[x] ^ w
            self.dfs(y,x)
        else:
            self.edge[x].append((y,w))
            self.edge[y].append((x,w))
            self.size[self.parent[y]] += self.size[self.parent[x]]
            self.val[x] = self.val[y] ^ w
            self.dfs(x,y)
    
    def reset(self):
        self.flag = True
        self.free = self.n
        for x in self.change:
            self.parent[x] = x
            self.size[x] = 1
            self.val[x] = 0
            self.edge[x] = []
        self.change = []


N,Q = mi()
uf = WeightedUnionFind(N)
for _ in range(Q):
    t,*query = mi()
    if t == 1:
        u,v = query
        u,v = u-1,v-1
        uf.unite(u,v,0)
    elif t == 2:
        u,v = query
        u,v = u-1,v-1
        uf.unite(u,v,1)
    else:
        uf.reset()
    
    if uf.flag:
        print(pow(2,uf.free,998244353))
    else:
        print(0)
0