博弈论-Bash博弈

首先谈一下最简单的Bash博弈。Bash博弈是这样的：两个人，n个物品，每个人每次都可以取走1-m个物品，取走最后一个物品的人胜利。问先手在什么条件下必胜。

#include <bits/stdc++.h>
#define ll long long
#define inf 0x3f3f3f3f
#define fi first
#define se second
#define endl '\n'
#define IOS std::ios::sync_with_stdio(false),cin.tie(0), cout.tie(0)
using namespace std;

int read()
{
	int x=0;
	char c=getchar();
	while(c<'0'||c>'9') c=getchar();
	while(c>='0'&&c<='9') x=(x<<3)+(x<<1)+c-'0',c=getchar();
	return x;
}

void write(int x)
{
	if(x<0) putchar('-'),x=-x;
	if(x>9) write(x/10);
	putchar(x%10+'0');
	return;
}

const int N = 5e5 + 100;
const ll INF = 0x3f3f3f3f3f3f3f3f;


/**
Bash game:
(1)二人游戏
(2)n个物品
(3)每个人能够取走1-m个物品
(4)取走最后一个物品的取胜
(5)如果n%(m+1)==0，这个时候先手必败。否则先手必胜。
*/

int main()
{
	int t;
	t = read();
	while(t --)
	{
		int n, m;
		n = read(), m = read();
		if(n % (m + 1)) puts("first");
		else puts("second");
	}
	return 0;
}

Bash博弈先手必败的条件就是n%(m+1) == 0,我们来分析一下这个情况。
首先假设n=m+1，这个时候无论先手第一次拿多少个，由于剩下的物品数量一定是小于等于m的，所以后手一定可以一次拿完。所以这个时候先手必败。

如果n是m+1的倍数，其实也很简单的，因为无论先手一次拿多少个物品，后手总是可以做出这样的策略：拿的物品和先手加在一起恰好是m+1个，这样若干回合之后一定又会回到我们说的第一种情况，先手必败；

如果n不是m+1的倍数，先手一定可以将剩余物品数量变为m+1的倍数，又回到了上一种情况，后手最后会面对第一种情况，先手必胜。所以结论得证。