传送门:移棋子游戏
思路:按照sg函数定义,在这道题里面,不能移动的状态就是终点态,sg值设为0,其余所有的点的sg函数值就是属于其所有后继节点的sg函数值组成的集合里面非集合元素的最小的一个数字,也就是只要该点的后继局面不存在终局,这个点的sg函数就是0,存在的话就非0.
对于一个棋子的游戏来说,只要该棋子的sg函数值不是0,那么先手必胜,因为终局的局面就是一个sg函数为0的局面,走最优路线永远可以把终局的局面留给后手。
对于多个棋子的游戏来说,只要所有棋子的sg函数值异或和不为0,那么就一定是一个必胜局面,
因为终局的sg函数异或和就是0,当前的局面异或和不为0是一定可以通过某一步棋子的移动将异或值变成0的,这里是类似于Nim取石子游戏的原理,假如当前x的最高位1是第k位,那么一定有一个棋子的sg函数值第k位是1,现在就要将异或值变成0就是要将棋子i的sg(i)变成sg(i)^x,经过过Nim游戏的证明,这个是可行的,并且棋子的后继局面中也一定是有一个局面满足这个要求的。
代码:
#include<iostream>
#include<algorithm>
#include<cstring>
#include<unordered_set>
using namespace std;
const int N=2e3+10,M=6e3+100;
typedef long long ll;
int n,m,k;
int e[M],h[N],ne[M],idx;
int f[N];
void add(int a,int b)
{
e[idx]=b,ne[idx]=h[a],h[a]=idx++;
}
int sg(int u)
{
if(f[u]!=-1) return f[u];
unordered_set<int>s;
for(int i=h[u];~i;i=ne[i])
{
int j=e[i];
s.insert(sg(j));
}
for(int i=0;;i++)
if(!s.count(i))
{
f[u]=i;
return i;
}
}
int main()
{
memset(h,-1,sizeof h);
scanf("%d%d%d",&n,&m,&k);
for(int i=1;i<=m;i++)
{
int a,b;
scanf("%d%d",&a,&b);
add(a,b);
}
memset(f,-1,sizeof f);
int x;
int res=0;
for(int i=1;i<=k;i++)
{
scanf("%d",&x);
res^=sg(x);
}
if(res) puts("win");
else puts("lose");
return 0;
}
思路:
这里要用到sg函数,首先确定一个终局的局面1*x,不过与一般的终局局面不同,这是一个必胜局面,走最优方案的话先手和后手都不会选择剪出这个局面,现在往上再推一层才是符合sg函数的必败局面,有(2,2),(2,3),(3,2)这三个局面不管怎么减都一定会在两个部分中出现一个1*x,那么这时候就输定了,记这三个局面的sg函数值为0。
除了终局局面的任意一个局面都可以到达多个局面的,如果后继局面中存在终局局面那么当前局面对于先手来说就是一个必胜局面,后继局面存在终局局面的定义是后句局面中存在减完一次之后得到的两个局面是上面三个中的任意两个,这时候就是sg()^sg()为0。
代码:
#include<iostream>
#include<algorithm>
#include<cstring>
#include<unordered_set>
using namespace std;
const int N=110,M=1e4+10;
typedef long long ll;
int n,m;
int f[210][210];
int sg(int a,int b)
{
if(f[a][b]!=-1) return f[a][b];
unordered_set<int>s;
for(int i=2;i<=a-2;i++)
{
s.insert(sg(i,b)^sg(a-i,b));
}
for(int i=2;i<=b-2;i++)
{
s.insert(sg(a,i)^sg(a,b-i));
}
//上面两面两个循环已经把(2,2)(2,3),(3,2)排除在外了,他们三个下面的值一定是0
for(int i=0;;i++)
if(!s.count(i))
{
f[a][b]=i;
f[b][a]=i;
return i;
}
}
int main()
{
int n,m;
memset(f,-1,sizeof f);
while(scanf("%d%d",&n,&m)!=EOF)
{
if(sg(n,m)!=0) puts("WIN");
else puts("LOSE");
}
return 0;
}