题面
找规律的方法耗时比较久，我们来说说如何用SG函数的方法。
前置知识
- 首先考虑此游戏是一个什么游戏，先来看看有向图游戏定义
给定一个有向无环图，图中有一个唯一的起点，在起点上放有一枚棋子。两名玩家交替地把这枚棋子沿有向边进行移动，每次可以移动一步，无法移动者判负。该游戏被称为有向图游戏。
很显然，本题属于有向图游戏（网格图可以看作有向无环图）。
有向图游戏先手必胜，当且仅当有向图游戏的起点(s)的SG函数值不为(0)。 - 什么是SG函数？
先来介绍(mex)运算，设(S)表示一个非负整数集合。定义(mex(S))为求出不属于集合(S)的最小非负整数的运算，即：
[mex(S) = min_{xin N,x
otin s}{{x}}
]
举个栗子，如果集合(S)里有({2，4，5})，那么经过(mex)运算后的值为(0)。
定义(SG(x))为(x)的后继节点(y_1,y_2,cdots,y_k)的(SG)函数值构成的集合再执行(mex)运算的结果，即：
[SG(x) = mex({SG(y_1),SG(y_2),cdots,SG(y_k)})
]
特别的，整个有向图游戏(G)的SG函数值被定义为起点的(SG)函数值。
SG函数还有一个性质，有向图游戏的某个局面必胜，当且仅当该局面对应节点的SG函数值大于零。
回到这个题目上就是要保证起点的SG函数值不为零。（因为kiki先走）
3. 问题转化为求该网格图的SG函数值，那么终点的SG函数值一定为(0)，递推即可求出答案。
但是，题目给的空间有限，开(2000*2000)的int可能不够。考虑优化，现给出(4*4)网格图的SG函数值：
可以发现，为(0)都是必输局面，大于(0)的都是必胜局面,emmmmm，等下，大于(0)，也就是我们不需要知道具体的SG函数值是多少，只要他大于零，就是必胜局面。那我们可以换成(1)。
所以我们只需开一个二维bool数组来记录每一点的必胜情况即可。
代码
#include<bits/stdc++.h>
using namespace std;
bool a[2001][2001];
int main()
{
int n,m;
a[1][1] = 0;
for(int i = 2;i <= 2000;i ++ )
{
a[i][1] = !a[i-1][1];
}
for(int i = 2;i <= 2000;i ++ )
{
a[1][i] = !a[1][i-1];
}
for(int i = 2;i <= 2000;i ++ )
{
for(int j = 2;j <= 2000;j ++ )
{
if(a[i-1][j] && a[i-1][j-1] && a[i][j-1])
{
a[i][j] = 0;
}
else a[i][j] = 1;
}
}
while(cin >> n >> m)
{
if(n == 0 && m == 0) break;
if(a[n][m]) cout << "Wonderful!" << endl;
else cout << "What a pity!" << endl;
}
return 0;
}
后记
这道题摸了好久，可算是摸出来了。