hdu 5798 Stabilization(2016多校第六场1006)

我们仔细想想可以发现如果两个相邻的数某个最高位不同的话，就直接影响到下面的所有位，我们社最高位为p，不妨设a[i-1][p]>a[i][p],如果下面有一位j使得a[i-1][j]!=a[i][j],那么我们想如果a[i-1][j]>a[i][j] 如果x[p]和x[j]（x的第p和第j为）相同，那么他们同向，也就是a[i-1][j]-a[i][j]对答案有正贡献，同理x[p]与x[j]不同，那a[i-1][j]-a[i][j]对答案有负贡献，所以我们之所以把20*20的所有贡献算出来就行，然后枚举，但是直接枚举是2^20*400所以用dfs优化即可。

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<vector>
#include<queue>
#include<map>
#include<set>
using namespace std;
typedef long long LL;
LL a[2][22][22];
typedef pair<int,LL>p1;
p1 ans;
LL b[22];
int x[22];
int fa[22];
void dfs(int u,int p,int xx,LL all){
    if(u==p){
        if(ans.second>all){
            ans.second=all;
            ans.first=xx;
        }
        else if(ans.second==all){
            if(ans.first>xx){
                ans.first=xx;
            }
        }
        return;
    }
    for(int j=0;j<2;j++){
        x[u]=j;
        LL s;
        s=b[u];
        for(int i=0;i<u;i++){
            if(x[i]==x[u]){
                s+=a[0][i][u];
            }
            else{
                s+=a[1][i][u];
            }
        }
        dfs(u+1,p,xx+j*fa[u],all+s);
    }
}
int in[100005];
int main()
{
    int n,t;
    for(int i=0;i<=20;i++) fa[i]=1<<i;
    cin>>t;
    while(t--){
        scanf("%d",&n);
        memset(b,0,sizeof(b));
        memset(a,0,sizeof(a));
        for(int i=1;i<=n;i++) scanf("%d",&in[i]);
        int uo=0;
        for(int i=2;i<=n;i++){
            int f=-1,u1=0;
            for(int j=19;j>=0;j--){
                int x=(in[i-1]>>j)&1;
                int y=(in[i]>>j)&1;
                if(x||y) uo=max(uo,j);
                if(x!=y){
                    if(f!=-1){
                        if(x-y!=u1){
                            a[0][j][f]-=fa[j];
                            a[1][j][f]+=fa[j];
                        }
                        else{
                            a[0][j][f]+=fa[j];
                            a[1][j][f]-=fa[j];
                        }
                    }
                    else{
                        u1=x-y;
                        f=j;
                        b[j]+=fa[j];
                    }
                }
            }
        }
        ans=make_pair(100000000,(LL)1<<60);
        dfs(0,uo+1,0,0);
        printf("%d %lld\n",ans.first,ans.second);
    }
}