hdu5715 XOR 游戏 [2016百度之星复赛D题]

　  比赛的时候没仔细想，赛后一想这题其实挺简单的，先求出序列的异或前缀和，然后将异或前缀和建出一颗trie树，然后我们可以二分答案，把问题变成判定性问题，判定是否存在一种方案，使得所有的分组的异或和都大于等于这个二分的答案，然后就可以dp了，用f[i][j]表示到j为止能不能分成i组，f[i][j]=f[i-1][j-k]|f[i-1][j-k+1]...|f[i-1][j-1],这个东西用trie树维护一下就可以了。单组数据复杂度O(nmlogn^2)

　　代码

 #include<cstdio>
 const int N = ;
 int num[N],Num[N],trie[N][],tt,sum[N];
 int n,m,l,r,i,k,j,a[N],mid;
 int flag[][N];
 void add(int x,int y)
 {
     int i;
     for (i=;i<=;i++)
     num[i]=x&,x>>=;
     int t=;
     for (i=;i>=;i--)
     {
         if (trie[t][num[i]]==) trie[t][num[i]]=++tt;
         t=trie[t][num[i]];
         sum[t]+=y;
     }
 }
 int find(int x,int y)
 {
     int i;
     for (i=;i<=;i++)
     {
         num[i]=x&,x>>=;
         Num[i]=y&,y>>=;
     }
     int t=;
     for (i=;i>=;i--)
     {
         if (Num[i]==)
         {
             if (!sum[trie[t][-num[i]]]) return ;
             else t=trie[t][-num[i]];
         }
         else
         {
             if (sum[trie[t][-num[i]]]) return ;
             else if (!sum[trie[t][num[i]]]) return ;
             else t=trie[t][num[i]];
         }
     }
     return ;
 }
 int check(int x)
 {
     int i,j;
     for (i=;i<=m;i++)
     for (j=;j<=n;j++)
     flag[i][j]=;
     flag[][]=;
     for (i=;i<=m;i++)
     {
         for (j=;j<=tt;j++) sum[j]=;
         for (j=;j<=n;j++)
         {
             if (j-k->=)
             if (flag[i-][j-k-]) add(a[j-k-],-);
             flag[i][j]=find(a[j],x);
             if (flag[i-][j]) add(a[j],);
         }
     }
     return flag[m][n];
 }
 int main()
 {
     int test;
     scanf("%d",&test);
     for (int ii=;ii<=test;ii++)
     {
     for (i=;i<=tt;i++)
     trie[i][]=trie[i][]=;
     tt=;
     scanf("%d%d%d",&n,&m,&k);
     for (i=;i<=n;i++)
     {
         scanf("%d",&a[i]);
         a[i]^=a[i-];
     }
     for (i=;i<=n;i++)
     add(a[i],);
     l=;r=;
     while (l<=r)
     {
         mid=(l+r)>>;
         if (check(mid)) l=mid+;else r=mid-;
     }
     printf("Case #%d:\n",ii);
     printf("%d\n",r);
     }
 }