【算法】博弈论

最新推荐文章于 2024-08-14 11:57:07 发布

Tobbichi_Origami

最新推荐文章于 2024-08-14 11:57:07 发布

阅读量63

点赞数

分类专栏：算法学习文章标签：算法

本文链接：https://blog.csdn.net/gyk038/article/details/129049568

版权

算法学习专栏收录该内容

8 篇文章 0 订阅

订阅专栏

文章介绍了Nim游戏和S-Nim游戏的策略，重点在于先手是否必胜的判断。通过异或运算和SG函数，证明了当所有堆石子数量异或结果不等于0时，先手能将游戏状态转换为必败态，反之则必胜。对于S-Nim，引入了SG函数和mex运算，同样得出了类似结论。提供的C++代码示例用于判断游戏的胜负情况。

摘要由CSDN通过智能技术生成

以【模板】nim 游戏和【一本通提高博弈论】S-Nim为例。

Nim游戏

结论

如果

$a_{1}\oplus a_{2} \oplus a_{3}\oplus … \oplus a_{n}≠0$

那么先手必胜。否则，先手必败。

证明

我们考虑，如果在操作结束，什么也不能取的情况下，即：

$0\oplus 0 \oplus 0\oplus … \oplus 0 = 0$

如果最后结果为 $0$ 也就代表失败了。
如果在操作中，当前为 $a_{1}\oplus a_{2} \oplus a_{3}\oplus … \oplus a_{n}≠0=x$ ，那么一定有一种方法使原式等于 $0$ 。

根据异或的性质，二进制第 $k$ 为不同为 $1$ ，则 $x$ 的最高位的 $1$ 若在第 $k$ 位上，一定有至少有一个 $a_{i}$ 的第 $k$ 位为 $1$ 。

这时， $a_{i}\oplus x \le a_{i}$ ，可以从 $a_{i}$ 中取出 $a_{i}-(a_{i}\oplus x)$ 个石子（根据前文石子个数必大于 $0$ ），那么此时堆中石子个数就为 $a_{i}-[a_{i}-(a_{i}\oplus x)]=a_{i}\oplus x$ ，将其带入原式进行操作，即：

$a_{1}\oplus a_{2} \oplus a_{3}\oplus …\oplus a_{i} \oplus x\oplus… \oplus a_{n}=x\oplus x$

我们就可以得出，总有一种方法，是当前局面从不等于 $0$ 变为 $0$ 。
如果在操作中，当前为 $a_{1}\oplus a_{2} \oplus a_{3}\oplus … \oplus a_{n}=0$ ，那么无论进行任何操作，都不能使原式等于 $0$ 。

考虑反证：

设 $a_{i}'$ 为从任意一堆 $a_{i}$ 中取出若干个石子后的个数，满足 $0\le a_{i}'\le a_{i}$ 。

存在

$a_{1}\oplus a_{2} \oplus a_{3}\oplus …\oplus a_{i} \oplus … \oplus a_{n}=0$

$a_{1}\oplus a_{2} \oplus a_{3}\oplus …\oplus a_{i}' \oplus … \oplus a_{n}=0$

将两式相互异或，得

$a_{i}\oplus a_{i}'=0$

因为 $0\le a_{i}'< a_{i}$ ，所以此等式不成立。则无论进行任何操作，都不能使原式等于 $0$ 。

当还是初始状态时，如果不等于 $0$ ，先手一定可以将一个等于 $0$ 的式子推给对方；而后手因为无论如何操作都不能使其等于 $0$ ，所以必会将一个不等于 $0$ 的式子推回来。先手必胜。

如果等于 $0$ ，那先手无论如何操作都不能使其等于 $0$ ，所以必会将一个不等于 $0$ 的式子推给对方；而后手这时就可以将等于 $0$ 的式子推给我们。先手必败。

贴代码

#include<bits/stdc++.h>
using namespace std;
int main()
{
	int T;
	scanf("%d",&T);
	while(T--)
	{
		int n;
		scanf("%d",&n);
		int sum=0;
		for(int i=1;i<=n;i++)
		{
			int x;
			scanf("%d",&x);
			sum^=x;
		}
		if(!sum) puts("No");
		else puts("Yes");
	}
	return 0;
}

