結果
問題 | No.2293 無向辺 2-SAT |
ユーザー | 👑 kmjp |
提出日時 | 2023-05-05 22:14:42 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 367 ms / 4,000 ms |
コード長 | 2,337 bytes |
コンパイル時間 | 2,210 ms |
コンパイル使用メモリ | 210,064 KB |
実行使用メモリ | 28,392 KB |
最終ジャッジ日時 | 2024-05-02 16:44:03 |
合計ジャッジ時間 | 25,781 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 7 ms
7,936 KB |
testcase_01 | AC | 8 ms
7,808 KB |
testcase_02 | AC | 6 ms
7,936 KB |
testcase_03 | AC | 354 ms
28,392 KB |
testcase_04 | AC | 323 ms
8,192 KB |
testcase_05 | AC | 324 ms
8,192 KB |
testcase_06 | AC | 312 ms
7,808 KB |
testcase_07 | AC | 248 ms
7,936 KB |
testcase_08 | AC | 314 ms
7,808 KB |
testcase_09 | AC | 303 ms
7,936 KB |
testcase_10 | AC | 304 ms
7,808 KB |
testcase_11 | AC | 321 ms
8,192 KB |
testcase_12 | AC | 326 ms
7,808 KB |
testcase_13 | AC | 308 ms
7,808 KB |
testcase_14 | AC | 318 ms
7,936 KB |
testcase_15 | AC | 307 ms
7,936 KB |
testcase_16 | AC | 320 ms
8,192 KB |
testcase_17 | AC | 339 ms
9,252 KB |
testcase_18 | AC | 317 ms
8,064 KB |
testcase_19 | AC | 159 ms
8,064 KB |
testcase_20 | AC | 322 ms
8,064 KB |
testcase_21 | AC | 322 ms
7,936 KB |
testcase_22 | AC | 332 ms
8,576 KB |
testcase_23 | AC | 331 ms
8,576 KB |
testcase_24 | AC | 324 ms
8,576 KB |
testcase_25 | AC | 333 ms
8,448 KB |
testcase_26 | AC | 340 ms
8,576 KB |
testcase_27 | AC | 332 ms
8,448 KB |
testcase_28 | AC | 338 ms
8,576 KB |
testcase_29 | AC | 322 ms
8,448 KB |
testcase_30 | AC | 329 ms
8,448 KB |
testcase_31 | AC | 334 ms
8,576 KB |
testcase_32 | AC | 325 ms
7,936 KB |
testcase_33 | AC | 313 ms
7,808 KB |
testcase_34 | AC | 313 ms
7,936 KB |
testcase_35 | AC | 345 ms
7,936 KB |
testcase_36 | AC | 329 ms
7,936 KB |
testcase_37 | AC | 321 ms
7,936 KB |
testcase_38 | AC | 311 ms
7,808 KB |
testcase_39 | AC | 310 ms
7,808 KB |
testcase_40 | AC | 367 ms
7,936 KB |
testcase_41 | AC | 295 ms
7,936 KB |
testcase_42 | AC | 300 ms
7,808 KB |
testcase_43 | AC | 315 ms
7,808 KB |
testcase_44 | AC | 317 ms
7,936 KB |
testcase_45 | AC | 320 ms
7,808 KB |
testcase_46 | AC | 319 ms
7,936 KB |
testcase_47 | AC | 319 ms
7,936 KB |
testcase_48 | AC | 312 ms
7,936 KB |
testcase_49 | AC | 324 ms
7,936 KB |
testcase_50 | AC | 318 ms
8,064 KB |
testcase_51 | AC | 332 ms
8,192 KB |
testcase_52 | AC | 320 ms
8,320 KB |
testcase_53 | AC | 320 ms
8,576 KB |
testcase_54 | AC | 319 ms
9,216 KB |
testcase_55 | AC | 336 ms
10,472 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; typedef signed long long ll; #define _P(...) (void)printf(__VA_ARGS__) #define FOR(x,to) for(x=0;x<(to);x++) #define FORR(x,arr) for(auto& x:arr) #define FORR2(x,y,arr) for(auto& [x,y]:arr) #define ALL(a) (a.begin()),(a.end()) #define ZERO(a) memset(a,0,sizeof(a)) #define MINUS(a) memset(a,0xff,sizeof(a)) template<class T> bool chmax(T &a, const T &b) { if(a<b){a=b;return 1;}return 0;} template<class T> bool chmin(T &a, const T &b) { if(a>b){a=b;return 1;}return 0;} //------------------------------------------------------- template<int um> class UF_pop { public: vector<int> par,rank; vector<vector<int>> hist; UF_pop() {par=rank=vector<int>(um,0); for(int i=0;i<um;i++) par[i]=i;} void reinit() {int i; hist.clear(); FOR(i,um) rank[i]=0,par[i]=i;} int operator[](int x) {return (par[x]==x)?(x):operator[](par[x]);} void pop() { if(hist.size()) { auto a=hist.back(); hist.pop_back(); par[a[0]]=a[1]; rank[a[0]]=a[2]; par[a[3]]=a[4]; rank[a[3]]=a[5]; } } void operator()(int x,int y) { x=operator[](x); y=operator[](y); hist.push_back({x,par[x],rank[x],y,par[y],rank[y]}); if(x==y) return; if(rank[x]<rank[y]) par[x]=y; else rank[x]+=(rank[x]==rank[y]), par[y]=x; } }; UF_pop<404040> uf; const ll mo=998244353; int p2[404040]; int N,Q; void solve() { int i,j,k,l,r,x,y; string s; cin>>N>>Q; p2[0]=1; FOR(i,404010) p2[i+1]=p2[i]*2%mo; int num=2*N; int ng=0; while(Q--) { cin>>i; int U,V; if(i==1) { cin>>U>>V; U--,V--; if(uf[2*U]!=uf[2*V]) { num--; uf(2*U,2*V); } if(uf[2*U+1]!=uf[2*V+1]) { num--; uf(2*U+1,2*V+1); } if(uf[2*U]==uf[2*U+1]) ng=1; if(uf[2*V]==uf[2*V+1]) ng=1; } else if(i==2) { cin>>U>>V; U--,V--; if(uf[2*U]!=uf[2*V+1]) { num--; uf(2*U,2*V+1); } if(uf[2*U+1]!=uf[2*V]) { num--; uf(2*U+1,2*V); } if(uf[2*U]==uf[2*U+1]) ng=1; if(uf[2*V]==uf[2*V+1]) ng=1; } else { while(uf.hist.size()) uf.pop(); num=2*N; ng=0; } if(ng) { cout<<0<<endl; } else { cout<<p2[num/2]<<endl; } } } int main(int argc,char** argv){ string s;int i; if(argc==1) ios::sync_with_stdio(false), cin.tie(0); FOR(i,argc-1) s+=argv[i+1],s+='\n'; FOR(i,s.size()) ungetc(s[s.size()-1-i],stdin); cout.tie(0); solve(); return 0; }