結果

問題 No.2293 無向辺 2-SAT
ユーザー 👑 p-adicp-adic
提出日時 2023-05-09 07:10:38
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 2,254 ms / 4,000 ms
コード長 838 bytes
コンパイル時間 251 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 65,664 KB
最終ジャッジ日時 2024-11-25 19:58:33
合計ジャッジ時間 99,233 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 26 ms
11,008 KB
testcase_01 AC 36 ms
15,488 KB
testcase_02 AC 27 ms
10,880 KB
testcase_03 AC 1,491 ms
65,664 KB
testcase_04 AC 1,907 ms
19,072 KB
testcase_05 AC 1,821 ms
16,000 KB
testcase_06 AC 1,702 ms
14,848 KB
testcase_07 AC 1,370 ms
17,280 KB
testcase_08 AC 1,757 ms
17,024 KB
testcase_09 AC 1,723 ms
17,024 KB
testcase_10 AC 1,722 ms
17,152 KB
testcase_11 AC 1,897 ms
20,224 KB
testcase_12 AC 1,741 ms
17,024 KB
testcase_13 AC 1,647 ms
12,416 KB
testcase_14 AC 1,460 ms
12,288 KB
testcase_15 AC 1,361 ms
12,288 KB
testcase_16 AC 2,114 ms
19,456 KB
testcase_17 AC 2,022 ms
25,244 KB
testcase_18 AC 1,802 ms
17,536 KB
testcase_19 AC 904 ms
14,080 KB
testcase_20 AC 1,833 ms
19,968 KB
testcase_21 AC 1,641 ms
17,024 KB
testcase_22 AC 1,887 ms
23,040 KB
testcase_23 AC 1,884 ms
22,864 KB
testcase_24 AC 1,926 ms
23,024 KB
testcase_25 AC 1,871 ms
23,168 KB
testcase_26 AC 1,873 ms
22,984 KB
testcase_27 AC 1,908 ms
23,060 KB
testcase_28 AC 1,861 ms
22,912 KB
testcase_29 AC 1,893 ms
23,004 KB
testcase_30 AC 1,895 ms
23,152 KB
testcase_31 AC 1,895 ms
23,040 KB
testcase_32 AC 1,506 ms
17,152 KB
testcase_33 AC 1,524 ms
17,024 KB
testcase_34 AC 1,461 ms
17,152 KB
testcase_35 AC 1,545 ms
17,024 KB
testcase_36 AC 1,536 ms
17,152 KB
testcase_37 AC 1,524 ms
17,152 KB
testcase_38 AC 1,529 ms
17,024 KB
testcase_39 AC 1,510 ms
17,280 KB
testcase_40 AC 1,506 ms
17,152 KB
testcase_41 AC 1,266 ms
17,024 KB
testcase_42 AC 1,362 ms
17,024 KB
testcase_43 AC 1,455 ms
17,280 KB
testcase_44 AC 1,542 ms
17,024 KB
testcase_45 AC 1,627 ms
17,152 KB
testcase_46 AC 1,658 ms
17,024 KB
testcase_47 AC 1,650 ms
17,024 KB
testcase_48 AC 1,733 ms
17,152 KB
testcase_49 AC 1,754 ms
18,048 KB
testcase_50 AC 1,820 ms
19,712 KB
testcase_51 AC 1,856 ms
20,992 KB
testcase_52 AC 1,859 ms
21,888 KB
testcase_53 AC 1,871 ms
22,656 KB
testcase_54 AC 1,913 ms
23,976 KB
testcase_55 AC 2,254 ms
25,908 KB
権限があれば一括ダウンロードができます

ソースコード

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,V,W,T,L,f=[0]*N,[0]*N,[0]*N,[(0,)]*Q,0,pow(2,N,P)
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(f)
		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