[論文レビュー] Relative Strength of Strategy Elimination Procedures

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

Game Theory and Applications被引用数 8

ひとこと要約

本稿は、有限戦略的ゲームにおける4つの戦略削除手順の相対的強さを分析している：純粋または混合戦略による逐次的弱支配・厳密支配戦略の削除。非単調性を克服するため、グローバル作用素版を導入し、いくつかの包含関係は成り立つが、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.

研究の動機と目的

• 4つの戦略削除手順（LW, MLW, LS, MLS）の相対的強さを比較すること。
• 局所的削除作用素がすべて単調でないという課題に対処すること。これは反復的解析を複雑にする。
• 反復的削除間の包含関係を証明するための一般化された方法として、'グローバル'作用素版を開発すること。
• 期待される包含関係（例：MLW ⊆ LW）が、作用素の初期包含関係にもかかわらず、成立しないことを立証すること。
• ラティス理論と単調性の議論を用いた、戦略的ゲームにおける反復的削除を推論するための形式的枠組みを確立すること。

提案手法

• 4つの局所的戦略削除作用素を定義する：LW（局所的弱、純粋）、MLW（混合、弱）、LS（厳密、純粋）、MLS（混合、厳密）。
• これらの作用素の'グローバル'版（Φg, Ψg）を導入し、単調性を回復させ、反復的比較を可能にする。
• 各手順について、グローバル作用素のω反復が局所作用素のω反復に等しいことを証明する（Φωg = Φωl）。
• 一般補題を用いる：Φl(G) ⊆ Ψl(G) かつ Φg もしくは Ψg の少なくとも一方が単調であれば、Φωl ⊆ Ψωl が成り立つ。
• グローバル版の単調性を確認することで、既知の包含関係（例：MLW ⊆ LW, MLS ⊆ LS）を証明する。
• MLWω ⊆ LWω が成り立たないことを示す反例ゲームを構築する。

実験結果

リサーチクエスチョン

• 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 の3反復目で1つの戦略プロファイルしか残らなかったが、MLW はより早く、より多くの戦略を削除して安定化した。
• MLWω ⊆ LWω の不成立は、局所作用素の非単調性に起因し、作用素の包含関係を反復的結果へと直感的に拡張できないことが原因である。