题意:给出一个b数列,求一个b的排列,使得存在一个严格增的a数列,满足a[i]^a[i-1]=b[i],不存在输出No,存在则输出b。
题解:
大致一想,最小的b肯定可以放在第一个,因为如果不放在第一个,你可以一点一点交换到第一个上去,这个交换过程不会改变a的单增性质。那么进而,a_0确定了,那么如果我们把a_0去掉,那么剩下的a相当于都亦或了a_0,于是问题变得相似了起来,再次寻找最小的b即可,也就是满足与当前前缀和亦或结果最小的,且比当前前缀和要大该选择哪一个b,这个就在01trie上跑一跑就好了。
虽然算法感觉有点假。。但是在CF上AC了。。我觉得海星。
写这个博客纯属不爽,比赛时候在ubuntu18.04下使用codeblocks16.01频繁崩溃,导致我代码丢失,最后换成vim重写,导致最后差了两分钟没交上这个题,codeblocks 卸载!
以及存以下我丑陋的01trie,即将彻底换姿势
Code:
#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const int maxn= 1e5+100;
int nxt[maxn*60][2],tot;
int cnt[maxn*60];
int flag[maxn*60];
int n;
LL b[maxn];
LL a[maxn];
LL bas[100];
void insert(LL val){
int now=0;
for (int i=61;i>=0;i--){
LL bit = (val&bas[i]);
if (bit)bit=1;
cnt[now]++;
if (!nxt[now][bit])nxt[now][bit] = ++tot;
now = nxt[now][bit];
}
cnt[now]++;
}
LL query(LL Val,int dep,int now,bool same,LL ans){
//printf("%lld %d %d %d %lld\n",Val,dep,now,same,ans);
if (dep==-1&&!same)return ans;
else if (dep==-1&&same)return -1;
// cnt[now]--;
LL bit = Val&bas[dep];
if (bit)bit=1;
if (!same){
if (nxt[now][bit]&&cnt[nxt[now][bit]]){
LL temp = query(Val,dep-1,nxt[now][bit],same,ans);
if (temp!=-1)return temp;
}
if (nxt[now][!bit]&&cnt[nxt[now][!bit]])return query(Val,dep-1,nxt[now][!bit],same,ans+bas[dep]);
else return -1;
}else{
if (bit){
if (nxt[now][!bit]&&cnt[nxt[now][!bit]]){
LL temp = query(Val,dep-1,nxt[now][!bit],same,ans+bas[dep]);
if (temp!=-1)return temp;
else return -1;
}else{
return -1;
}
}else{
//printf("%lld HERE\n",bit);
if (nxt[now][bit]&&cnt[nxt[now][bit]]){
LL temp = query(Val,dep-1,nxt[now][bit],same,ans);
if (temp!=-1)return temp;
}
if (nxt[now][!bit]&&cnt[nxt[now][!bit]]) return query(Val,dep-1,nxt[now][!bit],false,ans+bas[dep]);
//printf("HERE\n");
return -1;
}
}
}
void modify(LL Val){
int now =0;
for (int i=61;i>=0;i--){
cnt[now]--;
LL bit = Val&bas[i];
if (bit)bit=1;
now = nxt[now][bit];
}
cnt[now]--;
}
int main(){
bas[0]=1;
for (int i=1;i<=63;i++){
bas[i]=bas[i-1]<<1;
}
scanf("%d",&n);
for (int i=1;i<=n;i++){
scanf("%lld",b+i);
insert(b[i]);
}
for (int i=1;i<=n;i++){
LL temp = query(a[i-1],61,0,true,0);
//printf("%lld\n",temp);
if (temp==-1){
printf("No\n");
return 0;
}else{
a[i]=temp;
modify(a[i]^a[i-1]);
}
}
printf("Yes\n");
for (int i=1;i<=n;i++){
printf("%lld ",a[i]^a[i-1]);
}
return 0;
}