题目描述:取石子游戏
有两堆石子,石子数可以不同。两人轮流取石子,每次可以在一堆中取,或者从两堆中取走相同个数的石子,数量不限,取走最后一个石头的人获胜。判定先手是否必胜。
引入(1+5^(1/2))/2,曾经可能是有一次高考考到的“维纳斯”利用的是黄金分割0.618,我想很多人应该也不陌生了,黄金分割数是一个无理数,其值为(1+5^(1/2))/2。
记得上一次在程序中体现这两个数,还是在推导出斐波那契数列的通项公式以后学会的O(1)算法(请看下文):
斐波那契数列O(1)算法
而这题则是威佐夫博弈,其结论如下(推理实在是太麻烦,废了好大劲才搞懂,当时全国数学竞赛学了Beatty定理,也算是排上用场,但是还是很难表述):
假设这两堆的数量分别为a,b(a<b),则:
若(b-a)*(1+5^(1/2))=a,先手必败;否则先手必胜。
代码如下:
#include<bits/stdc++.h>
using namespace std;
#define Swap(a,b){int temp=a;a=b;b=temp;}
int main(){
int a,b;cin>>a>>b;
if(a>b)Swap(a,b);
int ans=(b-a)*((1.0+sqrt(5))/2.0);
if(ans==a)cout<<"先手必败"<<endl;
else cout<<"先手必胜"<<endl;
}