結果
問題 | No.1652 XOR Inequalities |
ユーザー |
![]() |
提出日時 | 2021-07-04 02:15:30 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 2,195 bytes |
コンパイル時間 | 3,649 ms |
コンパイル使用メモリ | 185,696 KB |
最終ジャッジ日時 | 2025-01-22 17:25:00 |
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 45 WA * 8 |
ソースコード
#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 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;}}for(int i=0; i<(1<<n); i++){for(int j=0; j<(1<<n); j++){if(a[i]!=-1 && a[j]!=-1 && a[i^j]!=-1 && (a[i^j]<(a[i]^a[j]))){cout<<"No"<<endl;return 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)){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;}