結果

問題 No.2293 無向辺 2-SAT
ユーザー 👑 p-adicp-adic
提出日時 2023-05-09 01:22:22
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
TLE  
実行時間 -
コード長 731 bytes
コンパイル時間 226 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 113,380 KB
最終ジャッジ日時 2024-11-25 14:51:10
合計ジャッジ時間 237,968 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 16 TLE * 37
権限があれば一括ダウンロードができます

ソースコード

diff # 

I,J,R=input,int,range
X=I().split()
N,Q,P,p,w=J(X[0]),J(X[1]),998244353,[],[]
def r(i):
	m=p[i]
	while i!=m:
		p[i]=i=p[m]
		m=p[i]
	return i
n=0
def g(i,j):
	global n
	i,j=r(i),r(j)
	if i!=j:
		if w[i]==w[j]:w[j]+=1
		if w[i]<w[j]:p[i]=j
		else:p[j]=i
		n-=1
U=[0]*N
while Q>0:
	V,T,L,s=set(),[],0,1
	while Q>0:
		Q,X=Q-1,I().split()
		t,A=J(X[0]),T.append
		if t==3:
			A((t,))
			break
		else:
			u,v=J(X[1])-1,J(X[2])-1
			V.add(u),V.add(v),A((t,u,v))
	for u in V:U[u],L=L,L+1
	n=N*2
	p=[i for i in R(n)]
	w=[0]*n
	for l in T:
		if l[0]==3:print(pow(2,N,P))
		else:
			if s:
				u,v=U[l[1]],U[l[2]]
				t=u+L
				if l[0]==1:g(u,v),g(t,v+L)
				else:g(t,v),g(u,v+L)
				if p[r(u)]==p[r(t)]:s=0
			print(pow(2,n//2,P)if s else 0)
0