結果
問題 | No.2293 無向辺 2-SAT |
ユーザー | 👑 p-adic |
提出日時 | 2023-05-09 07:35:12 |
言語 | Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0) |
結果 |
AC
|
実行時間 | 1,970 ms / 4,000 ms |
コード長 | 664 bytes |
コンパイル時間 | 103 ms |
コンパイル使用メモリ | 12,800 KB |
実行使用メモリ | 66,632 KB |
最終ジャッジ日時 | 2024-05-04 10:09:51 |
合計ジャッジ時間 | 96,302 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 27 ms
11,008 KB |
testcase_01 | AC | 29 ms
12,544 KB |
testcase_02 | AC | 26 ms
10,880 KB |
testcase_03 | AC | 1,610 ms
66,632 KB |
testcase_04 | AC | 1,818 ms
14,720 KB |
testcase_05 | AC | 1,728 ms
13,184 KB |
testcase_06 | AC | 1,663 ms
11,776 KB |
testcase_07 | AC | 1,793 ms
12,416 KB |
testcase_08 | AC | 1,788 ms
12,416 KB |
testcase_09 | AC | 1,773 ms
12,544 KB |
testcase_10 | AC | 1,765 ms
12,544 KB |
testcase_11 | AC | 1,823 ms
16,000 KB |
testcase_12 | AC | 1,735 ms
12,544 KB |
testcase_13 | AC | 1,610 ms
10,880 KB |
testcase_14 | AC | 1,502 ms
10,880 KB |
testcase_15 | AC | 1,376 ms
10,880 KB |
testcase_16 | AC | 1,834 ms
15,232 KB |
testcase_17 | AC | 1,914 ms
22,416 KB |
testcase_18 | AC | 1,790 ms
12,800 KB |
testcase_19 | AC | 879 ms
11,904 KB |
testcase_20 | AC | 1,779 ms
15,232 KB |
testcase_21 | AC | 1,749 ms
12,416 KB |
testcase_22 | AC | 1,861 ms
18,740 KB |
testcase_23 | AC | 1,866 ms
18,888 KB |
testcase_24 | AC | 1,909 ms
19,244 KB |
testcase_25 | AC | 1,924 ms
19,104 KB |
testcase_26 | AC | 1,944 ms
18,808 KB |
testcase_27 | AC | 1,946 ms
18,824 KB |
testcase_28 | AC | 1,907 ms
19,176 KB |
testcase_29 | AC | 1,878 ms
19,416 KB |
testcase_30 | AC | 1,871 ms
19,324 KB |
testcase_31 | AC | 1,912 ms
19,032 KB |
testcase_32 | AC | 1,529 ms
12,416 KB |
testcase_33 | AC | 1,519 ms
12,416 KB |
testcase_34 | AC | 1,502 ms
12,416 KB |
testcase_35 | AC | 1,554 ms
12,416 KB |
testcase_36 | AC | 1,594 ms
12,416 KB |
testcase_37 | AC | 1,527 ms
12,544 KB |
testcase_38 | AC | 1,528 ms
12,416 KB |
testcase_39 | AC | 1,518 ms
12,416 KB |
testcase_40 | AC | 1,514 ms
12,544 KB |
testcase_41 | AC | 1,331 ms
12,544 KB |
testcase_42 | AC | 1,443 ms
12,416 KB |
testcase_43 | AC | 1,482 ms
12,416 KB |
testcase_44 | AC | 1,594 ms
12,416 KB |
testcase_45 | AC | 1,606 ms
12,416 KB |
testcase_46 | AC | 1,618 ms
12,416 KB |
testcase_47 | AC | 1,647 ms
12,416 KB |
testcase_48 | AC | 1,729 ms
12,544 KB |
testcase_49 | AC | 1,768 ms
13,440 KB |
testcase_50 | AC | 1,805 ms
15,232 KB |
testcase_51 | AC | 1,827 ms
16,512 KB |
testcase_52 | AC | 1,818 ms
17,356 KB |
testcase_53 | AC | 1,846 ms
18,492 KB |
testcase_54 | AC | 1,898 ms
20,064 KB |
testcase_55 | AC | 1,970 ms
21,456 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 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)