1067石子游戏理论证明.pptVIP

1067：石子游戏的理论证明 王靖轩 wjx@net.pku.edu.cn Wythoff game (威佐夫博弈) 取石子游戏实际上是荷兰人wythoff在1907年提出的。它属于一种Nim博弈，后人也把这类问题叫做wythoff博弈 另外一种不同的表示法 关于取石子问题有另外一种表示方法(如右图) 两人轮流控制一个国际象棋的(棋子)皇后。每一次行动可以向左或向下走，或向左斜下方前进。最后走到(0,0)的人为负 很显然的，这个问题与取石子的问题等价 如何考虑博弈问题 关于博弈问题，一般需要进行搜索。 更一般性的规律 若(a, b)为先手必负的状态 如(2,1) (5,3) 则(a+k, b) (a, b+k) (a+k, b+k)均为先手必胜态 如何判定必胜态与必负态 先手必胜态：通过一步变化可以转化为必负态的形式 先手必负态：所有一步变化均为先手必胜态的 可以隐约的感觉到，(先手)必负态少而必胜态多 必胜态与必负态分布 对于1067而言… 1067要求判定输入是否必负，而没有要求必须计算出其他状态是否必负 但是一般的解决思路:本状态是否为必负取决于其自装态是否有必负态 进行全盘搜索=高时间/空间复杂度 输入的数据越大越明显 (a = 1 618 033 988 700 b = 2 618 033 988 700) 所以我们需要寻找更简单的办法！ 从观察开始 首先观察几个数值较小的必负态组合 可能存在的关系 Bn=An+N？ {An}∩{Bn}=Φ？ Bn/An-常数？ 与Fibonacci数列有关？ 继续观察… 我们需要的是通项公式！ 猜想+证明 {An}、{Bn}存在通项公式 An=floor(nφ)；Bn=floor(nφ)+n Floor()为取下整函数，floor(1.5)=1 φ= (1+√5)/2 =1.618… φ+1=φ2 Bn=floor(nφ2) Bn/An-φ！ 证明(必要条件) 重要的是要满足题目中关于必胜态与必败态的限制及分布规律 数字不重复出现 - 有重复出现则说明该状态通过一步变化可达到之前的某一必败态 Bn=An+n - 必然不存在(in) 使得Bi+x=Bn 且 Ai+x=An -一个必败态的左下/右上不存在另一必败态 引理：Beatty定理及相关证明 Beatty定理：存在无理数a, b，满足 1/a+1/b=1 An={floor(na) n是自然数} Bn={floor(nb) n是自然数} An、Bn构成一个关于自然数集的划分 即{An}∩{Bn}=Φ 且 {An}∪{Bn}=N 证明 {An}∩{Bn}=Φ 反证法： 假设存在t属于{An}∩{Bn}，则由定义有 t=floor(ia)=floor(jb) i, j均为自然数 tiat+1 - t/ai(t+1)/a ① tjbt+1 - t/aj(t+1)/b ② ① + ② - t(1/a+1/b)i+j(t+1)(1/a+1/b) - ti+jt+1 因为 t、i、j均为正整数，所以矛盾！ 所以不存在这样的元素t既属于{An}又属于{Bn} 证明 {An}∪{Bn}=N 任取一个自然数L，对于小于等于L的任意自然数x, 欲证x或者属于{An}或者属于{Bn} An中小于等于L的元素有 u=floor((L+1)/a)个 floor(ua) = L AND floor((u+1)/a) = L+1 - (L+1)/a-1 u (L+1)/a - u=floor((L+1)/a) Bn则同理,有v=floor(L+1/b)个元素小于等于L u+vL+1u+v+2 u+v=L 故在小于等于L的所有自然数中x必属于{An}{Bn}其中之一 通项公式满足必败态 1，数字不重复出现 2，An+n=Bn 证明：令φ=aφ2 =b 因为 1/a+1/b=1 故可以构造Beatty序列，使得 {An} {Bn}构成自然数集的一个划分 =数字必不重复出现 1得证 通项公式满足必败态 2，证明：因为φ+1=φ2 Bn=floor(nφ2) =floor(nφ)+n =An+n 2证毕 综上，通项公式的元素必满足必败态条件 必要条件证毕！ 充分条件？！ 利用必要条件+归纳法证明 对于小于L的自然数，所有的必败态都符合通向公式 那么等于L的那组必败态也必符合通项公式 或反证，假设存在一个必败态(a, b)不在通项公式内，证明其必然不是一个必败态 因为已有通项公式的必败态覆盖了所有其他情况，所以无论(a,b)取何值，必然可以一步内找到一个通项公式内的必败态 关于之前的证明 Wythoff在1907年的论