POJ2311_Cutting Game_SG函数

题意

一张分成 w * 好的各自的长方形纸张，两人轮流切割纸张。要沿着格子的边界切割，水平或者垂直地将纸张切成两部分。切割了 n 次之后就得到了 n + 1 张纸，每次都选择切的某一张纸在进行切割。首先切出只有一个格子的纸张的一方获胜。当双方都采取最优策略时，先手必胜还是后手必胜？

思路

SG函数

设当前状态为 x, 定义集合 S(x) = {y | SG(t), t 是 x 可以一步到达的状态}。
SG(x) = 不属于 S(x) 的最小自然数。

假设终结状态为必败态，且 SG( 终结态 ) = 0。则所有 SG = 0 的状态均为必败态，SG = 1 的状态均为必胜态。
说明：
如果 x 是终结状态，那么SG(x) = 0。
一个状态 x，如果SG(x) ≠ 0，那么一定存在一个 x 的后继 y, 使得g(y) = 0。
一个状态 x，如果SG(x) = 0，那么所有 x 的后继 y，都有g(y) ≠ 0。

游戏的并

几个游戏的和等价于所有SG函数的异或和。异或和为 0 的状态为必败态，为 1 的状态为必胜态。

分割游戏

将每一步分割后形成的子部分SG值异或起来就是下一状态的SG值。

详细论述

http://www.cnblogs.com/Knuth/archive/2009/09/05/1561002.html
http://www.cnblogs.com/Knuth/archive/2009/09/05/1561007.html

链接

http://poj.org/problem?id=2311

代码

#include<iostream>
#include<cstdio>
#include<cstring>
#include<set>

using namespace std;

const int maxw = 200 + 10;

int w, h;
int sg[maxw][maxw];

int SG(int w, int h){
    if(sg[w][h] >= 0) return sg[w][h];

    set<int> s;
    for(int i = 2; w - i >= 2; ++i) s.insert(SG(i, h) ^ SG(w - i, h));
    for(int i = 2; h - i >= 2; ++i) s.insert(SG(w, i) ^ SG(w, h - i));
    int res = 0;
    while(s.count(res)) res++;
    return sg[w][h] = res;
}

int main(){
    memset(sg, -1, sizeof sg);
    while(scanf("%d %d", &w, &h) == 2){
        if(SG(w, h) > 0) puts("WIN");
        else puts("LOSE");
    }

    return 0;
}