S-Nim

SG函数与mex运算

$m e x$ 运算是将一个不存在与集合中的最小非负整数。
我们可以将石子的数量变化转化成一张有向图的形式， $SG$ 函数就是将 $k$ 个状态 $y_{i}$ 的 $SG$ 函数值取 $m e x$ ，即：

$mex(\left \{ SG(y_{1}),SG(y_{2}),SG(y_{3})…SG(y_{k})\right \} )$

对于终点来说，因为无法再变化，所以为空集， $SG$ 函数值即为 $0$ 。

结论

如果

$SG(a_{1})\oplus SG(a_{2}) \oplus SG(a_{3})\oplus … \oplus SG(a_{n})≠0$

那么先手必胜。否则，先手必败。

证明

如果在操作中，当前为 $SG(a_{1})\oplus SG(a_{2}) \oplus SG(a_{3})\oplus … \oplus SG(a_{n})≠0=x$ ，那么一定有一种方法使原式等于 $0$ 。

根据异或的性质，两数二进制第 $k$ 为不同为 $1$ ，则 $x$ 的最高位的 $1$ 若在第 $k$ 位上，一定有至少有一个 $SG(a_{i})$ 的第 $k$ 位为 $1$ 。

这时， $SG(a_{i})\oplus x \le SG(a_{i})$ ，根据 $SG$ 函数定义，可以取到 $SG(a_{i})\oplus x$ 。可以从 $a_{i}$ 中取出 $SG(a_{i})-(SG(a_{i})\oplus x)$ 个石子（根据前文石子个数必大于 $0$ ），那么此时堆中石子个数就为 $SG(a_{i})-[SG(a_{i})-(SG(a_{i})\oplus x)]=a_{i}\oplus x$ ，将其带入原式进行操作，即：

$SG(a_{1})\oplus SG(a_{2}) \oplus SG(a_{3})\oplus …\oplus SG(a_{i})\oplus x\oplus… \oplus SG(a_{n})=x\oplus x$

我们就可以得出，总有一种方法，是当前局面从不等于 $0$ 变为 $0$ 。
如果在操作中，当前为 $SG(a_{1})\oplus SG(a_{2}) \oplus SG(a_{3})\oplus … \oplus SG(a_{n})=0$ ，那么无论进行任何操作，都不能使原式等于 $0$ 。

考虑反证：

设 $a_{i}'$ 为从任意一堆 $a_{i}$ 中取出若干个石子后的个数。

设 $SG(a_{i})$ 为 $k$ ，如果 $SG(a_{1})\oplus SG(a_{2}) \oplus SG(a_{3})\oplus …\oplus SG(a_{i}')\oplus… \oplus SG(a_{n})=0$ ，那么 $SG(a_{i}')$ 仍然为 $k$ ，根据 $SG$ 函数的基本性质， $SG(a_{i}')$ ，取不到 $k$ ，所以等式不成立，则无论进行任何操作，都不能使原式等于 $0$ 。

贴代码

#include<bits/stdc++.h>
using namespace std;
int s[101];
int SG[10001];
bool vis[10001];
int k,n,m;
void SG_init()
{
    for(int i=1;i<=10001;i++)
    {
        memset(vis,0,sizeof(vis));
        for(int j=1;j<=k;j++)
        {
            if(i<s[j]) break;
            vis[SG[i-s[j]]]=1;
        }
        int cnt=0;
        while(vis[cnt])
            cnt++;
        SG[i]=cnt;
    }
    return ;
}
int main()
{
    while(scanf("%d",&k)&&k)
    {
        for(int i=1;i<=k;i++) scanf("%d",&s[i]);
        sort(s+1,s+k+1);
        SG_init();
        scanf("%d",&m);
        while(m--)
        {
            int sum=0;
            scanf("%d",&n);
            for(int i=1;i<=n;i++)
            {
                int x;
                scanf("%d",&x);
                sum^=SG[x];
            }
            if(sum) putchar('W');
            else putchar('L');
        }
        puts("");
    }
    return 0;
}