結果
問題 | No.1652 XOR Inequalities |
ユーザー |
![]() |
提出日時 | 2021-06-30 22:44:30 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
RE
|
実行時間 | - |
コード長 | 1,929 bytes |
コンパイル時間 | 3,791 ms |
コンパイル使用メモリ | 181,460 KB |
最終ジャッジ日時 | 2025-01-22 15:03:30 |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 46 RE * 7 |
ソースコード
#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_popcountusing namespace std;using namespace atcoder;typedef long long ll;typedef pair<int, int> P;const int MAXN=7;const int d=30;int main(){int n;cin>>n;int a[1<<MAXN], ans[1<<MAXN]={};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<<MAXN][1<<MAXN]={};for(int i=d-1; i>=0; i--){bool v[1<<MAXN];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;}}// 1周だけにするfor(int j=0; j<(1<<n); j++){for(int k=j; k<(1<<n); k++){if(ok[j][k]) continue;int c=0;if(v[k]) c++;if(v[j]) c++;if(v[k^j]) c++;if(c==1){v[k^j]=0; v[k]=0; v[j]=0;}}}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<=i; 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;}