結果

問題 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
権限があれば一括ダウンロードができます

ソースコード

diff #

class UF:
    def __init__(self,n):
        self.p = {}
    def f(self,x):
        if x not in self.p: self.p[x] = -1; return x
        elif self.p[x]<0: return x
        else: 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: return
        if -self.p[x]<-self.p[y]: x,y = y,x
        self.p[x] += self.p[y]; self.p[y] = x
    def s(self,x,y): return self.f(x) == self.f(y)
n,q = map(int,input().split())
mod = 998244353; uf = UF(2*n); c = n
for _ 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 = -1
        elif not uf.s(u,v): uf.u(u,v); uf.u(u+n,v+n); c -= 1
    if t==2:
        u,v = [w-1 for w in uv]
        if uf.s(u,v): c = -1
        elif not uf.s(u,v+n): uf.u(u,v+n); uf.u(u+n,v); c -= 1
    if t==3: uf = UF(2*n); c = n
    print(pow(2,c,mod) if c>=0 else 0)
0