結果
問題 | No.2293 無向辺 2-SAT |
ユーザー | 👑 p-adic |
提出日時 | 2023-05-09 07:19:49 |
言語 | Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0) |
結果 |
AC
|
実行時間 | 2,040 ms / 4,000 ms |
コード長 | 774 bytes |
コンパイル時間 | 157 ms |
コンパイル使用メモリ | 12,800 KB |
実行使用メモリ | 65,664 KB |
最終ジャッジ日時 | 2024-05-04 10:00:05 |
合計ジャッジ時間 | 97,451 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 29 ms
11,008 KB |
testcase_01 | AC | 36 ms
15,616 KB |
testcase_02 | AC | 27 ms
11,008 KB |
testcase_03 | AC | 1,506 ms
65,664 KB |
testcase_04 | AC | 1,903 ms
19,328 KB |
testcase_05 | AC | 1,823 ms
16,256 KB |
testcase_06 | AC | 1,721 ms
14,976 KB |
testcase_07 | AC | 1,678 ms
17,152 KB |
testcase_08 | AC | 1,789 ms
17,280 KB |
testcase_09 | AC | 1,851 ms
17,280 KB |
testcase_10 | AC | 1,879 ms
17,152 KB |
testcase_11 | AC | 1,952 ms
20,480 KB |
testcase_12 | AC | 1,792 ms
17,280 KB |
testcase_13 | AC | 1,592 ms
12,672 KB |
testcase_14 | AC | 1,497 ms
12,672 KB |
testcase_15 | AC | 1,344 ms
12,672 KB |
testcase_16 | AC | 1,853 ms
19,712 KB |
testcase_17 | AC | 2,040 ms
25,364 KB |
testcase_18 | AC | 1,805 ms
17,536 KB |
testcase_19 | AC | 882 ms
14,336 KB |
testcase_20 | AC | 1,817 ms
19,968 KB |
testcase_21 | AC | 1,657 ms
17,408 KB |
testcase_22 | AC | 1,896 ms
23,200 KB |
testcase_23 | AC | 1,928 ms
23,016 KB |
testcase_24 | AC | 1,901 ms
23,260 KB |
testcase_25 | AC | 1,927 ms
23,404 KB |
testcase_26 | AC | 1,924 ms
23,392 KB |
testcase_27 | AC | 1,918 ms
23,216 KB |
testcase_28 | AC | 1,883 ms
23,188 KB |
testcase_29 | AC | 1,933 ms
23,412 KB |
testcase_30 | AC | 1,889 ms
23,296 KB |
testcase_31 | AC | 1,920 ms
23,424 KB |
testcase_32 | AC | 1,513 ms
17,280 KB |
testcase_33 | AC | 1,511 ms
17,280 KB |
testcase_34 | AC | 1,497 ms
17,280 KB |
testcase_35 | AC | 1,493 ms
17,280 KB |
testcase_36 | AC | 1,508 ms
17,408 KB |
testcase_37 | AC | 1,511 ms
17,280 KB |
testcase_38 | AC | 1,517 ms
17,280 KB |
testcase_39 | AC | 1,511 ms
17,152 KB |
testcase_40 | AC | 1,537 ms
17,280 KB |
testcase_41 | AC | 1,362 ms
17,280 KB |
testcase_42 | AC | 1,418 ms
17,152 KB |
testcase_43 | AC | 1,447 ms
17,280 KB |
testcase_44 | AC | 1,547 ms
17,280 KB |
testcase_45 | AC | 1,593 ms
17,280 KB |
testcase_46 | AC | 1,641 ms
17,280 KB |
testcase_47 | AC | 1,629 ms
17,280 KB |
testcase_48 | AC | 1,678 ms
17,280 KB |
testcase_49 | AC | 1,762 ms
18,176 KB |
testcase_50 | AC | 1,826 ms
19,968 KB |
testcase_51 | AC | 1,819 ms
21,248 KB |
testcase_52 | AC | 1,808 ms
22,016 KB |
testcase_53 | AC | 1,890 ms
22,912 KB |
testcase_54 | AC | 1,910 ms
24,124 KB |
testcase_55 | AC | 2,031 ms
26,320 KB |
ソースコード
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)