[论文解读] Relative Strength of Strategy Elimination Procedures

Krzysztof R. Apt|ArXiv.org|Jun 12, 2007

Game Theory and Applications被引用 8

一句话总结

本文分析了在有限战略博弈中四种策略消除程序的相对强度：通过纯策略或混合策略进行严格/弱支配策略的迭代消除。为克服非单调性问题，引入了全局算子版本，证明尽管某些程序之间的包含关系成立，但如 MLW ⊆ LW 这类关系并不成立，这通过一个反例得到证实。

ABSTRACT

We compare here the relative strength of four widely used procedures on finite strategic games: iterated elimination of weakly/strictly dominated strategies by a pure/mixed strategy. A complication is that none of these procedures is based on a monotonic operator. To deal with this problem we use 'global' versions of these operators.

研究动机与目标

• 比较四种策略消除程序的相对强度：LW、MLW、LS、MLS。
• 解决局部消除算子均不单调所带来的挑战，这使得迭代分析变得复杂。
• 提出一种通用方法，通过使用‘全局’算子版本来证明迭代消除之间的包含关系。
• 确立某些预期的包含关系（例如 MLW ⊆ LW）实际上并不成立，尽管其局部算子之间存在包含关系。
• 为使用格理论和单调性论证来推理战略博弈中的迭代消除，提供一个正式框架。

提出的方法

• 定义四种局部策略消除算子：LW（局部弱，纯策略）、MLW（混合，弱）、LS（严格，纯策略）、MLS（混合，严格）。
• 引入这些算子的‘全局’版本（Φg, Ψg），以恢复单调性并实现迭代比较。
• 证明每个程序的全局算子的 ω-迭代等于其局部算子的 ω-迭代（即 Φωg = Φωl）。
• 使用一个通用引理：若 Φl(G) ⊆ Ψl(G)，且 Φg 或 Ψg 中至少一个为单调，则 Φωl ⊆ Ψωl。
• 通过验证全局版本的单调性，应用该方法证明已知的包含关系（如 MLW ⊆ LW、MLS ⊆ LS）。
• 构造一个反例博弈，以表明 MLWω ⊆ LWω 不成立，尽管对所有 G 都有 MLW(G) ⊆ LW(G)。

实验结果

研究问题

• RQ1 局部消除算子的包含关系（如 MLW ⊆ LW）是否能扩展到其迭代结果？
• RQ2 非单调的策略消除算子能否通过迭代应用进行有意义的比较？
• RQ3 消除程序的全局算子版本是否单调，从而能够使用标准的不动点论证？
• RQ4 通过混合策略与纯策略在弱支配和严格支配下的迭代消除之间，其精确关系是什么？
• RQ5 能否构造一个反例来证伪预期的包含关系 MLWω ⊆ LWω？

主要发现

• 包含关系 MLW(G) ⊆ LW(G) 并不意味着 MLWω ⊆ LWω 成立，这一点通过一个反例博弈得到证明。
• 全局算子方法成功证明了若单调性得以保持，则 MLWω ⊆ LWω 会成立，但反例表明该关系实际上不成立。
• GS 和 MGS 的全局版本是单调的，从而支持了 MLWω ⊆ LWω 和 MLWω ⊆ MLSω 的证明。
• LW 和 GW 的全局版本并非单调，反例表明在某些情况下 LWω 严格小于 MLWω。
• 反例博弈表明，在 LW 进行三次迭代后仅剩一个策略组合，而 MLW 更早达到稳定，消除了更多策略。
• MLWω ⊆ LWω 的失败是由于局部算子的非单调性，这使得将算子包含关系简单外推至迭代结果的直观方法失效。