結果

問題 No.2293 無向辺 2-SAT
ユーザー 👑 p-adicp-adic
提出日時 2023-05-09 07:10:38
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 2,104 ms / 4,000 ms
コード長 838 bytes
コンパイル時間 251 ms
コンパイル使用メモリ 13,056 KB
実行使用メモリ 65,920 KB
最終ジャッジ日時 2024-05-04 09:53:38
合計ジャッジ時間 99,140 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 28 ms
11,008 KB
testcase_01 AC 34 ms
15,488 KB
testcase_02 AC 26 ms
11,008 KB
testcase_03 AC 1,550 ms
65,920 KB
testcase_04 AC 1,906 ms
19,200 KB
testcase_05 AC 1,820 ms
16,128 KB
testcase_06 AC 1,745 ms
14,976 KB
testcase_07 AC 1,403 ms
17,152 KB
testcase_08 AC 1,778 ms
17,408 KB
testcase_09 AC 1,748 ms
17,280 KB
testcase_10 AC 1,741 ms
17,280 KB
testcase_11 AC 1,924 ms
20,480 KB
testcase_12 AC 1,765 ms
17,280 KB
testcase_13 AC 1,638 ms
12,800 KB
testcase_14 AC 1,529 ms
12,416 KB
testcase_15 AC 1,409 ms
12,544 KB
testcase_16 AC 2,004 ms
19,712 KB
testcase_17 AC 2,104 ms
25,368 KB
testcase_18 AC 1,802 ms
17,408 KB
testcase_19 AC 915 ms
14,336 KB
testcase_20 AC 1,853 ms
19,840 KB
testcase_21 AC 1,689 ms
17,280 KB
testcase_22 AC 1,967 ms
23,168 KB
testcase_23 AC 1,942 ms
22,864 KB
testcase_24 AC 2,012 ms
23,412 KB
testcase_25 AC 2,068 ms
23,424 KB
testcase_26 AC 1,997 ms
23,112 KB
testcase_27 AC 1,988 ms
23,056 KB
testcase_28 AC 2,015 ms
23,040 KB
testcase_29 AC 1,969 ms
23,128 KB
testcase_30 AC 2,008 ms
23,024 KB
testcase_31 AC 1,985 ms
23,296 KB
testcase_32 AC 1,572 ms
17,280 KB
testcase_33 AC 1,521 ms
17,280 KB
testcase_34 AC 1,546 ms
17,408 KB
testcase_35 AC 1,521 ms
17,280 KB
testcase_36 AC 1,540 ms
17,152 KB
testcase_37 AC 1,539 ms
17,280 KB
testcase_38 AC 1,506 ms
17,408 KB
testcase_39 AC 1,557 ms
17,152 KB
testcase_40 AC 1,496 ms
17,152 KB
testcase_41 AC 1,307 ms
17,408 KB
testcase_42 AC 1,393 ms
17,280 KB
testcase_43 AC 1,509 ms
17,152 KB
testcase_44 AC 1,567 ms
17,152 KB
testcase_45 AC 1,645 ms
17,152 KB
testcase_46 AC 1,688 ms
17,280 KB
testcase_47 AC 1,725 ms
17,280 KB
testcase_48 AC 1,854 ms
17,280 KB
testcase_49 AC 1,837 ms
18,304 KB
testcase_50 AC 1,881 ms
19,968 KB
testcase_51 AC 1,937 ms
21,248 KB
testcase_52 AC 1,923 ms
22,144 KB
testcase_53 AC 1,951 ms
22,912 KB
testcase_54 AC 2,022 ms
24,104 KB
testcase_55 AC 2,100 ms
26,168 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