GameTheorySummer2018YipingTao博弈论简介ACM里面我们.pptVIP

斐波那契博弈 再证明当n不是斐波那契数时，先手必胜 证明引理（齐肯多夫定理）：任何正整数x都可以表示成若干个不连续的斐波那契数（不包括第一个斐波那契数）之和 如果x是斐波那契数，那么已经成立 否则必有k使得f[k]x0=xf[k+1],于是0x0-f[k]f[k+1]-f[k]=f[k-1],如果x-f[k]为斐波那契数，f[k]为x其中一个其中则结论成立，否则必有t,st. f[t]x1=x0-f[k]f[s]=f[k-1]，重复本操作。 可以发现，xi每次递减的时候它的斐波那契数上界指标至少递减2，故得到的斐波那契数都不是连续的，证毕 斐波那契博弈 再证明当n不是斐波那契数时，先手必胜 也就是说n=f[a1]+f[a2]+...f[ak],其中ai+2=ai+1，k=2 。 聪明的你一定知道先手会怎么处理了吧 答案（白色处理）： 取f[a1]+f[a2]+...f[ak-1]即可 斐波那契 典型题目 HDU 2516 尼姆博弈 NIM博弈是ACM里面最基础的博弈之一，前面的博弈比较独立，接下来的内容比较系统。 首先介绍一个简单的例子吧： 有三堆各若干个物品，两个人轮流从某一堆取任意多的物品，规定每次至少取一个，多者不限，最后取光者得胜。 把这三堆记做(a1,a2,a3)，终止状态为(0,0,0),借鉴我们以前的思路，我们的想法是找到与(0,0,0)的某个特征，先手有这个特征必败，并且先手无论怎么拿，后手总能有一决策使得先手的局势又具有这一特征。 L.Bouton给出了Button定理：(a1,a2,a3)为必败态当且仅当a1 xor a2 xor a3 = 0 尼姆博弈 怎么证明？接下来给出我个人的想法，希望有所帮助： 首先当异或和为0，即a3=a1 xor a2 时,把a3,a1,a2 二进制如下表示： a3 :(sksk-1sk-2...s0) a1 :(pkpk-1pk-2...p0) a2 :(tktk-1tk-2...t0) 不妨设先手从a3中取出一定的数，假定之后a3为b=(akak-1...bmbm-1...b0), 就是说从第m（0=m=k)位开始与原先的不一样了，对应的a1、a2 m位以上的数可以不变，只需要考虑0-m位,并且bm=0,sm=1(为什么),pm xor tm = 1,不妨假定pm=1,那么只要取a1即可，pm变成0，之后的（pm-1...p0) = (tm-1...t0) xor (bm-1...b0)。 这样，三个数仍然异或和为0 * Game Theory Summer 2018 Yiping Tao 博弈论简介 ACM里面，我们指的博弈论就是组合游戏里的博弈，它的特征就是 “without chance”(没有概率)，十分感兴趣可以观看/watch?v=TM_QFmQU_VAlist=PLEGCF-WLh2RJBqmxvZ0_ie-mleCFhi2N4。 有趣的博弈论的数学书：/~tom/Game_Theory/Contents.html 经济学里最常见的博弈论会讨论概率。当然，ACM也有可能出涉及概率论的博弈，往往是考概率论、dp而不是博弈论 经典博弈-纳什均衡 假设有n个局中人参与博弈，假设大家分别采用s1,s2,...,sn策略，任意一个人改变策略都没办法增大收益，这个情况就称纳什均衡点 囚徒问题(明显的AB坦白就是均衡点,-表示判几年) 经典博弈-纳什均衡 枪手问题： 彼此痛恨的甲、乙、丙三个枪手准备决斗。甲枪法最好，十发八中；乙枪法次之，十发六中；丙枪法最差，十发四中。 每个人有2种选择，一共23种状态，只需要找到均衡点即可 相关变形可参见华师校赛 基本的组合博弈 这里讨论的基本上是入门与提高的模型与方法，我们假定需要遵循以下规则： 1、博弈模型为两人轮流决策的非合作博弈。即两人轮流进行决策，并且两人都使用最优策略来获取胜利。游戏必定会有一方失败，不会出现双赢的情况 2、博弈是有限的。即无论两人怎样决策，都会在有限步后决出胜负。 3、公平博弈。即两人进行决策所遵循的规则相同。 相关定义 必胜态/必败态 P-position：必败态，上一手有必胜策略的局面 （1）.无法进行任何移动的局面（terminal position）是P-position； （2）.所有移动都导致N-position的局面是P-position。 N-position：必胜态，这一手有必胜策略的局面 可以移动到P-position的局面是N-position； 有以下性质： 一个局面是必胜态的充要条件是该局面进行某种决策后会成为必败态。 一个局面是必败态的充要条件是该局面无论进行何种决策均会成为胜态。 换一句话说，判断一个局势是必胜态，我们