poj/pku 2425 A Chess Game（小试SG函数）

 超级传送门：

http://poj.org/problem?id=2425

 

题目大意：

有一个有N个顶点的有向无环图，顶点上有棋子，两个人，每次根据这个图移动任意一个棋子走一步

最后不能移动棋子的为Lose，问先手的玩家是否能获胜

 

题目分析：

根据大意，很容易看出来是博弈的题目，这次用了SG函数来求解，

SG函数大致简单的学习可以在百度百科有：http://baike.baidu.com/view/2855458.htm

重点 分解成子问题 和 求出子问题中每一个状态点的SG值！

 

对于一个给定的有向无环图，定义关于图的每个顶点的Sprague-Grundy函数g如下：g(x)=mex{ g(y) | y是x的后继 }

mex(minimal excludant)运算，这是施加于一个集合的运算，表示最小的不属于这个集合的非负整数。例如mex{0,1,2,4}=3、mex{2,3,5}=0、mex{}=0。

来看一下SG函数的性质。首先，所有的terminal position所对应的顶点，也就是没有出边的顶点，其SG值为0，因为它的后继集合是空集。然后对于一个g(x)=0的顶点x，它的所有后继y都满足 g(y)!=0。对于一个g(x)!=0的顶点，必定存在一个后继y满足g(y)=0。

其实细细想一下，这样的SG分析就有点像PN分析了！

 

这一题，图上有很多个点，每一个点在图上的SG值就是一个子问题，然后把每个子问题的SG值异或起来，就是问题的解

在网上学得求SG值的方法大致都是递归的方法

能求SG值以后其实代码很短：

#include<iostream>
#include<stack>
using namespace std;

int map[1010][1010];
int SG[1010];
int N;

//这是网上一个很好看的求SG值的办法
int DFS(int n) /* 典型求 SG 函数的办法 */
{
	int i;
    if(SG[n]!=-1) return SG[n];
    bool used[1010];
    memset(used,0,sizeof(used));
	for(i=0;i<N;i++)
    {
		if(map[n][i] != -1)
        used[DFS(i)]=true;
    }
    i=0;
    while(used[i]) i++;
    return SG[n]=i;
}


int main()
{
	int i,j,k,t;
	int X;
	int temp,ans;
	while(scanf("%d",&N) != EOF)
	{
		memset(map,255,sizeof(map));
		memset(SG,255,sizeof(SG));
		for(i=0;i<N;i++)
		{
			scanf("%d",&k);
			if(k == 0)
			{
				SG[i] = 0;
			}
			for(j=0;j<k;j++)
			{
				scanf("%d",&t);
				map[i][t] = 1;
			}
		}
		
		while(scanf("%d",&X) != EOF)
		{
			if(X == 0) break;
			ans = 0;
			for(i=0;i<X;i++)
			{
				scanf("%d",&temp);
				ans = ans ^DFS(temp);
			}
			if(ans != 0)
			{
				printf("WIN\n");
			}
			else
			{
				printf("LOSE\n");
			}
		}
	}
	return 0;
}