博弈论小结
博弈论问题一般是,两人都采取最优的策略进行博弈,判读两人胜负。
博弈论一般分为以下几种:
这只是一篇结论性的文章。。不会证明
预备知识
必胜态:当前状态按照最优策略一定必胜。
必败态:相反,就是必败态。
- 面临末状态是必败态(具体看题目要求,可能是必胜态)
- 一个状态是必胜态,必须满足:进行一个操作后,成为必败态
- 一个状态是必败态,必须满足:任何操作后,都是必胜态。
P-position:先手必败。上次move的人有必胜策略。即这次move的人必败。
N-position:先手必胜。这次move的人有必胜策略。
- 无法进行任何移动的局面为P-position;
- 可以移动到P-position的局面是N-position
- 所有移动都导致N-position的局面是P-position
巴什博奕
bash博弈,模型:n个物品,两个人轮流取,每次最少取1个,最多取m个,取到最后一个的人获胜。
如果n%(m+1)=0,先手必败。否则先手必胜。
威佐夫博弈
模型:威佐夫博弈(Wythoff's game):有两堆各若干个物品,两个人轮流从某一堆或同时从两堆中取同样多的物品,规定每次至少取一个,多者不限,最后取光者得胜。
奇异局势:如果甲面对(0,0),那么甲已经输了,这种局势我们称为奇异局势。前几个奇异局势是:(0,0)、(1,2)、(3,5)、(4,7)、(6,10)、(8,13)、(9,15)、(11,18)、(12,20)。可以看出,a0=b0=0,ak是未在前面出现过的最小自然数,而 bk= ak + k。
奇异局势也就是P状态,处于此局势的人在策略最优的情况下必败。
有以下结论:
- (a,b)和(b,a)的胜负性相同。
- 若(a,b)是P状态,则对于所有的x!=a 和y!=b,(x,b)和(a,y)是N状态。先手总可以
- 若(a,b)是P位置,则对于所有的d>0,(a+d,b+d)是N位置
奇异局势的性质:
1、在除(0,0)外的所有的P状态中,每个正整数恰好出现一次
2、每行第一个数是前面没有出现过的最小正整数
结论:一个状态奇异局势,$a_k =\lfloor k * \frac{1+\sqrt5}{2} \rfloor,b_k= a_k + k \ \ \ \ \ (k=0,1,2,…,n )$
斐波那契博弈
Fibonacci博弈模型:有一堆个数为n的石子,两个人轮流取石子,要求:
- 第一取石子中,先手不能把所有的石子取完
- 之后每次可以取的石子数最少1,最多到对手上次取的石子数的2倍
取走最后一个石子的人获胜。
结论:当n为斐波那契数时,按照最优策略,先手必败,否则先手必胜。
齐肯多夫定理(Zeckendorf):任何正整数都可以表示为若干个不连续的斐波那契数之和。这个定理的证明参考度娘。举一个例子,斐波那契数列前几项是1,2,3,5,8,13,21,34,55,89...如n=83,83位于55与89之间,那么83=55+28,再将28分解,28位于21与34之间,28=21+7,以此类推,最后83=55+21+5+2。
Nim游戏
模型:n堆石子,第i堆有ai个石子,两人轮流取石子,每次最少取1个,最多取完一堆的石子。取走最后一个的获胜。
结论:如果a1 xor a2 xor ...xor an=0,那么先手必败(P),否则先手必胜(N)。
SG函数
sg(x)等于,x的所有后继的sg值的mex(从0开始最小的没有出现过的数)。ICG游戏中sg=0表示P状态。
性质:
- 对于一个sg(x)=0的x,它的所有后继y都满足sg(y)!=0。 P
- 对于一个sg(x)!=0的x,必定存在一个后继sy满足g(y)=0。 N
一个游戏,可以分成n个子游戏,这个游戏的sg值为所有子游戏的sg的异或和。
比如nim游戏就是一个子游戏
Auti_SG
模型:桌子上有N堆石子,游戏者轮流取石子。每次只能从一堆中取出任意数目的石子,但不能不取。取走最后一个石子者败。
只是将胜负判断条件反了过来。
SJ定理(prague Grundy——Jia Zhihao):先手必胜当且仅当:(1)游戏的SG函数不为0且游戏中某个单一游戏的SG函数大于1;(2)游戏的SG函数为0且游戏中没有单一游戏的SG函数大于1。