编程之美1.13 威佐夫博奕拓展的分析与论证

最新推荐文章于 2020-09-22 20:10:23 发布

MathThinker

最新推荐文章于 2020-09-22 20:10:23 发布

阅读量910

点赞数

分类专栏：数学文章标签：博弈证明数学

本文链接：https://blog.csdn.net/MathThinker/article/details/47907451

版权

数学专栏收录该内容

14 篇文章 9 订阅

订阅专栏

续接前文，本人博文《编程之美1.12 尼姆博弈拓展的分析与论证》论证了经典尼姆博弈的部分拓展问题。然而，尼姆博弈是此博弈问题拓展系列所要讨论的问题之一。接下来，本文探讨下一个博弈问题的拓展——威佐夫博奕。

威佐夫博奕

威佐夫博奕的问题描述如下：有两堆各若干个物品，两个人轮流从某一堆或同时从两堆中取同样多的物品，规定每次至少取一个，多者不限，最后取光者得胜。问给定两堆物品的数量，谁会赢得这个游戏。

答案：这是一个非常经典的博弈问题，网上也有诸多关于这一问题的探讨。其奇异局势满足如下形式： $\left\langle {k \times \left\lfloor {{{\sqrt 5 + 1} \over 2}} \right\rfloor ,k \times \left\lfloor {{{\sqrt 5 + 1} \over 2}} \right\rfloor + k} \right\rangle$ 。

拓展：游戏规则不变，不同的是最后取完石头者输掉游戏。

对于拓展问题，我们首先探讨一些简单情况：

1、博弈局势<0,1>是奇异局势。因为此时，游戏者只能拿最后一个而输掉比赛。相应的<x,1>(x>0)或者<0,x>(x>1)均为非奇异局势。它们都可以通过拿"x"那堆到局势<0,1>。

2、博弈局势<2,2>是奇异局势。此时游戏者只有三种策略可选：取<1,1>==><1,1>，取<1,0>==><1,2>，取<2,0>==><0,2>，以上三种取法的结果在上一种情况都讨论过，均是非奇异局势。因此，<2,2>奇异局势。

通过上述讨论，我们很明显地发现原问题的解在拓展问题中是行不通的。奇异局势<0,1>或<2,2>都和 $\left\langle {k \times \left\lfloor {{{\sqrt 5 + 1} \over 2}} \right\rfloor ,k \times \left\lfloor {{{\sqrt 5 + 1} \over 2}} \right\rfloor + k} \right\rangle$ 无关。因此，该问题需要进行进一步的分析讨论。

同原问题一样，拓展问题也满足以下性质。

性质一：不存在任何两个局面 $\left\langle {a,{b_1}} \right\rangle$ 和 $\left\langle {a,{b_2}} \right\rangle \left( {{b_2} \ne {b_1}} \right)$ 同时为奇异局势。

通过性质一，我们仍发现拓展问题和原问题一样，奇异局势<a,b>中的a和b存在一一对应关系。利用这一特点，我们进一步讨论其他情况下的奇异局势。

对于 $\left\langle {a,b} \right\rangle \left( {a \ge 3} \right)$ ，可以通过先确定a的值，然后再寻找唯一的b与之构成奇异局势。利用该方法，可以得出以下结论。

将所有奇异局势从小到大排列，记第 $n\left( {n \ge 0} \right)$ 个奇异局势为 $\left\langle {{a_n},{b_n}} \right\rangle$ 。则奇异局势满足以下性质：

性质二：当 $n \ge 2$ 时，奇异局势满足 ${b_n} = {a_n} + n,{a_n} = \min \left( {N/\left( {{A_{n - 1}} \cap {B_{n - 1}}} \right)} \right)$ 。其中 ${A_n} = \left\{ {{a_1},{a_2},...,{a_n}} \right\}$ ${B_n} = \left\{ {{b_1},{b_2},...,{b_n}} \right\}$ 。

证：当n=2时，有 ${a_2} = 3,{b_2} = 5$ 时，分别来看玩家的两种取子方式：①两堆取相同数目：此时，取到的局势将会是<0,2>,<1,3>,<2,4>，其中与0,1,2三个数字配对的均无法构成奇异局势；②取一堆任意数目：该方式首先要避免让某一堆石头小于等于2个，根据性质一，这类局势会让对方构成奇异局势。剩下的可行局势就只剩<3,3>和<3,4>了，然而它们均为非奇异局势，因为存在如下取法<3,3>==><2,2>，<3,4>==><1,2>。因此，局势<3,5>为奇异局势。进一步，可以由已论证的奇异局势发现如下性质：已论证奇异局势有<0,1>,<2,2>,<3,5>，其差值为1,0,2。构成集合{0,1,2}，正好覆盖0到n的所有整数。

