关于ACM博弈论的总结1

初学博弈论受益匪浅，将个人的博弈论解题总结一下。

１.威佐夫博弈论（证明真的没有的离散数学技巧是绝对这几个表情可以较好描述你的表情发展过程）

１）问题：首先有两堆石子，博弈双方每次可以取一堆石子中的任意个，不能不取，或者取两堆石子中的相同个。先取完者赢。

解题思路：说实话对这种题唯一的方法是打表，当然比赛时候打表不好搞，尽量将新的状态转到老的已确定的状态，然后再找规律。

（０，０）（１，２）（３，５）（４，７）（６，１０）……

规律的确是挺神奇的ak =[k（1+√5）/2]，bk= ak + k （k=0，1，2，...n 方括号表示取整函数)，这个状态先手必败。

２）关于这个博弈论的定理与规律。

每行第一个数恰巧是前面每一行中没有出现过的最小正整数

在所有的必败态中，每个数字恰巧出现一次。。。。。。。。２

解题时会问你先手胜的话如何走第一步，根据.。。。。２可以去求，当然当（４，６）时这种方法不行，只能两边同时去取。（根据差值去取）。

当然证明我也可以阐述一下，毕竟学ＡＣＭ的，如果这个都不掌握的话，太对不起威佐夫这个人了，他貌似毕生贡献都在这一个博弈上面了，如果我只用找规律解决的话，有愧于先人啊。（在本文最后说明，毕竟本文最重要的还是要解决ＡＣＭ中的博弈类题目）。

２.Nim游戏

这类题目ACM中还是挺多的。

先来描述一下最基础的NIM游戏吧。

1）基础Nim

有若干堆石子，每堆石子的数量都是有限的，合法的移动是“选择一堆石子并拿走若干颗（不能不拿）”，如果轮到某个人时所有的石子堆都已经被拿空了，则判负（因为他此刻没有任何合法的移动）。

结论：每个数量异或之后如果为0，则先手必输。

2）nim引申

将上面的每堆可取石子数限定为一个集合S；其他同上；

SG函数：

sg(x) = mex ( sg(y) |y是x的后继结点 )

其中mex（x）（x是一个自然是集合）函数是x关于自然数集合的补集中的最小值，比如x={0,1,2,4,6} 则mex（x）=3；

什么是后继结点？

所谓后继结点就是当前结点经过一个操作可以变成的状态。比如对于娶4石子游戏，假如每次可以取的数目是1,2,4，当前的石子数目也就是当前状态是5，那么5的后继结点就是{5-1, 5-2, 5-4}={4,3,1}；

思考：hdu1848

每个堆点的可取数目是有限定的，这该怎么办呢？

sg{y}=mex{sg{x}|x是y的子节点}

那么sg{y}=sg{y-t}(t为斐波那契数列中的数)。

5 #include<iostream>
6 using namespace std;
7 
8 #define MAX 1005
9 /*
10 计算从1-n范围内的SG值。
11 Array(存储可以走的步数，Array[0]表示可以有多少种走法)
12 Array[]需要从小到大排序
13 /*HDU1847博弈SG函数
14 1.可选步数为1-m的连续整数，直接取模即可，SG(x) = x % (m+1);
15 2.可选步数为任意步，SG(x) = x;
16 3.可选步数为一系列不连续的数，用GetSG(计算)
17 */
18 int SG[MAX], hash[MAX];
19 int Array[MAX];
20 void GetSG(int Array[], int n = MAX-1)
21 {
22     int i, j;
23     memset(SG, 0, sizeof(SG));
24     for(i = 0; i <= n; i++)
25     {
26         memset(hash, 0, sizeof(hash));
27         for(j = 1; j <= Array[0]; j++)
28         {
29             if(i < Array[j])
30                 break;
31             hash[SG[i - Array[j]]] = 1;
32         }
33         for(j = 0; j <= n; j++)
34         {
35             if(hash[j] == 0)
36             {
37                 SG[i] = j;
38                 break;
39             }
40         }
41     }
42 }
43 int main()
44 {
45     int n, i, m, p, ans;
46     Array[1] = 1;
47     for(i = 2; ; i++)
48     {
49         Array[i] = Array[i-1] + Array[i-2];
50         if(Array[i] > MAX)
51             break;
52     }
53     Array[0] = i - 1;
54     GetSG(Array);
55     while(cin>>m>>n>>p && m)
56     {
57         ans = SG[m]^SG[n]^SG[p];
58         if(ans == 0) cout<<"Nacci"<<endl;
59         else cout<<"Fibo"<<endl;                 
60     }             
61     return 0;   
62 }

取走-分割游戏
这种游戏允许取走某些东西，然后将原来的一个游戏分成若干个相同的游戏。
例1、Lasker’s Nim游戏：每一轮允许两种操作之一。（1）从一堆石子中取走任意多个（2）将一堆数量不少于2的石子分成都不为空的两堆。
分析：
很明显，g(0)=0，g(1)=1。状态2的后继有0，1和（1，1），它们的SG函数值分别是0，1和0，所以g(2)=2。状态3的后继有0，1，2和（1，2），它们的SG函数值分别是0，1，2和3，所以g(3)=4。状态4的后继有0，1，2，3，（1，3）和（2，2），它们的SG函数值分别是0，1，2，4，5和0，所以g(4)=3。在推一些，我们得到：

我们推测：对于所有的k>=0，有g(4k+1)=4k+1；g(4k+2)=4k+2；g(4k+3)=4k+4；g(4k+4)=4k+3。
请自行证明。
假设游戏初始时有3堆，分别有2、5和7颗石子。三堆的SG函数值分别是2、5和8，它们的Nim和等于15。所以要走到P状态，就要使得第三堆的SG值变成7，可以将第三堆分成按1和6分成两堆。

３.对称博弈

 男人八题中的取石子问题。

 走格子问题

４.K倍增长博弈

５.翻硬币

６.其他杂题

看做题经验了这些题目。

附录：

１的证明：http://blog.sina.com.cn/s/blog_a661ecd501017out.html