博弈总结

博弈小结：

（忽略从word上复制过来之后的奇葩缩进）

看了张一飞+贾志豪+方展鹏+曹钦翔的论文都讲得超好。这些应该到处都能够找到的。

最终会主要的博弈了。

只不过看完之后的回顾录而已。基本上和论文相似，仅总结加深记忆用。

看到本文的人轻点喷。

或许看论文会更清晰。

曾经博弈各种弱，仅仅是零零星星的了解一些知识。严格的证明之类的没有接触。

如今最终都搞清啦。只是碰上奇葩博弈还是做不出。。。

1.极大极小搜索

         好吧！表示最后才看到这个的。

还是比較好理解的。

         还有α-β剪枝，这个应该自己随便yy都能够搞出来的。

         好吧。用来做五子棋，3连棋之类的。

         至少会了这个。一般的博弈都能够拿0分以上了。

2.普通NIM游戏

         概念题：一堆石子n个，每次最多取m个，求先手必胜还是必败。

     N表示比生态，P表示必败态。

         终止状态是P状态。然后找出能到达这个点的点标记为N状态，

         继续扫，找到仅仅能到达N状态的点标记为P状态，如此循环往复。

         这个比較直观。类似拓扑的扫一次就可以。

         对于非常多堆石子的话张一飞论文说得非常清楚，小结一下。

         首先看两堆石子，假设个数全然一样，那么后手必胜，由于现手在一堆中拿走了

         一些棋子之后。后手总能在还有一堆中拿一样多的棋子。

         考虑把局面S分解成A和B。先手必胜成为S胜，后手胜为T胜。

假设A=B,则T胜。如S={3,3,2,2}分解成{3,3}和{2,2}.

假设对于A是S胜。B是S败(由于A，B等价，反过来亦然)，S仅仅须要先拿A，然后T假设拿A，S也拿A，T拿B，S也拿B。那么S由于对于A，S是先手，所以S总是能够拿到A的最后一个。而且能够逼着T当B的先手。由于B先手必败。S也能够拿掉B的最后一个。

假设对于A和B都是S败，那么A先随便拿一个，对于T来说就变成了上一种情况了。那么此时T胜。

当A和B都是S胜时，S肯定不会第一步把局面变成一胜一负。他会继续变成AB都对于T必胜，那么T又纠结了。如此往复。就无法确定了。

上面的分解。归纳一下，假设对于B。S必败，那么整个局面的胜负和A一样。

那么假设原几何是{2,2,2,7,7,3,3,9}就能够分解成A{2,9},B{2,7,3},C{2,7,3}。

由于B+C是必败的，所以A+B+C的胜负和A一样，这样就转化成了一个不重集合了，打裸就少了一堆状态了。

好吧。以上就能够类比出XOR运算了。

沿着这个思路，就能够想到一个函数来优化打裸了。

         设f[x]=x。

(一下xor用+取代)

         那么对于一堆石子S={a1,a2,a3…..an}

         另p=f[a1]+f[a2]+…..+f[an]

假设p=0则该状态是S败。否则S胜。

由于终止状态是p=0。要证明这个结论的正确性，仅仅须要证明从p≠0可以转移到p=0,而从p=0仅仅能转移到p≠0就可以。

首先，明白xor的基本性质。

1.a+b=c,则有a+c=b.

2.p=a1+a2+…..an≠0,必定存在k。使p+ak<ak，由于p的最高位为1，肯定有一个ak该位也是1。p+ak该位就是0了。所以得证。

证明从p≠0可以转移到p=0

         由于p=f[a1]+f[a2]+…..f[an]=a1+a2+…+an。

         找到p+ak<ak的k和a1交换。

         设x=p+a1<a1,直接把a1变成x1,那么p=p+a1+a2+…..+an=0.

证明从p=0仅仅能转到p≠0

         假设a的所有序列都是0了，你就玩完了。

其它时候。随便你选什么数ak,那么其它数的xor和肯定等于ak。

p=(ak-xxx) + ak,xxx为正数且小于ak，那么p显然就不为0了。

至此。证明了f[a1]=a1的正确性了。

如今题目稍稍拓展一下。

N堆石子，每次任选一堆，能够从这堆拿走不超过m个的石子。求先手必胜还是必败。

这个的f[a1]=a1%m.

由于游戏的分解之类的东西与前一个游戏一样，所以仅仅需考虑一堆石子就可以。

考虑最開始的那个打裸，从后往前推一下N和P就可一直到a1%m=0时必败。

来个终极版NIM游戏。

有若干排石子。每次必须选相邻的两个拿走，把原来的那排变成了两排。

谁无路可走了谁就挂了。

分析这个题，发现各种分解的性质和前面的两个游戏一样的。如今就须要求f值了。

和前面的游戏一样，我们设计的f值必须满足

终止状态p=0。从p≠0可以转移到p=0,从p=0仅仅能转移到p≠0就可以。

第一个条件是显然成立的。

回顾论文，先如果#S表示S这个状态的f值之xor和，

