BZOJ1188:[HNOI2007]分裂游戏(博弈论)
Description
聪聪和睿睿最近迷上了一款叫做分裂的游戏。该游戏的规则试：共有n个瓶子，标号为0,1,2.....n-1,第i个瓶子中装有p[i]颗巧克力豆，两个人轮流取豆子，每一轮每人选择3个瓶子。
标号为i,j,k,并要保证i<j,j<=k且第i个瓶子中至少要有1颗巧克力豆，随后这个人从第i个瓶子中拿走一颗豆子并在j,k中各放入一粒豆子（j可能等于k）。
如果轮到某人而他无法按规则取豆子，那么他将输掉比赛。胜利者可以拿走所有的巧克力豆！
两人最后决定由聪聪先取豆子，为了能够得到最终的巧克力豆，聪聪自然希望赢得比赛。
他思考了一下，发现在有的情况下，先拿的人一定有办法取胜，但是他不知道对于其他情况是否有必胜策略，更不知道第一步该如何取。
他决定偷偷请教聪明的你，希望你能告诉他，在给定每个瓶子中的最初豆子数后是否能让自己得到所有巧克力豆，他还希望你告诉他第一步该如何取，并且为了必胜，第一步有多少种取法？
假定 1 < n < = 21,p[i] < = 10000
Input
输入文件第一行是一个整数t表示测试数据的组数，
接下来为t组测试数据（t<=10）。
每组测试数据的第一行是瓶子的个数n，
接下来的一行有n个由空格隔开的非负整数，表示每个瓶子中的豆子数。
Output
对于每组测试数据，输出包括两行，
第一行为用一个空格两两隔开的三个整数，表示要想赢得游戏，
第一步应该选取的3个瓶子的编号i,j,k，
如果有多组符合要求的解，那么输出字典序最小的一组。
如果无论如何都无法赢得游戏，那么输出用一个空格两两隔开的三个-1。
第二行表示要想确保赢得比赛，第一步有多少种不同的取法。
Sample Input
2
4
1 0 1 5000
3
0 0 1
4
1 0 1 5000
3
0 0 1
Sample Output
0 2 3
1
-1 -1 -1
0
1
-1 -1 -1
0
Solution
首先可以发现，若一个位置豆子是偶数，且先手取了这个位置，显然后手可以通过进行和先手相同的操作来抵消这一步。
所以就可以把每个位置的豆子数$mod~2$，并将他们看成一个单独的游戏，同时记搜一下这个游戏的$SG$值。
虽然把每个豆子看成单独的游戏，但显然他们的$SG$值是可以共用的。
记忆化搜索每个豆子的$SG$值，当前是第$i$个位置的话显然有多种后继状态，每一种的$SG$值是$SG[j]~xor~SG[k]$。因为当前第$i$个位置的后继状态可以看做是$j$和$k$两个子局面的$SG$值异或得到总局面$SG$值。
输出方案就枚举三个位置$i,j,k$，如果全局异或值$ ~xor~ SG[i] ~xor~ SG[j] ~xor~ SG[k]=0$，那么说明先手取完这三个位置之后后手就必输了。
Code
1 #include<iostream> 2 #include<cstring> 3 #include<cstdio> 4 #define N (30009) 5 using namespace std; 6 7 int T,n,ans,tot,a[N],SG[N],vis[N]; 8 9 int DFS(int x) 10 { 11 if (SG[x]!=-1) return SG[x]; 12 for (int i=x+1; i<=n; ++i) 13 for (int j=i; j<=n; ++j) 14 vis[DFS(i)^DFS(j)]=x; 15 int p=0; 16 while (vis[p]==x) p++; 17 return SG[x]=p; 18 } 19 20 int main() 21 { 22 scanf("%d",&T); 23 while (T--) 24 { 25 memset(SG,-1,sizeof(SG)); 26 memset(vis,0,sizeof(vis)); 27 ans=0; tot=0; 28 scanf("%d",&n); 29 for (int i=1; i<=n; ++i) 30 scanf("%d",&a[i]); 31 for (int i=1; i<=n; ++i) DFS(i); 32 for (int i=1; i<=n; ++i) 33 if (a[i]&1) ans^=SG[i]; 34 for (int i=1; i<=n; ++i) 35 for (int j=i+1; j<=n; ++j) 36 for (int k=j; k<=n; ++k) 37 if ((ans^SG[i]^SG[j]^SG[k])==0) 38 { 39 if (!tot) printf("%d %d %d\n",i-1,j-1,k-1); 40 ++tot; 41 } 42 if (!tot) puts("-1 -1 -1"); 43 printf("%d\n",tot); 44 } 45 }
