题目:http://community.topcoder.com/stat?c=problem_statement&pm=13204&rd=15857
这道题目需要用到博弈论中的经典理论,Sprague–Grundy theorem,下面将相关理论做一个总结:
Impartial Game:公平游戏,双方除了谁先开始游戏外,其余都相同。
Nim:一类经典的Impartial Game,很多游戏都可以等价于Nim。
Nimber(Grundy numbers):可以理解为标识一个游戏状态的数。在游戏进行过程种,每个状态都应一个唯一的Nimber。
Sprague-Grundy定理:对一个 Impartial Game 的状态,其等效游戏的 Nimber 数,就等于所有其后继状态 Nimber 数的 Mex 函数值。
Mex:对一个集合S,若G为S的补集,则 Mex{S} = min {G}。
根据 Sprague-Grundy定理,要求当前游戏状态的Nimber数,则需要求出其所有后继状态的Nimbers,然后对这些Nimbers取Mex值。而且当存在多个“子Impartial Game”同时进行时,这一定理尤其有用,对每个“子游戏”状态的Nimber数进行异或操作,就是该状态的Nimber数。
代码如下:
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <iostream>
#include <sstream>
#include <iomanip>
#include <bitset>
#include <string>
#include <vector>
#include <stack>
#include <deque>
#include <queue>
#include <set>
#include <map>
#include <cstdio>
#include <cstdlib>
#include <cctype>
#include <cmath>
#include <cstring>
#include <ctime>
#include <climits>
using namespace std;
#define CHECKTIME() printf("%.2lf\n", (double)clock() / CLOCKS_PER_SEC)
typedef pair<int, int> pii;
typedef long long llong;
typedef pair<llong, llong> pll;
#define mkp make_pair
#define FOREACH(it, X) for(__typeof((X).begin()) it = (X).begin(); it != (X).end(); ++it)
/*************** Program Begin **********************/
class GameOfSegments {
public:
int winner(int N) {
int Nimbers[1001];
Nimbers[0] = Nimbers[1] = 0;
for (int i = 2; i <= N; i++) {
set <int> options;
for (int j = 0; j <= i - 2; j++) {
options.insert(Nimbers[j] ^ Nimbers[i - j - 2]);
}
int r = 0;
while (options.count(r)) {
++r;
}
Nimbers[i] = r;
}
return (Nimbers[N] > 0 ? 1 : 2);
}
};
/************** Program End ************************/
参考:
http://www.cnblogs.com/fishball/archive/2013/01/19/2866311.html
http://www.cnblogs.com/hsqdboke/archive/2012/04/20/2459796.html
http://www.cnblogs.com/hsqdboke/archive/2012/04/21/2461034.html