結果
問題 | No.2293 無向辺 2-SAT |
ユーザー |
👑 |
提出日時 | 2023-05-09 07:35:12 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 2,145 ms / 4,000 ms |
コード長 | 664 bytes |
コンパイル時間 | 156 ms |
コンパイル使用メモリ | 12,672 KB |
実行使用メモリ | 66,244 KB |
最終ジャッジ日時 | 2024-11-25 20:16:42 |
合計ジャッジ時間 | 105,108 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 53 |
ソースコード
I,J,R=input,int,rangeX=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 in=0def g(i,j):global nif p[r(i)]!=r(j):p[r(i)],n=r(j),n-1U=[0]*Nwhile Q>0:V,T,L,s=set(),[],0,Truewhile Q>0:Q,X=Q-1,I().split()t,A=J(X[0]),T.appendif t==3:A((t,))breakelse:u,v=J(X[1])-1,J(X[2])-1V.add(u),V.add(v),A((t,u,v))for u in V:U[u],L=L,L+1n=L*2p=[i for i in R(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]]w=u+Lif l[0]==1:g(u,v),g(w,v+L)else:g(w,v),g(u,v+L)s=p[r(u)]!=p[r(w)]print(pow(2,n//2+N-L,P)if s else 0)