巴氏博弈(bash)
背景
假设两人拿n块石头,一次最多m块,拿走最后一块胜。两人都选择最佳策略,问赢家
证明
引入概念
必胜点:一步能走到必败点
必败点:只能走到必胜点
最终点为必败点(如:n块石头全部被拿走时,为必败)
1.m>=n
易得先手必胜
2.m<n
设t为剩余石头
t=0 为必败点
1<=t<=m 为必胜点(一次可到必败态t=0)
t=m+1 为必败点(一次操作,只能令1<=t<=m)
m+2<=t<=2m+1 必胜点
t=2(m+1) 必败点
。。。。。。。。。。。
接下来用数学归纳法证明t=k(m+1)为必败点
已知 (m+1)为必败点
假设k(m+1)为必败点
当t=(k+1)(m+1)时,先手后 k(m+1)+1<=t<=k(m+1)+m
后手必可令t=k(m+1)处于必败点,故(k+1)(m+1)为必败点
证明 k(m+1)+1<=t<=k(m+1)+m为必胜点
可经一次操作,使t=k(m+1)必败点,故k(m+1)+1<=t<=k(m+1)+m为必胜点
应用
1.HDOJ 1846 地址:http://acm.hdu.edu.cn/showproblem.php?pid=1846
Problem Description
十年前读大学的时候,中国每年都要从国外引进一些电影大片,其中有一部电影就叫《勇敢者的游戏》(英文名称:Zathura),一直到现在,我依然对于电影中的部分电脑特技印象深刻。
今天,大家选择上机考试,就是一种勇敢(brave)的选择;这个短学期,我们讲的是博弈(game)专题;所以,大家现在玩的也是“勇敢者的游戏”,这也是我命名这个题目的原因。
当然,除了“勇敢”,我还希望看到“诚信”,无论考试成绩如何,希望看到的都是一个真实的结果,我也相信大家一定能做到的~
各位勇敢者要玩的第一个游戏是什么呢?很简单,它是这样定义的:
1、 本游戏是一个二人游戏;
2、 有一堆石子一共有n个;
3、 两人轮流进行;
4、 每走一步可以取走1…m个石子;
5、 最先取光石子的一方为胜;
如果游戏的双方使用的都是最优策略,请输出哪个人能赢。
Input
输入数据首先包含一个正整数C(C<=100),表示有C组测试数据。
每组测试数据占一行,包含两个整数n和m(1<=n,m<=1000),n和m的含义见题目描述。
Output
如果先走的人能赢,请输出“first”,否则请输出“second”,每个实例的输出占一行。
Sample Input
2
23 2
4 3
Sample Outputfirst
first
second
#include <bits/stdc++.h>
using namespace std;
int main()
{
int c,n,m;
cin>>c;
while(c--)
{
cin>>n>>m;
if(n%(m+1)) cout<<"first"<<endl;
else cout<<"second"<<endl;
}
}