結果
問題 | No.1652 XOR Inequalities |
ユーザー | chocorusk |
提出日時 | 2021-06-27 18:14:57 |
言語 | C++17 (gcc 13.2.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 9 ms / 2,000 ms |
コード長 | 2,008 bytes |
コンパイル時間 | 3,733 ms |
コンパイル使用メモリ | 191,880 KB |
実行使用メモリ | 4,684 KB |
最終ジャッジ日時 | 2023-08-04 05:13:07 |
合計ジャッジ時間 | 6,826 ms |
ジャッジサーバーID (参考情報) |
judge14 / judge15 |
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 3 ms
4,380 KB |
testcase_01 | AC | 2 ms
4,420 KB |
testcase_02 | AC | 2 ms
4,392 KB |
testcase_03 | AC | 3 ms
4,468 KB |
testcase_04 | AC | 3 ms
4,384 KB |
testcase_05 | AC | 3 ms
4,608 KB |
testcase_06 | AC | 4 ms
4,664 KB |
testcase_07 | AC | 2 ms
4,512 KB |
testcase_08 | AC | 2 ms
4,480 KB |
testcase_09 | AC | 4 ms
4,484 KB |
testcase_10 | AC | 3 ms
4,412 KB |
testcase_11 | AC | 3 ms
4,380 KB |
testcase_12 | AC | 2 ms
4,512 KB |
testcase_13 | AC | 5 ms
4,516 KB |
testcase_14 | AC | 3 ms
4,508 KB |
testcase_15 | AC | 5 ms
4,416 KB |
testcase_16 | AC | 5 ms
4,632 KB |
testcase_17 | AC | 4 ms
4,416 KB |
testcase_18 | AC | 5 ms
4,684 KB |
testcase_19 | AC | 5 ms
4,404 KB |
testcase_20 | AC | 5 ms
4,656 KB |
testcase_21 | AC | 4 ms
4,448 KB |
testcase_22 | AC | 5 ms
4,388 KB |
testcase_23 | AC | 4 ms
4,456 KB |
testcase_24 | AC | 5 ms
4,624 KB |
testcase_25 | AC | 5 ms
4,544 KB |
testcase_26 | AC | 4 ms
4,380 KB |
testcase_27 | AC | 6 ms
4,392 KB |
testcase_28 | AC | 5 ms
4,472 KB |
testcase_29 | AC | 5 ms
4,652 KB |
testcase_30 | AC | 5 ms
4,412 KB |
testcase_31 | AC | 5 ms
4,420 KB |
testcase_32 | AC | 4 ms
4,376 KB |
testcase_33 | AC | 6 ms
4,552 KB |
testcase_34 | AC | 6 ms
4,524 KB |
testcase_35 | AC | 4 ms
4,616 KB |
testcase_36 | AC | 7 ms
4,548 KB |
testcase_37 | AC | 7 ms
4,676 KB |
testcase_38 | AC | 4 ms
4,540 KB |
testcase_39 | AC | 6 ms
4,580 KB |
testcase_40 | AC | 5 ms
4,456 KB |
testcase_41 | AC | 5 ms
4,472 KB |
testcase_42 | AC | 6 ms
4,528 KB |
testcase_43 | AC | 6 ms
4,572 KB |
testcase_44 | AC | 6 ms
4,524 KB |
testcase_45 | AC | 5 ms
4,452 KB |
testcase_46 | AC | 2 ms
4,376 KB |
testcase_47 | AC | 9 ms
4,468 KB |
testcase_48 | AC | 3 ms
4,392 KB |
testcase_49 | AC | 2 ms
4,396 KB |
testcase_50 | AC | 2 ms
4,444 KB |
testcase_51 | AC | 3 ms
4,456 KB |
testcase_52 | AC | 3 ms
4,424 KB |
testcase_53 | AC | 5 ms
4,528 KB |
testcase_54 | AC | 4 ms
4,420 KB |
testcase_55 | AC | 5 ms
4,480 KB |
ソースコード
#include <cstdio> #include <cstring> #include <iostream> #include <string> #include <cmath> #include <bitset> #include <vector> #include <map> #include <set> #include <queue> #include <deque> #include <algorithm> #include <complex> #include <unordered_map> #include <unordered_set> #include <random> #include <cassert> #include <fstream> #include <utility> #include <functional> #include <time.h> #include <stack> #include <array> #include <list> #include <atcoder/all> #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair<int, int> P; const int d=30; int main() { int n; cin>>n; int a[1<<10], ans[1<<10]={}; bool all=1; for(int i=0; i<(1<<n); i++){ cin>>a[i]; if(a[i]!=-1){ ans[i]=a[i]; all=0; } } if(all){ cout<<"Yes"<<endl; for(int i=0; i<(1<<n); i++){ cout<<0; if(i<(1<<n)-1) cout<<" "; } cout<<endl; return 0; } bool ok[1<<10][1<<10]={}; for(int i=d-1; i>=0; i--){ bool v[1<<10]; fill(v, v+(1<<n), 1); for(int j=0; j<(1<<n); j++){ if(a[j]!=-1 && !((a[j]>>i)&1)){ v[j]=0; } } queue<P> que; for(int j=0; j<(1<<n); j++){ if(v[j]) continue; for(int k=0; k<(1<<n); k++){ if(!v[k] && !ok[j][k]){ que.push({j, k}); } } } while(!que.empty()){ auto p=que.front(); que.pop(); int l=(p.first^p.second); if(v[l]){ v[l]=0; for(int j=0; j<(1<<n); j++){ if(!v[j] && !ok[j][l]){ que.push({j, l}); que.push({l, j}); } } } } for(int j=0; j<(1<<n); j++){ if(a[j]==-1 && v[j]){ ans[j]^=(1<<i); } if(a[j]!=-1 && !v[j] && ((a[j]>>i)&1)){ cout<<"No"<<endl; return 0; } for(int k=0; k<(1<<n); k++){ if(v[j] && v[k] && v[j^k]){ ok[j][k]=1; } } } } for(int i=0; i<(1<<n); i++){ for(int j=0; j<(1<<n); j++){ assert(ans[i^j]>=(ans[i]^ans[j])); } } cout<<"Yes"<<endl; for(int i=0; i<(1<<n); i++){ cout<<ans[i]; if(i<(1<<n)-1) cout<<" "; } cout<<endl; return 0; }