P4101 [HEOI2014]人人尽说江南好

最新推荐文章于 2022-01-26 15:10:48 发布

Loadingyyy

最新推荐文章于 2022-01-26 15:10:48 发布

阅读量267

点赞数 3

分类专栏：博弈论

本文链接：https://blog.csdn.net/qq_41741401/article/details/118917004

版权

博弈论

博弈论专栏收录该内容

1 篇文章 0 订阅

订阅专栏

P4101题解

第一次写博客，用的不太好~

看了好多大佬的题解，发现有的地方想不通，研究了一下，完善了证明过程。

题目描述 小 Z 是一个不折不扣的 ZRP（Zealot Round-game Player，回合制游戏狂热玩家），最近他想起了小时候在江南玩过的一个游戏。

在过去，人们是要边玩游戏边填词的，比如这首《菩萨蛮》就是当年韦庄在玩游戏时填的：人人尽说江南好，游人只合江南
老。

然而我们今天不太关心人们填的词是什么，我们只关心小 Z 那时玩过的游戏。游戏的规则是这样的，给定 N 堆石子，每堆石子一开始只有 1
个。小 Z 和他的小伙伴轮流操作，小 Z 先行操作。操作可以将任意两堆石子合并成为一堆，当谁不再能操作的时候，谁就输掉了。

不过，当一堆石子堆的太高时可能发生危险，因此小 Z 和他的小伙伴规定，任何时刻任意一堆石子的数量不能超过 m。即假如现在有两堆石子分别有
a 个和 b 个，而且 a+b>m，那么这两堆石子就不能合成一堆。

小 Z 和他的小伙伴都是很聪明的，所以他们总是会选择对自己最有利的策略。现在小 Z 想要知道，在这种情况下，对于一个给定的 n 和
m，到底是谁能够获得胜利呢？

输入格式 本题包括多组数据数据第一行为一个数 T，为数据组数以下 T 行，每行两个正整数 n,m

输出格式 输出 T 行，每行为 0 或 1，如果为 0 意为小 Z（即先手）会取得胜利，为 1 则为后手会取得胜利。

这种博弈的思路是：首先创造一种套路，然后证明所有情况都会倒向该套路，那么套路的目的就必然可以实现。

这道题的套路是：双方都尽量合成一个高的石头堆到m，再从1处理。这样的话总操作步数为：cnt=n/m∗(m−1)+（(n%m)?(n%m−1):0）

如果cnt为奇数，那么先手必胜；否则必败

如果先手知道自己只要遵循套路来就可以必胜，那么他就这样一直维持两人都在为只合成一个最大堆努力就行

当后手面对最高的堆为m-2时

后手向最大堆填一个，那么先手把m填满就行
后手把两个1凑成一个2，那么先手把这个2填到最高堆里就行

当后手面对最高的堆为m-1时

后手向最大堆填一个，那么符合套路
后手把两个1凑成一个2，那么先手再取一个1把m-1凑成m就行

首先，为什么只讨论m-1和m-2就行？

因为由上述可以看出来，后手最大只能造出来一个高度为2的堆，这样先手可选择的只有1和2

这时候我有了疑问，如果后手时，出现了除了堆好的m，只剩下 (m-1),1,1 那么先手会输，这种情况一定对应着先手必败吗？

下面我对这种情况进行一下数学论证：

出现上述情况，一定有：n=km+（m-1）+1+1（k $\in$ Z）
即 n=km+1

我们假设现在先手必胜，即 n/m*(m-1)+max(0,n%m-1) 为奇数，那就相当于k*（m-1）为奇数，也就是要求k和（m-1）都是奇数，也就是m为偶数。

通过观察发现，在堆第一个堆的时候，后手总是面对偶数的最高堆，如果m为奇数的话，后手就会永远面对为偶数的最高堆；但是当m为偶数时，后手面对的最高堆会转变，也就是说，在堆第一个m堆时，后手面对偶数堆，在第二个m堆时，后手面对奇数堆，以此类推，结论就是：当m为偶数时，第奇数个m堆，后手永远面对偶数的最高堆；第偶数个m堆，后手永远面对奇数的最高堆。

现在的假设是m为偶数，所以后手面对的奇偶堆会转变。我们之前想要证明的情况，是k个堆零一个，也就是说当时是在堆第k个石碓，也就是当时后手面对的一定是偶数堆，又因为m是偶数，所以后手不会面对 (m-1),1,1这个情况，也就证明了假设的成立，确实cnt为奇数的时候，先手必胜。

AC代码

#include <bits/stdc++.h>
/*#include <cstdio>
#include <algorithm>
#include <iostream>
#include <cmath>
#include <cstring>
#include <map>
#include <set>
#include <string>*/
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
#define ms(x, n) memset(x,n,sizeof(x));
#define pii pair<int,int>
const double pi=acos(-1.0);
const double eps=1e-8;
const int maxn=1e3+10;
const int mod=1e9+7;
const int inf=0x3f3f3f3f;
#define CC getchar()
template <typename T>
inline void read(T &s){
	 T t=1; char k=CC; s=0;
	for (;k<'0'||k>'9';k=CC) if (k=='-') t=-1;
	for (;k>='0'&&k<='9';k=CC) s=(s<<1)+(s<<3)+(k^48);
	s*=t;
}

int n,m;

int main()
{
	int T;
	scanf("%d",&T);
	while(T--)
	{
		scanf("%d%d",&n,&m);
		if((n/m*(m-1)+max(0,n%m-1))%2) puts("0");
		else puts("1");
	}
	return 0;
}