博弈论略解_hex博弈-CSDN博客

本文链接：https://blog.csdn.net/YangHao5/article/details/88972326

博弈论

我们把动物利用大自然移动的瘾魂，在决策人期待的空间里，形成三维均衡的语文学理论，称为博弈论。博弈论是二人在平等的对局中各自利用对方的策略变换自己的对抗策略，达到取胜的目的。

题目描述 $\text{loj10241}$

有一种有趣的游戏，玩法如下：

玩家：人；
道具： $N$ 颗石子；
规则：游戏双方轮流取石子；每人每次取走若干颗石子（最少取 $1$ 颗，最多取 $K$ 颗）；石子取光，则游戏结束；最后取石子的一方为胜。
假如参与游戏的玩家都非常聪明，问最后谁会获胜？

输入格式

输入仅一行，两个整数 $N$ 和 $K$ 。

输出格式

输出仅一行，一个整数，若先手获胜输出 $1$ ，后手获胜输出 $2$ 。

样例输入

23 3

样例输出

数据范围与提示

对于全部数据， $1\leq K\leq N\leq 10^5$ 。

$\text{Solution 10241}$

依题意得，在石子足量时，每次可以取的数量为集合
$A=\{1,2,3,...,K-2,K-1,K\}$ 中的任一元素。不难发现，首末第 $1$ 对数之和、首末第 $2$ 对数之和、 $\cdot \cdot \cdot$ ，它们的值都相等且都等于 $K + 1$ 。所以，对于后手玩家取的石头数，先手玩家总有一种取法使先后手玩家一回合内取的石头总和为 $K + 1$ 。
所以，第一回合先手只需要将石头取至 $K + 1$ 的倍数，就一定能取到最后一颗石头。

#include<cstdio>
#include<cstdlib>
#include<cstring>

#define reg register

int n,k;

int main(){
	scanf("%d%d",&n,&k);
	printf((n%(k+1))?"1":"2");
}

题目描述 $\text{loj10242}$

有一种有趣的游戏，玩法如下：

玩家：人；
道具： $N$ 堆石子，每堆石子的数量分别为 $X_1,X_2,···,X_n$ ；
规则：

游戏双方轮流取石子；
每人每次选一堆石子，并从中取走若干颗石子（至少取 $1$ 颗）；
所有石子被取完，则游戏结束；
如果轮到某人取时已没有石子可取，那此人算负。

假如两个游戏玩家都非常聪明，问谁胜谁负？

输入格式

第一行，一个整数 $N$ ；
第二行， $N$ 个空格间隔的整数 $X_i$ ，表示每一堆石子的颗数。
输出格式
输出仅一行，一个整数，若先手获胜输出 win，后手获胜输出 lose。

样例输入

4
7 12 9 15

样例输出

win

数据范围与提示

对于全部数据， $N\leq5\times10^4,1\leq X_i\leq10^5$ 。

$\text{Solution 10242}$

为记述简便，我们用 ${X_i\})$ 表示剩余石头状态。
先考虑只有 $2$ 组石头的情况，容易得到

状态	$(0, 0)$	$(1, 0)$	$(1, 1)$	$(2, 1)$	$(2, 2)$
先手	负	胜	负	胜	负

也就是说，当两堆石头数量一样时，先手必胜；否则后手必胜。
证明： $(k,k)\ (k>0)$ 时，先手取 $k$ 颗石头时，后手在另一堆中也取 $k$ 颗石头，此时两堆石头数量相等。所以，当先手有石头可取时，后手一定有石头可取，所以后手必胜。 $\text{Q.E.D..}$

一般地，我们把满足

有两名选手；
两名选手交替对游戏进行移动，每走一步，选手可以在（一般而言）有限的合法移动集合中任选一种进行移动；
对于游戏的任何一种可能的局面，合法的移动集合只取决于这个局面本身，不取决于轮到哪名选手操作、以前的任何操作、骰子的点数或者其它什么因素；
如果轮到某名选手移动，且这个局面的合法的移动集合为空（也就是说此时无法进行移动），则这名选手负。

的模型叫做公平组合游戏。

如果一状态下先手玩家无法获胜，则称该状态为必败态；类似地，如果一状态下先手玩家可以使后手玩家无法获胜，则称该状态为必胜态。

根据定义，我们有：

若一状态下，当前玩家无合法移动方案（即：合法方案集为空），则该状态是必败态；
若一状态是必败态，则它在当前玩家一合法移动后变成必胜态；
若一状态是必胜态，则它在当前玩家一合法移动后变成必败态。

回到刚刚的问题。那如果有 $3$ 堆或更多石头呢？显然我们不能继续枚举下去，我们需要一条适用范围更广的结论。

对于 ${X_i\})$ ，若
$X_1\oplus X_2\oplus···\oplus X_n=0$ 则该状态为必败态，其中 $\oplus$ 表示异或。
证明： 根据定义，当前状态为必败态需满足以下其中一条：

