Codeforces 603C 博弈论 + 关于博弈论理解

CF 603C
题目链接：
http://codeforces.com/problemset/problem/603/C
题意：
给n个数（n <= 100000, 数 <= 1e9）。
现在对一个数有这样的操作。
操作一：减一
操作二：若数 = 2*x（x>0），则划分为k个（<=1e9）大小为x的数字
先手是Kevin，对手是Nicky，问谁必胜。
思路：
博弈论是试出来的！
首先根据SG函数是用异或和的形式求得，所以k分为奇数偶数讨论。
设当前讨论的数字为u。
u为偶数时，可以直接转到状态0，也可以转到u-1状态。而u为奇数时，只能转到一个偶数状态u-1。

博弈论的SG函数的定义一定要明确。SG[x] = mex{x}，即所有x可能产生的后继状态的SG值中，不存在这些值中最小的非负整数。
那么回到我们的讨论。
k为偶数时。若u为奇数，只能转到一个偶数状态u-1，故知此时u非0即1。由初始状态sg[0] = 0, sg[1] = 1,sg[2] = 2，向后推得sg[u] = 0, u = 2*k+1。u为偶数，除了u=2时返回2以外，其余均返回1。
k为奇数，比较复杂。特判u=1,2,3。u为奇数，返回0；u为偶数，发现u有两种转移，一是转移到u-1，得到sg值为0，故只用考虑转移到u/2的情况。当u/2直到u为奇数时，循环结束。因为一直有u - 1的转移状态为奇数的这个0值存在，所以此时的sg值非1即2。讨论一下除了几次2即可。注意此时特判除到最后u = 3的情况，此时sg[3] = 1，相当于多除了一次2。至于u = 1为什么不用多判断，因为sg[2] = 0和sg[1] = 1相互作用抵消。

说一下一个下午博弈论的感想。
博弈论对于一个游戏、即产生的状态都是这个游戏的后续不受其他游戏影响时，是单单求它的SG函数，用的是SG[X] = MEX{X}这个公式。对于整个游戏来说，几个相对独立的游戏对父游戏的SG值计算用XOR{SG{X}}来计算。
源码：

#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <cmath>
#include <algorithm>
#include <iostream>
#include <string>
using namespace std;
#define LL long long
int k;
int sg(int u)
{
    if(u == 0)  return 0;
    else if(u == 1)  return 1;
    else if(k % 2 == 0){
        if(u == 2)  return 2;
        else if(u % 2 == 0)  return 1;
        else    return 0;
    }
    else{
        if(u == 2)  return 0;
        else if(u == 3) return 1;
        else if(u == 4) return 2;
        if(u % 2 == 0){
            int cnt = 0;
            while(u % 2 == 0)   u /= 2, cnt++;
            if(u == 3){
                cnt++;
            }
            if(cnt % 2 == 1)    return 1;
            else    return 2;
        }
        else    return 0;
    }
}
int main()
{
    int n;
    while(scanf("%d", &n) != EOF){
        scanf("%d", &k);
        int state = 0;
        while(n--){
            int u;
            scanf("%d", &u);
            state ^= sg(u);
        }
        if(state == 0)  printf("Nicky\n");
        else    printf("Kevin\n");
    }
    return 0;
}