算法合集之《浅如何解决不平等博弈问题》.pptVIP

浅谈如何解决不平等博弈问题 广东省中山市第一中学 方展鹏 引言 给出n棵竹子，高度分别为a1, a2 … an，玩家L和R在这些竹子上面进行游戏，规则如下： 两人轮流操作，玩家L先手； 对于每次操作，先选定一棵高度不为0的竹子，然后砍掉该竹子的某一段，并且将与竹子底部不相连的部分也去掉； 最先无法进行操作的人输。 假设玩家L和R都采取最优策略，问对于给出的局面谁 会获胜。 引言 对于上述问题，根据The Sprague-Grundy Theorem，我们可以轻松地设计出一个时间复杂度为O(n)的算法。 详见2007年王晓柯前辈的论文 引言 The Sprague-Grundy Theorem能在本题使用的前提条件 对于任意局面，玩家L和玩家R的可选决策都相同 如果两者的可选决策不相同会怎样? 我们不妨在游戏规则处再多加一条：竹子的每一段都被标上了L或者R，玩家L只能砍被标上L的段，玩家R只能砍被标上R的段。 加上上述规则后，玩家L和玩家R的可选决策就不相同了。 同时我们还发现The Sprague-Grundy Theorem在上述问 题上也不再成立。 引言 本文所要探讨的正是如何解决这类两个玩家的可选决策集合不相同的博弈问题，也称之为不平等博弈问题（Partizan Games） 概览 第一部分：介绍如何利用Surreal Number分析一类不平等组合游戏 第二部分：介绍如何通过动态规划、迭代等方法解决不平等博弈问题 第三部分：总结全文 Surreal Number的定义 一个surreal number由两个集合组成。我们称这两个集合为“左集合”与“右集合”。 通常情况下，我们会将surreal number写作{ L | R }，其中L表示左集合，R表示右集合。 左集合和右集合中的元素也为surreal number，且右集合中不存在元素x使得左集合中存在元素y满足x ? y。 ? 的定义 对于surreal number x = { XL | XR }和y = { YL | YR }，我们称 当且仅当不存在 使得 以及不存在 使得 。 得出 ?的定义后，我们还可以定义、= 我们称x y表示 我们称x = y表示 Surreal Number的构造 第一个surreal number： 构造出0后，尝试利用0构造新的surreal number，可得： { 0 | }，{ | 0 }以及{0 | 0} 因为0 ? 0，所以{ 0 | 0 }不是一个合法的surreal number。 因为{ | 0 } 0 { 0 | }，所以令{ | 0 } = -1，{ 0 | } = 1。 Surreal Number的构造 利用0,1,-1作为左集合与右集合的元素，我们可以构造出17个合法的surreal number 因为{ 1 | } 1，{ | -1} -1，所以令{ 1 | } = 2，{ | -1} = -2。 因为0 { 0 | 1 } 1，且{ 0 | 1 } + { 0 | 1 } = 1，因此我们令{ 0 | 1 } = 1/2。 同理我们可以得出{ -1 | 0 } = -1/2。 Surreal Number的构造 如此类推，我们可以构造出所有形如j/2k的有理数。具体而言，我们可以定义如下函数来建立部分有理数与surreal number的对应关系，我们称这个函数为达利函数： Surreal Number的基本定理 定理 对于一个surreal number x = { L | R }，若集合L中有最大元素lmax，那么{ lmax | R } = x；类似地，若集合R中有最小元素rmin，那么{ L | rmin } = x。 例子： { 2, 3 | 4, 5} = { 3 | 4, 5} = { 2, 3 | 4} = { 3 | 4 }。 Surreal Number的加法运算 对于surreal number x = { XL | XR }和y = { YL | YR }，它们的加法运算被定义为：