清空/分割游戏也叫做Ferguson博弈。
进行游戏需要用到两个盒子,在游戏的开始,第一个盒子中有n枚石子,第二个盒子中有m个石子(n, m > 0)。参与游戏的
两名玩家轮流执行这样的操作:清空一个盒子中的石子,然后从另一个盒子中拿若干石子到被清空的盒子中,使得最后两个
盒子都不空。当两个盒子中都只有一枚石子时,游戏结束。最后成功执行操作的玩家获胜。找出游戏中所有的P位置。
结论:对于一个位置(x, y)来说,如果x, y中有一个偶数,那么(x, y)是N(必胜)位置。如果x和y都是奇数,那么
(x, y)是P位置(必败),可以用数学归纳法证明。
证明:
证明结论:(x,y)至少一偶时,先手胜;都为奇时,先手败
证明:
(x,y)=(1,1)时是先手必败态,下对max(x,y)>1进行归纳
1、当max(x,y)=2时,即(x,y)=(1,2)或(2,1)或(2,2),先手留下一个2分为(1,1),先手获胜。
即当max(x,y)=2时结论成立。
2、假设max(x,y)<k时结论都成立,现证max(x,y)=k时结论成立。
若(x,y)中有一个偶数(设为a),先手将另一个清空,把偶数a分为两个奇数b和c,由于b、c<a 小于等于 k,即
max(b,c)<k,由假设,在(b,c)位置上后手作为新先手必败,故先手胜。
若(x,y)都为奇数,先手只能保留一个奇数并将其分解为一奇a一偶b,由于max(a,b)<max(x,y)=k,由假设,在(a,b)位
置上后手作为新先手必胜,故先手败。
经典题目:http://acm.hdu.edu.cn/showproblem.php?pid=2147
题目:http://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=3714
题意:本题与清空/分割游戏不同的是,每次清空球较少的那个盒子,而清空/分割游戏是清空任意一个盒子,不管球的个数多少,其它条
件都相同。
分析:本题就是找规律,可以发现就是判断n+1是否是2的整数次幂,那么用(n & ( n + 1 )) == 0来判断就行了。
暴力程序:
#include <iostream>
#include <string.h>
#include <stdio.h>
using namespace std;
const int N = 105;
bool dp[N][N];
bool vis[N][N];
bool dfs(int n,int m)
{
if(n == 1 && m == 1) return 0;
if(vis[n][m]) return dp[n][m];
for(int i=1; i<=n/2; i++)
{
dp[n-i][i] = dfs(n-i,i);
vis[n-i][i] = 1;
}
for(int i=1; i<=n/2; i++)
if(!dp[n-i][i]) return 1;
return 0;
}
int main()
{
memset(dp,0,sizeof(dp));
memset(vis,0,sizeof(vis));
for(int i=1;i<65;i++)
cout<<dfs(i,1)<<" ";
cout<<endl;
return 0;
}
结论:如果(n & (n + 1)) == 0,那么先手败,否则先手胜。
#include <iostream>
#include <string.h>
#include <stdio.h>
using namespace std;
int main()
{
int n;
while(cin>>n)
{
if(n == 0) break;
if((n & (n + 1)) == 0) puts("Bob");
else puts("Alice");
}
return 0;
}