SG函数

一、公平组合游戏ICG：
  若一个游戏满足：
  --------由两名玩家交替行动
  --------在游戏进程的任意时刻，可以执行的合法行动与轮到哪名玩家无关
  --------不能行动的玩家判负
  则称该游戏为一个公平组合游戏。

二、有向图游戏：
  给定一个有向无环图，图中有一个唯一的起点，在起点上放有一枚棋子。两名玩家交替地把这枚棋子沿有向边进行移动，每次可以移动一步，无法移动着判负。该游戏称为有向图游戏。
  任何一个公平组合游戏都可以转化为有向图游戏。具体方法是，把每个局面看成图中的一个节点，并且从每个局面向 沿着合法行动能够到达的下一个局面连有向边。
  
  mex运算：
  ----设s表示一个非负整数集合。定义mex（s）为求出不属于集合s的最小非负整数的运算：
  mex（s）=min{x}，x∈N，x 不属于s。

  SG函数：
  ----在有向图游戏中，对于每个节点x，设从x出发共有k条有向边，分别到达节点y1，y2，……，yk，定义SG（x）为x的后继节点y1，y2，……，yk的SG函数值构成的集合再执行mex运算的结果。
  SG（x）=mex（{SG（y1），SG（y2），……，SG（yk）}）
  特别的，整个有向图游戏G 的SG函数值被定义为有向图游戏起点S的SG函数值。
  即SG(G)=SG(S)。

  有向图游戏的和：
  ----设G1，G2，……，Gm是m个有向图游戏。定义有向图游戏G，它的行动规则是任选某个有向图游戏Gi，并在Gi上行动一步。G被称为有向图游戏G1,G2,……Gm的和。
  有向图游戏的和的SG函数值等于它包含的各个子游戏SG函数值的异或和：
  SG（G）=SG(G1) xor SG(G2) xor……xor SG(Gm）

  定理：
  ----有向图游戏的某个局面必胜，当且仅当该局面对应节点的SG函数值大于0。
  ----有向图游戏的某个局面必败，当且仅当该局面对应节点的SG函数值等于0。

  （1）在一个没有出边的节点上，棋子不能移动，它的SG值为0，对应必败局面。
  （2）若一个节点的某个后继节点SG值为0，在mex运算后，该节点的SG值大于0。这等价于，若一个局面的后继局面中存在必败局面，则当前局面为必胜局面。
  （3）若一个节点的后继节点SG值均不为0，在mex运算后，该节点的SG值为0.着等价于，若一个局面的后继局面全部为必胜局面，则当前局面为必败局面。
  （4）对于若干个有向图游戏的和，其证明方法与NIM博弈类似（虽然NIM博弈也没有证明）。