結果
問題 | No.1652 XOR Inequalities |
ユーザー | chocorusk |
提出日時 | 2021-06-27 18:14:57 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 8 ms / 2,000 ms |
コード長 | 2,008 bytes |
コンパイル時間 | 4,206 ms |
コンパイル使用メモリ | 193,092 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2024-10-14 02:21:36 |
合計ジャッジ時間 | 5,483 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 2 ms
5,248 KB |
testcase_02 | AC | 2 ms
5,248 KB |
testcase_03 | AC | 3 ms
5,248 KB |
testcase_04 | AC | 2 ms
5,248 KB |
testcase_05 | AC | 3 ms
5,248 KB |
testcase_06 | AC | 4 ms
5,248 KB |
testcase_07 | AC | 3 ms
5,248 KB |
testcase_08 | AC | 3 ms
5,248 KB |
testcase_09 | AC | 4 ms
5,248 KB |
testcase_10 | AC | 3 ms
5,248 KB |
testcase_11 | AC | 3 ms
5,248 KB |
testcase_12 | AC | 3 ms
5,248 KB |
testcase_13 | AC | 4 ms
5,248 KB |
testcase_14 | AC | 3 ms
5,248 KB |
testcase_15 | AC | 5 ms
5,248 KB |
testcase_16 | AC | 4 ms
5,248 KB |
testcase_17 | AC | 4 ms
5,248 KB |
testcase_18 | AC | 5 ms
5,248 KB |
testcase_19 | AC | 5 ms
5,248 KB |
testcase_20 | AC | 5 ms
5,248 KB |
testcase_21 | AC | 4 ms
5,248 KB |
testcase_22 | AC | 5 ms
5,248 KB |
testcase_23 | AC | 4 ms
5,248 KB |
testcase_24 | AC | 6 ms
5,248 KB |
testcase_25 | AC | 5 ms
5,248 KB |
testcase_26 | AC | 4 ms
5,248 KB |
testcase_27 | AC | 6 ms
5,248 KB |
testcase_28 | AC | 5 ms
5,248 KB |
testcase_29 | AC | 4 ms
5,248 KB |
testcase_30 | AC | 5 ms
5,248 KB |
testcase_31 | AC | 5 ms
5,248 KB |
testcase_32 | AC | 4 ms
5,248 KB |
testcase_33 | AC | 6 ms
5,248 KB |
testcase_34 | AC | 7 ms
5,248 KB |
testcase_35 | AC | 4 ms
5,248 KB |
testcase_36 | AC | 7 ms
5,248 KB |
testcase_37 | AC | 7 ms
5,248 KB |
testcase_38 | AC | 5 ms
5,248 KB |
testcase_39 | AC | 6 ms
5,248 KB |
testcase_40 | AC | 5 ms
5,248 KB |
testcase_41 | AC | 5 ms
5,248 KB |
testcase_42 | AC | 7 ms
5,248 KB |
testcase_43 | AC | 6 ms
5,248 KB |
testcase_44 | AC | 7 ms
5,248 KB |
testcase_45 | AC | 5 ms
5,248 KB |
testcase_46 | AC | 2 ms
5,248 KB |
testcase_47 | AC | 8 ms
5,248 KB |
testcase_48 | AC | 3 ms
5,248 KB |
testcase_49 | AC | 3 ms
5,248 KB |
testcase_50 | AC | 3 ms
5,248 KB |
testcase_51 | AC | 3 ms
5,248 KB |
testcase_52 | AC | 3 ms
5,248 KB |
testcase_53 | AC | 4 ms
5,248 KB |
testcase_54 | AC | 4 ms
5,248 KB |
testcase_55 | AC | 5 ms
5,248 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; }