博弈论——Life Winner Bo ( HDU 5754 )

• 题目链接：
  http://acm.hdu.edu.cn/showproblem.php?pid=5754

• 分析：
  给出国际象棋中四种棋子：王，后，车，马；按照国际象棋中的走法，从(1, 1)走到(N, M)点，B先走，G后走，谁赢输出谁的名字，平局输出D。

• 题解：
  直接画图分析每种棋子的必胜策略：

①王。

首先注意一个3*3的棋盘，开始在(1,1)，问走到(3,3)谁有必胜策略。

穷举所有情况，容易发现这是后手赢。

对于NN和MM更大的情况，我们把横坐标每隔3、纵坐标每隔3的点都画出来，这些点都是符合后手胜的。
（因为无论先手怎么移动，后手都能重新移动到这些格子，直到到了终点）

如果初始点不在这些点上，就必然是先手胜。因为先手可以立刻移动到上述的点。

②车。

注意到，如果目前的位置距离终点的xx和yy坐标差相等，一定是后手胜。
（因为先手只能向下或者向右走一段路；无论他往哪里走，后手往另一维走相同的步数，依然保持这一样一种状态。）

反之，先手必然能走到一处相等的位置，转化为上述问题，所以一定是先手胜。

③马。

同样还是画图可以得到规律。

在大多数情况下都是平局。在模3域下，某些地方会存在先后手赢。

④皇后。

画画图后，我们可以将问题转化为：

“有两堆石子，每次可以在一堆里取任意（非空）颗（相当于是车的走法），或者在两堆里取相同（非空）颗（相当于是象的走法），取到最后一颗石子的人获胜，问先后手谁有必胜策略。”

此题中N\leq 1000N≤1000，可以直接用DP的方法解决。
设f[x][y]为横坐标距离终点x步，纵坐标距离终点y步时，必胜的是先手还是后手。

直接转移的话，可以枚举先手的下一步决策进行转移，这样是O(N^3)的。

注意到转移只是一行、一列或者斜着一列，这些都可以通过前缀和，做到最终O(N^2)。

其实对于更大的NN也是可以做的。

由于叙述起来比较麻烦，具体的结论和证明可以参见：

https://en.wikipedia.org/wiki/Wythoff\%27s_game

• 标程：

#include<stdio.h>
#include<algorithm>
#include<assert.h>
#include<cmath>
using namespace std;
const double phi=(1+sqrt(5.))/2.;
const double phi2=phi*phi;
int F[1005],opt,T,n,m,x,y,i,ans;
int ok()
{
    if (opt==1) return (n&1^1)||(m&1^1);
    if (opt==2) return (n!=m);
    if (opt==3)
    {
        if (n<m) swap(n,m);
        if (n%3==0&&m==n-1) return 1;
        if (n==m&&n%3==1) return 0;
        return 2;
    }
    n--;m--;
    return F[n]==m?0:1;
}
int main(){
    for (i=1;;i++)
    {
        x=i*phi;
        y=i*phi2;
        if (y>1000) break;
        F[x]=y;
    }
    scanf("%d",&T);
    while (T--)
    {
        scanf("%d%d%d",&opt,&n,&m);
        if (n>m) swap(n,m);
        assert(n>1);assert(m<=1000);
        ans=ok();
        if (ans==1) putchar('B');
        else if (ans==0) putchar('G');
        else putchar('D');
        puts("");
    }
}