博弈论 来来来 套路一波（ACM中SG函数应用）

简单的NIM游戏解决策略

硬币游戏

Alice和Bob正在玩这样一个游戏，给定k个数字a1,a2,…,ak。一开始有n堆硬币，每堆硬币各有xi枚硬币。Alice和Bob轮流选出一堆硬币，从中取出一些，取出的数量必须在给定的k个数字a1,a2,…,ak中。Alice先取，取光硬币的一方获胜。双方都采用最优策略，谁会获胜？题目保证a1,a2,…,ak中一定有1。

终态的SG值为0，SG[0] = 0;
每一个点，自己所能到达的点集合为set的话，都是要根据前面的状态推出来的。DP的感觉有没有。先上个递归的伪代码：

int SG(int x)
{
   if(x == 0) return 0;
   set s = {};
   for(int i = a1,a2...)
     insert SG(x - i) to s;
   return mex(s);
}

理解的差不多的话，再看下面DP的写法吧。

   int a[m];//给定的可选择的序列,大小为m；
   int sg[maxn];
   //mex运算 找到集合中最小的非负整数
   int mex(set<int>& s)
   {
       int a = 0;
       if(s.count(a))
           a++;
       return a;
   }
   int main()
   {
      sg[0] = 0;
      for(int i = 1; i < n; i++)
      {
         set<int> s;
         for(int j = 0; j < m; j++)
         {
             s.insert(sg[i - a[j]]);
         }
         sg[i] = mex(s);
      }
   }

而根据上一篇中的定理得，只要把每一个堆的SG值都异或起来，判断是否为0即可。为0时，后手必胜。
OK，先到这里，之后会发几道相关的题。