[论文解读] A four-person chess-like game without Nash equilibria in pure stationary strategies

Vladimir Gurvich, Oudalov, Vladimir|arXiv (Cornell University)|Nov 3, 2014

Game Theory and Applications参考文献 34被引用 3

一句话总结

本文提出了一款四人棋盘类游戏，具有完全信息、无随机移动且仅包含一个有向环，证明了在纯平稳策略下不存在纳什均衡。该游戏包含五个终局结果，并证明在特定玩家偏好配置下此类均衡不存在，揭示了无随机性的多人随机博弈中均衡存在性的根本局限。

ABSTRACT

In this short note we give an example of a four-person finite positional game with perfect information that has no positions of chance and no Nash equilibria in pure stationary strategies. The corresponding directed graph has only one directed cycle and only five terminal positions. It remains open: (i) if the number $n$ of the players can be reduced from $4$ to $3$, (ii) if the number $p$ of the terminals can be reduced from $5$ to $4$, and most important, (iii) whether it is possible to get a similar example in which the outcome $c$ corresponding to all (possibly, more than one) directed cycles is worse than every terminal for each player. Yet, it is known that (j) $n$ cannot be reduced to $2$, (jj) $p$ cannot be reduced to $3$, and (jjj) there can be no similar example in which each player makes a decision in a unique position. Keywords: stochastic, positional, chess-like, transition-free games with perfect information and without moves of chance; Nash equilibrium, directed cycles (dicycles), terminal position.

研究动机与目标

• 构建一个有限、完全信息、无转移的棋盘类游戏，且在纯平稳策略下不存在纳什均衡。
• 研究此类游戏是否可在少于四名玩家或少于五个终局位置的情况下存在。
• 确定是否可设计一款游戏，使得循环结果对所有玩家而言均劣于每一个终局结果。
• 探索多人、无机会、位置性博弈中纳什可解性的边界。

提出的方法

• 将游戏建模为有向图，其中顶点被划分为四名玩家、一个环和五个终局位置。
• 使用严格全序定义玩家对结果（包括循环结果）的偏好。
• 通过逆向归纳法与策略组合分析，证明不存在任何纯平稳策略组合构成纳什均衡。
• 构建一个具体的游戏实例，通过控制玩家决策与收益分配，证明均衡不存在。
• 验证所有策略组合要么导向终局，要么导向循环，且在给定偏好下，任何玩家均无法通过单方面改变策略获得收益提升。
• 利用两人零和博弈的已知结果，对比非零和、多玩家情形下的非存在性结果。

实验结果

研究问题

• RQ1 能否构造一款仅含三名玩家的四人棋盘类游戏，且在纯平稳策略下不存在纳什均衡？
• RQ2 是否可将终局位置数从五个减少至四个，同时保持纯平稳纳什均衡的非存在性？
• RQ3 能否设计一款游戏，使得循环结果对每个玩家而言均劣于每一个终局结果？
• RQ4 为何在多玩家情形下逆向归纳法会失效，尽管其在两人零和情形中有效？
• RQ5 游戏图的何种结构特性导致纯平稳策略下均衡无法存在？

主要发现

• 存在一款四人棋盘类游戏，在纯平稳策略下不存在纳什均衡，证实了先前文献中一个开放问题的否定答案。
• 该游戏仅包含一个有向环和五个终局位置，在保持均衡非存在性的同时最小化了结构复杂度。
• 在偏好严格且循环结果对任何玩家均非最差的配置下，纳什均衡的非存在性依然成立。
• 该结果表明，逆向归纳法在一般情况下不适用于多人非零和棋盘类游戏，即使在完全信息且无随机移动的条件下亦然。
• 尚不确定是否可将玩家数减少至三人，或终局位置数减少至四个，同时保持均衡的非存在性。
• 本文确立了：对于两人游戏或仅含三个终局位置的游戏，此类反例不可能存在，这是基于已知的理论极限。