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;
}