HDU 5798 Stabilization （DFS+预处理+剪枝+好题）*

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=5798

#include<bits/stdc++.h>
using namespace std;

#define debug puts("YES");
#define rep(x,y,z) for(int (x)=(y);(x)<(z);(x)++)
#define ll long long

#define lrt int l,int r,int rt
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define root l,r,rt
#define mst(a,b) memset((a),(b),sizeof(a))
#define pii pair<int,int>
#define fi first
#define se second
#define mk(x,y) make_pair(x,y)
const int mod=1e9+7;
const int maxn=1e5+4;
const int ub=1e6;
ll powmod(ll x,ll y){ll t; for(t=1;y;y>>=1,x=x*x%mod) if(y&1) t=t*x%mod; return t;}
ll gcd(ll x,ll y){return y?gcd(y,x%y):x;}
/*
题目大意：规定一个整数序列的权值是
相邻两数之差的绝对值之和，现在可以
选择一个x并把序列中的所有数都异或上这个x，
问要使得变换后的序列权值最小，其选择的最小的x是多少。

题目分析：好难的一道搜索题，关键在如何构建搜索图和搜索点的逻辑吧。
首先分析相邻两个数，其最高的一个不同位决定了谁大谁小，位运算的话先拆成二进制分析
先规定绝对值的权值累加是左边到右边的计算，
如果探索到最先出现的不同位，比如说顺序是1，0，
那么明显左边比右边的大，则下面出现的1,0会贡献正值，0,1会贡献负值，
其余的不贡献，就是说最高不同位其实规定了下面贡献的符号问题。

我们先预处理在没有x位干扰的情况下，其所有贡献，需要开二维数组，第一维描述最高位位置，
第二维描述当前位置的贡献，这部分看代码应该可以看明白。

然后分析搜索部分，明显我们需要按位搜索，那么就有两种选择，x加上当前位权或者是不加，
对于维护好的当前的x，和当前位，我们搜集把当前位作为最高不同位时候所有数在没有x干扰下的贡献，
当然，其贡献的符号和两种枚举选择有关的，这点可以看搜索层的代码，把位运算的逻辑应用的很好。
搜到最深处不停记录即可。然后别忘了剪枝，因为我们所有累加的贡献已经是正值了，所以可以直接剪枝。
时间复杂度：O(2^20*20+剪枝)
*/

int n,a[maxn],ans,deep;
ll num[30][30],val;
void dfs(int pos,ll cur,int x){
    if(pos==deep+1){
        if(cur<val) val=cur,ans=x;
        else if(cur==val&&x<ans) ans=x;
        return ;
    }
    if(cur>val) return ;///剪枝
    rep(i,0,2){///选或者不选
        ll tmp=num[pos][pos];
        rep(j,0,pos) ///操作太技巧
            if(((x>>j)&1)==i) tmp+=num[pos][j];
            else tmp-=num[pos][j];///
        dfs(pos+1,cur+tmp,x+(i<<pos));
    }
}

int main(){
    int t;scanf("%d",&t);
    while(t--){
        mst(num,0),ans=deep=0,val=0;
        scanf("%d",&n);
        rep(i,1,n+1) scanf("%d",&a[i]);
        rep(i,1,n){
            int ta=max(a[i],a[i+1]),tb=min(a[i],a[i+1]);
            val+=(ta-tb);
            int hp=19;
            while(hp>=0&& !((ta^tb)>>hp) ) hp--;
            deep=max(deep,hp);///
            rep(j,0,hp+1) num[hp][j]+=((ta>>j)&1)-((tb>>j)&1);
        }
        rep(i,0,20) rep(j,0,i+1) num[i][j]<<=j;
        dfs(0,0,0);///搜索位置，目前维护的绝对值，目前的x
        printf("%d %lld\n",ans,val);
    }
    return 0;
}