Hdu 5661 Claris and XOR

一句话题面系列
求$max(x \oplus y)$
$x\in [a,b] , y \in [c,d] 1 \le a \le b \le 10^{18} , 1\le c \le d \le 10^{18}$

题面就这样了，然后怎么做呢

让我们来考虑两件事情

第一件事情
两个数要比较大小的话，是从最高位开始比较的(如果两个数位数不一样的话，把位数比较小的那个补上前导零来补齐)
也就是说，要是
。

。。

。。。
这不是废话吗(╯‵□′)╯︵┻━┻

咳咳，我们考虑第二件事情

就是处于一个区间，比如说$[a,b]$中的数，如果从高位到低位考虑（或者说枚举）的话，会有什么性质
或者说，除了$for(int\;i=a;i<=b;i++)$ 之外，有什么别的方法来遍历区间[a,b]的数
换句话说，如果我们把a和b按位拆散之后，如何写一个dfs来遍历所有的数？

（下面的代码假定a,b是十进制的,当然二进制一样做，A,B是a，b按位拆分的数组

void dfs(int pos,bool a,bool b){
    if(pos < -1) return 
    int st = a ? A[pos] : 0;
    int ed = b ? B[pos] : 9;
    for(int i=st;i<=ed;i++)
        dfs(pos-1,a && i==st,b && i==ed)
}

（其实就是把数位dp的上界推到这边的上下界而已
a，b这两个bool分别表示是否卡到了a,b的边界

然后对于这个题来说

x在推的过程中需要考虑两个状态，是否卡到了上界和是否卡到了下界
y同理

因为要求的是最大，我们要贪心的使得高位尽可能的为1

然后就是递推过程中了

如果在当前位，这个数同时卡到了上界和下界，并且$a[pos]==b[pos]$，说明在当前位的取值是唯一的
如果卡到了上界且$b[pos]==0$ 或者卡到了下界而且 $a[pos] == 1$，当前位的取值也是唯一的

然后如果x和y在当前位的取值都是唯一的，那么当前位我们其实什么都做不了，let it go

如果当前位有一个数的取值不唯一，那么当前位两个数异或之后一定能异或出一个1（想一想为什么

然后就是取数对下一位的影响了

如果上一位不卡上界也不卡下界，那么你不管这一位取什么数，下一位都是不卡上下界的

如果上一位卡上界而且$这一位取到的数=b[pos]$，那么下一位同样会卡到上界

下界类似

Ps.做完这个题之后，才发现我学会了数位dp，或者说，以前的数位dp白学了

那么这个题就这样

以下是代码

---

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
using namespace std;

const int maxn = 100;
#define LL long long
int aa[maxn],bb[maxn],cc[maxn],dd[maxn];

void out(int *s){
    for(int i=0;i<10;i++)
        printf(i<9?"%d ":"%d\n",s[i]);
}


void iner(LL s,int *arr){
    for(int i=0;i<maxn;i++)
        arr[i] = 0;
    int len = 0;
    int i=0;
    while(s){
        arr[i++] = s & 1;
        s >>=1;
    }
}

int choice(int l,int r,bool L,bool R){
    int st = L ? l : 0;
    int ed = R ? r : 1;
    if(st == ed)
        return st;
    return -1;
}

LL cal(int pos,bool a,bool b,bool c,bool d,LL ans){
    if(pos < 0)
        return ans;
    ans *=2;
    if((!a && !b) || (!c && !d))
        return cal(pos-1,a,b,c,d,ans+1);
    int s = choice(aa[pos],bb[pos],a,b);
    int e = choice(cc[pos],dd[pos],c,d);
    if(s != -1 && e != -1)
        return cal(pos-1,a,b,c,d,ans+(s^e));
    if(s == -1 && e == -1){
        return max(cal(pos-1,a,false,false,d,ans+1),
                   cal(pos-1,false,b,c,false,ans+1));
    }
    if(s == -1)
        if(e == 0)
            return cal(pos-1,false,b,c,d,ans+1);
        else
            return cal(pos-1,a,false,c,d,ans+1);
    else
        if(s == 0)
            return cal(pos-1,a,b,false,d,ans+1);
        else
            return cal(pos-1,a,b,c,false,ans+1);
}


int main(){
    LL A,B,C,D;
    int t;
    cin>>t;
    while(t-- && cin>>A>>B>>C>>D){
        iner(A,aa);
        iner(B,bb);
        iner(C,cc);
        iner(D,dd);
        cout<<cal(maxn-1,true,true,true,true,0)<<endl;
    }
    return 0;
}

Ps：这个我称为数位贪心（逃