結果

問題 No.2293 無向辺 2-SAT
ユーザー とりゐとりゐ
提出日時 2023-05-05 23:01:46
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,474 ms / 4,000 ms
コード長 2,018 bytes
コンパイル時間 362 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 141,264 KB
最終ジャッジ日時 2024-11-23 11:14:15
合計ジャッジ時間 48,488 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 53
権限があれば一括ダウンロードができます

ソースコード

diff # 

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 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())
0