結果
問題 | No.2293 無向辺 2-SAT |
ユーザー |
![]() |
提出日時 | 2023-05-05 22:38:31 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 2,829 ms / 4,000 ms |
コード長 | 917 bytes |
コンパイル時間 | 186 ms |
コンパイル使用メモリ | 82,176 KB |
実行使用メモリ | 151,072 KB |
最終ジャッジ日時 | 2024-11-23 09:57:22 |
合計ジャッジ時間 | 88,734 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 53 |
ソースコード
class UF:def __init__(self,n):self.p = {}def f(self,x):if x not in self.p: self.p[x] = -1; return xelif self.p[x]<0: return xelse: self.p[x] = self.f(self.p[x]); return self.p[x]def u(self,x,y):x = self.f(x); y = self.f(y)if x==y: returnif -self.p[x]<-self.p[y]: x,y = y,xself.p[x] += self.p[y]; self.p[y] = xdef s(self,x,y): return self.f(x) == self.f(y)n,q = map(int,input().split())mod = 998244353; uf = UF(2*n); c = nfor _ in range(q):t,*uv = map(int,input().split())if t==1:u,v = [w-1 for w in uv]if uf.s(u,v+n): c = -1elif not uf.s(u,v): uf.u(u,v); uf.u(u+n,v+n); c -= 1if t==2:u,v = [w-1 for w in uv]if uf.s(u,v): c = -1elif not uf.s(u,v+n): uf.u(u,v+n); uf.u(u+n,v); c -= 1if t==3: uf = UF(2*n); c = nprint(pow(2,c,mod) if c>=0 else 0)