假设 $n < k,k > 3$ 时，题设的结论成立。同时满足集合性质 ${S_{k - 1}} = \left\{ {0,1,...,k - 1} \right\}$ ，其中 ${S_{k - 1}} = \left\{ {{c_n}|{c_n} = {a_n} - {b_n},n < k} \right\}$ 表示奇异局势差值所构成的集合。此时，利用a来表示 ${a_k}$ ，分如下情况讨论 ${b_k}$ ：

(1)对于局面 $\left\langle {a,x} \right\rangle \left( {x \le a} \right)$ 的情况。通过a的定义可知，x已经有另外一个比a小的数字与之配对构成奇异局势。根据性质一可知，该局势为非奇异局势。

(2)对于局面 $\left\langle {a,a + x} \right\rangle \left( {x < k} \right)$ 的情况。由于此时， ${S_{k - 1}} = \left\{ {0,1,...,k - 1} \right\}$ 。因此，对于任意0<=x<k，玩家都可通过两堆取相同数量的石头的方式达到某一个奇异局势<a,b>满足b-a=x。

(3)对于局面<a,a+k>的情况。此时，我们对两种所有取子方式进行讨论：①两堆取相同数目：此时，两堆石头的数量差值恒为k，然而对于 $k \notin {S_{k - 1}}$ ，无论怎么取都无法达到奇异局势<a,b>满足b-a=k；②取一堆任意数目：显然，如果取数量为a+k那堆，那么情况将跳转到第(1)或第(2)种情况，而无论是哪种情况，均已被论证是非奇异局势了。而如果取数量为a那堆，则构成局势<x,a+k>(x<a)，根据a的定义，x已经有另一个数字y构成奇异局势，且y<x+k<a+k。因此，根据性质一可知，不存在<x,a+k>与<x,y>同时为奇异局势，<x,a+k>为非奇异局势。综上所述，局面<a,a+k>为奇异局势。同时， ${S_k} = {S_{k - 1}} \cup \left\{ {{c_k}} \right\} = {S_{k - 1}} \cup \left\{ k \right\} = \left\{ {0,1,...,k - 1} \right\} \cup \left\{ k \right\} = \left\{ {0,1,...,k} \right\}$ 满足上述奇异局势差值的集合性质。

(4)由于局面<a,a+k>为奇异局势，显然 $\left\langle {a,a + x} \right\rangle \left( {x > k} \right)$ 不是奇异局势。

因此，对于任意 ${a_k} = \min \left( {N/\left( {{A_{k - 1}} \cap {B_{k - 1}}} \right)} \right)$ ，与其构成奇异局势的 ${b_k} = {a_k} + k$ 。

综上所述，性质二成立。

通过对比，我们发现，性质二所得出的结论居然和原问题的结论是很相似的，仅仅是在范围上有些不同而已。事实上，拓展问题看起来和原问题是相反的。然而，当初始两堆石头的数量均大于2时，它们的结论是相同的，依旧可以用公式 $\left\langle {k \times \left\lfloor {{{\sqrt 5 + 1} \over 2}} \right\rfloor ,k \times \left\lfloor {{{\sqrt 5 + 1} \over 2}} \right\rfloor + k} \right\rangle$ 判断是否奇异。而对于存在小于2的石头时，仅需要特判一下局势是否满足<0,1>,<2,2>就可以判断是否时奇异局势了。

MathThinker

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
编程之美1.13 威佐夫博奕拓展的分析与论证

在上一篇关于《编程之美》中所涉及的博弈论拓展的文章中，我们就尼姆博弈的两种拓展形式展开讨论，并获得了满意的结果。具体内容请详见本人所写博文《编程之美1.12 尼姆博弈拓展的分析与论证》。尼姆博弈是该文中所提到的三个博弈问题的第一个。而本文将承接上文进一步探讨下一个博弈问题的拓展——威佐夫博奕。威佐夫博奕威佐夫博奕的问题描述如下：有两堆各若干个物品，两个人轮流从某一堆或同时从两
复制链接

扫一扫

专栏目录