Codeforces 925C BigSecret:01trie+贪心

题意：给出一个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;
}