結果
| 問題 |
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,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 if p[r(i)]!=r(j):p[r(i)],n=r(j),n-1 U=[0]*N while Q>0: V,T,L,s=set(),[],0,True while Q>0: Q,X=Q-1,I().split() t,A=J(X[0]),T.append if t==3: A((t,)) break else: u,v=J(X[1])-1,J(X[2])-1 V.add(u),V.add(v),A((t,u,v)) for u in V:U[u],L=L,L+1 n=L*2 p=[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+L if 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)