要满足第二个条件

         因p=f[a1]+f[a2]+….+f[an]≠0,设x=f[a2]+f[a3]+….+f[an]=p+f[a1].

         因p+f[a1]<f[a1],所以x<f[a1].

         把a1干掉后可能变成了{b1,b2,…..bm}

         那么必须#{b1,b2,….bm}+x=0,假设1~f[a1]-1,都被#{b1,b2….bm}包括了，

         那么肯定是能够找到满足条件的x的。

要满足第三个条件

         即p=f[a1]+f[a2]+…+f[an]=0时。f[a1]=f[a2]+…+f[an]=x;

         相同把a1干掉，得到{b1,b2….bm}

         Pn=#{b1,b2,…..bm}+x≠0,必须对于随意b都成立。

         所以x不能出如今a1能转到的状态中。

                  所以f值就是他的后继的f值中没有出现过的值的最小值即可了。

事实上，这就是sg值了。曾经一直认为这东西特别奇妙，原来就这样就证明出来了。

看sg函数的使用条件：

1.       谁无法操作就输，与就是能找到必败态。

2.       满足类似拓扑序的东东

3.       各个游戏独立

4.       平等游戏

5.       对操作的限制，至于常数有关。

3.anti-nim游戏

         假设定义拿最后一个棋子的人输就成了anti-nim游戏。

         传说中的SJ定理登场了。

实际上非常多定理都会披上这么牛叉的名字。

         我们就一种情况一种情况的玩吧。

         这里的SG应该还是指的NIM中的SG。

先手必胜有两种状态：

1.假设每个小游戏都仅仅剩下一个石子了。SG为0。

2.至少一堆石子>1,且SG不为0.

证明

         1显然成立。

         2的话分两种情况

a.       仅仅有一堆石子>1,好吧！整个生杀大权都交你主宰了。你能够把它变成1。

b.       至少两队石子>1,你仅仅须要把SG值边为0就能够了，这个操作之后。至少还有两堆石子>1，然后对方随便怎么操作，都会把SG变成非0。你们就一直这么玩即可了。

还须要证明1,2的反面是必败的。

1显然了。

2的话，你会把SG变成非0。并且由于如今至少两堆石子>1了，所以你还会给人家至少留一个>1的，那么不管怎么搞。都会送给后手一个必胜态。

4.every-SG游戏

    就是多线程博弈。

形象的说就是红队和蓝队每一个队n个人，然后进行n个博弈，最后结束的一场博弈的胜者胜利。

显然，每一个博弈的胜者都想让时间坚持得更久，每一个败者都想让这场博弈早点结束。

不难列出每一个点到终止的步数的DP方程。

假设v是先手必胜，则f[v]=max(f[u])+1,当中u为v的后继且u为先手必败。

否则f[v]=min(f[u])+1,u为v后继。

         然后能够求出每个博弈的步数。

         求出这个最大值。假设最大值是奇数，那么先手必胜。这个显然。

        还有黄金切割那道题。二分图有关的博弈，k倍动态减法游戏。写在应用里了。

5.不平等博弈

         传说中的超现实数(也译成超实数)登场了。

         首先明白超现实数的两个定义

         定义surreal number x={XL|XR}，满足XL中的随意一个数小于等于XR中的随意一个数。

         然后是看他们怎样比較大小

         x={XL|XR}和y={YL|YR},要满足x<=y,必须满足XL的随意一个元素<y,YR的随意一个元素>x.

         首先{|}=0.

         然后能够构造出第一批新数{0|},{|0}

         依据定义能够知道{|0}<{|}<{0|}

         那么{|0}=-1,{0|}=1.

         然后能够继续构造出一堆数。

         接下来是加法运算法则。

         x+y={XL|XR}+{YL|YR}={XL+y,YL+x|XR+y,YR+x} 。XL+y运算即把XL中的每个元素+y。

         这个公式十分美观。应该一眼就能记住了。

         加法的交换律和结合律都是满足的。

       然后就类比到不平等博弈问题。

       两个人A,B面临着不同的局面恰好能够分成L，R，我们能够把它构造成超现实数。

       于是乎整个局面变成了x={SA|SB}。比方A能够转移到x。y，z。

B能够转移到w。

       就变成了{x,y,z|w}.

         假设x>0

则说明x>=0成立。且x<=0不成立。

也就有SA中的元素都>=0,y中的元素都>0,那么A能转移到的状态总是有>=0的，y能转移到的总是>0的。那么A总是有状态可转。那么A必胜。

假设x<0

         说明x>=0不成立。x<=0成立。

         也就是SA的元素都<0,SB则有<=0,同理B必胜。

假设x=0

         也就是说x>=0和x<=0同一时候成立。

         那么SA都<0,SB都>0.那么A先手的话会转移到<0的。然后B必胜。B同理。

         所以此时先手必败。

真的非常佩服方展鹏神犇能想到把博弈和超现实数结合起来。

弱菜就仅仅有膜拜的份了。

理论知识最终准备得几乎相同了，接下来就是刷很多其它题熟练了。