結果

問題 No.2293 無向辺 2-SAT
ユーザー 👑 p-adic
提出日時 2023-05-09 07:19:49
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 2,135 ms / 4,000 ms
コード長 774 bytes
コンパイル時間 307 ms
コンパイル使用メモリ 13,056 KB
実行使用メモリ 65,664 KB
最終ジャッジ日時 2024-11-25 20:05:42
合計ジャッジ時間 103,260 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 53
権限があれば一括ダウンロードができます

ソースコード

diff # 

I,J,R=input,int,range
X=I().split()
N,Q,P,p=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:p[i],n=j,n-1
U,V,W,T,L=[0]*N,[0]*N,[0]*N,[(0,)]*Q,0
while Q>0:
	for l in R(L):V[W[l]]=0
	M,L,s=0,0,1
	while Q>0:
		Q,X=Q-1,I().split()
		t=J(X[0])
		if t==3:
			T[M],M=((t,)),M+1
			break
		else:
			u,v=J(X[1])-1,J(X[2])-1
			if V[u]==0:U[u],V[u],W[L],L=L,1,u,L+1
			if V[v]==0:U[v],V[v],W[L],L=L,1,v,L+1
			T[M],M=((t,u,v)),M+1
	n=L*2
	p=[i for i in R(n)]
	w=[0]*n
	for l in T[:M]:
		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+N-L,P)if s else 0)
0