首先威佐夫博弈的内容是:有两堆石子,两个顶尖聪明的人在玩游戏,每次每个人可以从任意一堆石子中取任意多的石子或者从两堆石子中取同样多的石子,不能取得人输,分析谁会获得胜利。
第k个必败态 (a,a+k):a = (1+sqrt(5))/2*k,怎么判断当前是不是必败态呢,做差求出k然后判断就行了(这个定理证明需要beatty定理什么的,本科生搞不动,所以找规律)
利用坐标图:
先标出(0,0),然后划去所有(0,k),(k,0),(k,k)的格点;然后找y=x上方未被划去的格点,标出(1,2),然 后划去(1,k),(k,2),(1+k,2+k),同时标出对称点(2,1),划去(2,k),(1,k),(2+k,1+k);然后在未被划去的点中 在y=x上方再找出(3,5)。。。按照这样的方法做下去,如果只列出a<=b的必败态的话,前面的一些是(0,0),(1,2),(3,5), (4,7),(6,10),…即奇异局势。
要判断某种状态是不是必败态:
假设两堆石子为(x,y)(其中x<y) 那么先手必败,当且仅当 (y−x)∗(sqrt(5)+1)2=x;就行了
例题有:HDU1527
附上AC代码:
#include<iostream>
#include<math.h>
#include<algorithm>
using namespace std;
int main(){
int n,m;
while(cin>>n>>m){
int x=min(n,m),y=max(n,m);
int k=y-x;
if(x==(int)((sqrt(5)+1)/2*k))cout<<0<<endl;
else cout<<1<<endl;
}
return 0;
}