BZOJ1188:[HNOI2007]分裂游戏(博弈论)

时间:2022-09-09 13:45:32

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

Sample Output

0 2 3
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

 #include<iostream>
#include<cstring>
#include<cstdio>
#define N (30009)
using namespace std; int T,n,ans,tot,a[N],SG[N],vis[N]; int DFS(int x)
{
if (SG[x]!=-) return SG[x];
for (int i=x+; i<=n; ++i)
for (int j=i; j<=n; ++j)
vis[DFS(i)^DFS(j)]=x;
int p=;
while (vis[p]==x) p++;
return SG[x]=p;
} int main()
{
scanf("%d",&T);
while (T--)
{
memset(SG,-,sizeof(SG));
memset(vis,,sizeof(vis));
ans=; tot=;
scanf("%d",&n);
for (int i=; i<=n; ++i)
scanf("%d",&a[i]);
for (int i=; i<=n; ++i) DFS(i);
for (int i=; i<=n; ++i)
if (a[i]&) ans^=SG[i];
for (int i=; i<=n; ++i)
for (int j=i+; j<=n; ++j)
for (int k=j; k<=n; ++k)
if ((ans^SG[i]^SG[j]^SG[k])==)
{
if (!tot) printf("%d %d %d\n",i-,j-,k-);
++tot;
}
if (!tot) puts("-1 -1 -1");
printf("%d\n",tot);
}
}