結果
問題 | No.2293 無向辺 2-SAT |
ユーザー | とりゐ |
提出日時 | 2023-05-05 22:59:35 |
言語 | PyPy3 (7.3.15) |
結果 |
WA
|
実行時間 | - |
コード長 | 2,044 bytes |
コンパイル時間 | 301 ms |
コンパイル使用メモリ | 82,304 KB |
実行使用メモリ | 141,400 KB |
最終ジャッジ日時 | 2024-05-02 18:02:15 |
合計ジャッジ時間 | 44,184 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 46 ms
54,400 KB |
testcase_01 | AC | 55 ms
64,640 KB |
testcase_02 | AC | 46 ms
54,144 KB |
testcase_03 | AC | 1,488 ms
141,400 KB |
testcase_04 | AC | 328 ms
82,956 KB |
testcase_05 | AC | 323 ms
80,504 KB |
testcase_06 | AC | 325 ms
81,668 KB |
testcase_07 | AC | 158 ms
81,920 KB |
testcase_08 | AC | 315 ms
83,900 KB |
testcase_09 | AC | 306 ms
83,724 KB |
testcase_10 | WA | - |
testcase_11 | AC | 335 ms
83,332 KB |
testcase_12 | AC | 323 ms
83,568 KB |
testcase_13 | WA | - |
testcase_14 | WA | - |
testcase_15 | WA | - |
testcase_16 | AC | 321 ms
83,112 KB |
testcase_17 | AC | 352 ms
88,348 KB |
testcase_18 | AC | 312 ms
82,812 KB |
testcase_19 | AC | 222 ms
80,344 KB |
testcase_20 | WA | - |
testcase_21 | WA | - |
testcase_22 | WA | - |
testcase_23 | WA | - |
testcase_24 | WA | - |
testcase_25 | WA | - |
testcase_26 | WA | - |
testcase_27 | WA | - |
testcase_28 | WA | - |
testcase_29 | WA | - |
testcase_30 | WA | - |
testcase_31 | WA | - |
testcase_32 | WA | - |
testcase_33 | WA | - |
testcase_34 | WA | - |
testcase_35 | WA | - |
testcase_36 | WA | - |
testcase_37 | WA | - |
testcase_38 | WA | - |
testcase_39 | WA | - |
testcase_40 | WA | - |
testcase_41 | WA | - |
testcase_42 | WA | - |
testcase_43 | WA | - |
testcase_44 | WA | - |
testcase_45 | WA | - |
testcase_46 | WA | - |
testcase_47 | WA | - |
testcase_48 | WA | - |
testcase_49 | WA | - |
testcase_50 | WA | - |
testcase_51 | WA | - |
testcase_52 | WA | - |
testcase_53 | WA | - |
testcase_54 | WA | - |
testcase_55 | WA | - |
ソースコード
from sys import stdin input=lambda :stdin.readline()[:-1] from collections import defaultdict class UnionFind(): def __init__(self,n): self.n=n self.parents=[-1]*n self.res=[] def find(self,x): if self.parents[x]<0: return x else: self.parents[x]=self.find(self.parents[x]) return self.parents[x] def clear(self): for i in self.res: self.parents[i]=-1 self.res=[] def union(self,x,y): x=self.find(x) y=self.find(y) self.res.append(x) self.res.append(y) if x==y: return if self.parents[x]>self.parents[y]: x,y=y,x self.parents[x]+=self.parents[y] self.parents[y]=x def size(self,x): return -self.parents[self.find(x)] def same(self,x,y): return self.find(x)==self.find(y) def members(self,x): root=self.find(x) return [i for i in range(self.n) if self.find(i)==root] def roots(self): return [i for i, x in enumerate(self.parents) if x< 0] def group_count(self): return len(self.roots()) def all_group_members(self): group_members=defaultdict(list) for member in range(self.n): group_members[self.find(member)].append(member) return group_members mod=998244353 n,q=map(int,input().split()) pow2=[1]*(n+1) for i in range(n): pow2[i+1]=pow2[i]*2%mod free=n flag=True uf=UnionFind(2*n) for i in range(q): query=list(map(lambda x:int(x)-1,input().split())) if query[0]==1: x,y=query[1:] if x==y: pass elif not uf.same(2*x,2*y+1): uf.union(2*x,2*y+1) uf.union(2*x+1,2*y) free-=1 if uf.same(2*x,2*x+1): flag=False if uf.same(2*y,2*y+1): flag=False elif query[0]==0: x,y=query[1:] if not uf.same(2*x,2*y): uf.union(2*x,2*y) uf.union(2*x+1,2*y+1) free-=1 if uf.same(2*x,2*x+1): flag=False if uf.same(2*y,2*y+1): flag=False else: uf.clear() free=n flag=True if flag: print(pow2[free]) else: print(0) #print(uf.all_group_members())