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) 所以我们需要寻找更简单的办法！ 从观察开始 首先观