合法方案集为空；
一合法移动后得到的所有状态均为必胜态；
该状态由必胜态得到。

满足情况1的充要条件是
$X_1=X_2=···=X_n=0$ 此时结论显然成立。

情况2：对于一状态 ${X_i\})$ ，若 $X_1\oplus X_2\oplus···\oplus X_n\neq0$ ，则一定存在一个合法方案：将 $X_i$ 变成 $X'_i$ ，使 $X_1\oplus X_2\oplus···\oplus X_{i-1}\oplus X'_i\oplus X_{i+1}\oplus ···\oplus X_n=0$ 。不妨设 $X$ 的异或和为 $k$ ，找出二进制下，在 $k$ 的有效最高位为 $1$ 的 $X_i$ ，改变 $X_i$ 使 $k = 0$ 即可。

情况3：由于满足 $a\oplus c=b\oplus c，\ a,b,c\in \Z$ 的充要条件是 $a = b$ ，所以当一状态为必胜态时， $k = 0$ ，一定不存在合法方案使 $k^{'} = 0$ 。换句话说，当 $a\neq b$ 时，它们异或一个相同的数的值一定不等，所以 $k'\neq0$ 。 $\text{Q.E.D..}$

#include<cstdio>
#include<cstdlib>
#include<cstring>

#define reg register

int n,a,ans=0;

int main(){
	scanf("%d",&n);
	for(reg int i=1;i<=n;++i){
		scanf("%d",&a);
		ans^=a;
	}
	puts(ans?"win":"lose");
}

题目描述 $\text{loj10243}$

给定一个有 $N$ 个节点的有向无环图，图中某些节点上有棋子，两名玩家交替移动棋子。
玩家每一步可将任意一颗棋子沿一条有向边移动到另一个点，无法移动者输掉游戏。
对于给定的图和棋子初始位置，双方都会采取最优的行动，询问先手必胜还是先手必败。

输入格式

第一行，三个整数 $N, M, K$ ， $N$ 表示图中节点总数， $M$ 表示图中边的条数， $K$ 表示棋子的个数。
接下来 $M$ 行，每行两个整数 $X, Y$ 表示有一条边从 $X$ 出发指向 $Y$ 。
接下来一行， $K$ 个空格间隔的整数，表示初始时，棋子所在的节点编号。

输出格式

若先手胜，输出 win，否则输出 lose。

样例输入

样例输出

win

数据范围与提示

对于全部数据， $N\leq2000,M\leq6000,1\leq K\leq N$ 。

$\text{Solution 10243}$

对于出度为 $0$ 的点，它们的 $s g$ 值为 $0$ ；对于出度不为 $0$ 的点，它们的后继状态就是它们的儿子节点的 $s g$ 值。

#include<cstdio>
#include<cstdlib>
#include<cstring>

#define reg register

struct node{
	int x,y,next;
}e[6010];
int len=0;
int n,m,k;
int s1,s2;
bool lf[2010];
int sg[2010];
int first[2010];
int ans=0,a;
bool vis[2010];

void ins(int x,int y){
	e[++len].x=x;e[len].y=y;lf[x]=0;
	e[len].next=first[x];first[x]=len;
}
int dfs(int x){
	if(lf[x]) return 0;
	if(vis[x]) return sg[x];
	vis[x]=1;
	bool bk[2010]={0};
	for(reg int i=first[x];i;i=e[i].next){
		int y=e[i].y;
		sg[y]=dfs(y);
		bk[sg[y]]=1;
	}
	for(reg int i=0;i<=n+10;++i)
		if(!bk[i]) return i;
}
int main(){
	memset(lf,1,sizeof(lf));
	scanf("%d%d%d",&n,&m,&k);
	for(reg int i=1;i<=m;++i){
		scanf("%d%d",&s1,&s2);
		ins(s1,s2);
	}
	for(reg int i=1;i<=n;++i)
		sg[i]=dfs(i);
	for(reg int i=1;i<=k;++i){
		scanf("%d",&a);
		ans^=sg[a];
	}
	puts(ans?"win":"lose");
}

题目描述 $\text{loj10244}$

原题来自：BeiJing 2009 WC

小 H 和小 Z 正在玩一个取石子游戏。取石子游戏的规则是这样的，每个人每次可以从一堆石子中取出若干个石子，每次取石子的个数有限制，谁不能取石子时就会输掉游戏。小 H 先进行操作，他想问你他是否有必胜策略，如果有，第一步如何取石子。

输入格式

第一行为石子的堆数 $N$ 。
接下来 $N$ 行，每行一个数 $A_i$ ，表示每堆石子的个数，接下来一行为每次取石子个数的种类数。
接下来 $M$ 行，每行一个数 $B_i$ ，表示每次可以取的石子个数，输入保证这 $M$ 个数按照递增顺序排列。

输出格式

第一行为 YES 或者 NO，表示小 H 是否有必胜策略。
若结果为 YES，则第二行包含两个数，第一个数表示从哪堆石子取，第二个数表示取多少个石子，若有多种答案，取第一个数最小的答案，若仍有多种答案，取第二个数最小的答案。

输入样例

输出样例

YES
1 1

数据范围与提示

对于全部数据， $N,M\leq 10,A_i\leq 1000,B_i\leq 10$ 。

$\text{Solution 10244}$

考虑函数
$sg_i=\text{mhx}\{i-B_j\}\ (\forall i\geq B_j)$ 其中 $\text{mhx}\{A\}$ 表示不被 $A$ 包含的最小非负整数。

那么，当 $sg_{a_i}$ 的异或和 $k$ 为 $0$ 时，先手必败；否则先手必胜。若 $\in [1,N],j\in [1,M]$ 使 $\oplus sg_{a_i} \oplus sg_{a_i-b_j}=0$ 且 $a_i\geq b_j$ ，那么第一步就在第 $i$ 堆中取出 $b_j$ 个石头。

#include<cstdio>
#include<cstdlib>
#include<cstring>

#define reg register

int n,m;
int a[20],b[20];
bool bucket[1010];
int ans=0;
int sg[1010];
int k=-1;

int main(){
	scanf("%d",&n);
	for(reg int i=1;i<=n;++i)
		scanf("%d",&a[i]);
	scanf("%d",&m);
	for(reg int i=1;i<=m;++i)
		scanf("%d",&b[i]);
	for(reg int i=1;i<=1000;++i){
		memset(bucket,0,sizeof(bucket));
		for(reg int j=1;j<=m;++j){
			if(i<b[j]) break;
			bucket[sg[i-b[j]]]=1;
		}
		for(reg int j=0;j<=1000;++j)
			if(!bucket[j]){
				sg[i]=j;
				break;
			}
	}
	for(reg int i=1;i<=n;++i)
		ans^=sg[a[i]];
	puts(ans?"YES":"NO");
	if(!ans) exit(0);
	for(reg int i=1;i<=n;++i)
		for(reg int j=1;j<=m;++j){
			if(a[i]-b[j]<0) break;
			if((ans^sg[a[i]]^sg[a[i]-b[j]])==0){
				printf("%d %d\n",i,b[j]);
				exit(0);
			}
		}
}

题目描述 $\text{loj10245}$

原题来自：BZOJ 1299
TBL 和 X 用巧克力棒玩游戏。每次一人可以从盒子里取出若干条巧克力棒，或是将一根取出的巧克力棒吃掉正整数长度。TBL 先手两人轮流，无法操作的人输。他们以最佳策略一共进行了 $10$ 轮（每次一盒）。你能预测胜负吗？

输入格式

输入数据共 $20$ 行。第 $2 i - 1$ 行一个正整数，表示第 $N_i$ 轮巧克力棒的数目。第 $2 i$ 行 $N$ 个正整数 $L_{i,j}$ ，表示第 $i$ 轮巧克力棒的长度。

输出格式

输出数据共 $10$ 行。每行输出 YES 或 NO，表示 TBL 是否会赢。如果胜则输出 NO，否则输出 YES。

样例输入

3
11 10 15 
5
13 6 7 15 3 
2
15 12 
3
9 7 4 
2
15 12 
4
15 12 11 15 
3
2 14 15 
3
3 16 6 
4
1 4 10 3 
5
8 7 7 5 12

样例输出

YES
NO
YES
YES
YES
NO
YES
YES
YES
NO

数据范围与提示

对于全部数据， $N\leq 14,L\leq10^9$ 。

$\text{Solution 10245}$

对于一个合法移动，可以是

从盒中取巧克力棒；
吃取出的巧克力棒。

中的一种。对于一个状态，若盒中的状态是必胜态，盒外是必败态；或盒中的状态是必败态，盒外是必胜态；则该状态是必胜态。尝试把所有巧克力棒分成两堆，使一堆的异或和为 $0$ ，另一堆不为 $0$ 即可。

#include<cstdio>
#include<cstdlib>
#include<cstring>

#define reg register

int n;
int a[20];
bool tf;

void dfs(int x,int nd,int w){
	if(x==n+1){
		if(!w&&nd)
			tf=1;
		return;
	}
	dfs(x+1,nd+1,w^a[x]);
	if(tf) return;
	dfs(x+1,nd,w);
}
int main(){
	for(reg int t=1;t<=10;++t){
		scanf("%d",&n);
		for(reg int i=1;i<=n;++i)
			scanf("%d",&a[i]);
		tf=0;dfs(1,0,0);
		puts(!tf?"YES":"NO");
	}
}