HDU5715 XOR 游戏 二分+字典树+dp

当时Astar复赛的时候只做出1题，赛后补题（很长时间后才补，懒真是要命），发现这是第二简单的

分析：

这个题，可以每次二分区间的最小异或和

进行check的时候用dp进行判断，dp[i][j]代表前i个元素分成j个区间，j是最后一个区间的最后一个元素

如果dp[i][j]为真，表明每个区间长度大于L，异或和大于mid

否则为假

返回dp[n][m]就好

复杂度度 O(30^2*nm)

吐槽：和异或相关的题总是和字典树贪心有关，又是一道，铭记铭记

#include <stdio.h>
#include <algorithm>
#include <string.h>
using namespace std;
const int N = 1e4+;
typedef long long LL;
int n,m,l,T,cas,tot;
int a[N];
struct Node{
    int sum,nex[];
}p[N**];
int newnode(){
  ++tot;
  p[tot].sum=;p[tot].nex[]=p[tot].nex[]=-;
  return tot;
}
int root[];
void add(int pos,int x){
  int now=root[pos],cur;
  ++p[now].sum;
  for(int i=;i>=;--i){
    if(x&(<<i))cur=;
    else cur=;
    if(p[now].nex[cur]==-)
      p[now].nex[cur]=newnode();
    now=p[now].nex[cur];
    ++p[now].sum;
  }
}
void del(int pos,int x){
  int now=root[pos],cur;
  --p[now].sum;
  for(int i=;i>=;--i){
     if(x&(<<i))cur=;
     else cur=;
     now=p[now].nex[cur];
      --p[now].sum;
  }
}
int query(int pos,int x){
  int now=root[pos],ret=,cur;
  if(p[now].sum==)return ;
  for(int i=;i>=;--i){
     if(x&(<<i))cur=;
     else cur=;
     if(p[now].nex[cur^]!=-&&p[p[now].nex[cur^]].sum!=){
        ret+=(<<i);
        now=p[now].nex[cur^];
     }
     else now=p[now].nex[cur];
  }
  return ret;
}
bool dp[N][];
bool check(int mid){
  tot=;
  for(int i=;i<m;++i)
    root[i]=newnode();
  for(int i=;i<=n;++i)
    for(int j=;j<=m;++j)dp[i][j]=false;
  dp[][]=true;add(,);
  for(int i=;i<=n;++i){
    if(i-l->=){
      for(int j=;j<=m;++j)
         if(dp[i-l-][j])del(j,a[i-l-]);
    }
    for(int j=;j<=m;++j){
      int tmp=query(j-,a[i]);
      if(tmp>=mid)add(j,a[i]),dp[i][j]=true;
    }
  }

  return dp[n][m];
}
int main(){
  scanf("%d",&T);
  while(T--){
    scanf("%d%d%d",&n,&m,&l);
    for(int i=;i<=n;++i)
      scanf("%d",&a[i]),a[i]^=a[i-];
    int l=,r=1e9+,ret;
    while(l<=r){
      int mid=(l+r)>>;
      if(check(mid))l=mid+,ret=mid;
      else r=mid-;
    }
    printf("Case #%d:\n%d\n",++cas,ret);
  }
  return ;
}