支配戦略

支配戦略 (しはいせんりゃく、)とは、戦略型ゲームにおけるあるプレイヤーの戦略で、他のプレイヤーの戦略の選択によらず他の全ての戦略“よりも” (あるいは“以上に”) 高い利得を得られる戦略のことである。また、支配関係 ()とは、戦略型ゲームにおけるあるプレイヤーの2戦略間の関係で、他のプレイヤーの戦略の選択によらず一方が他方“よりも” (あるいは“以上に”) 高い利得をもたらすというものである。
定義.
以下、プレイヤーの集合を 、混合戦略空間を 、混合戦略利得関数を とする。また、戦略 と戦略プロファイル のもとで、戦略プロファイル は、プレイヤー が戦略 を選択し、それ以外のプレイヤーが にしたがって戦略を選択する戦略プロファイルを表す。
合理性と支配戦略均衡.
あるプレイヤーが合理的 (rational) であるとは、そのプレイヤーが強支配される戦略を決して選択しないことである。また、どのプレイヤーも強支配戦略を持つならば、その組による戦略プロファイルを支配戦略均衡 (dominant strategy equilibrium)という。支配戦略均衡の存在するゲームでは、全てのプレイヤーが合理的であるならば支配戦略均衡が実現する。しかし、支配戦略均衡は必ずしもパレート効率的であるとは限らない。囚人のジレンマはパレート効率的でない支配戦略均衡をもつゲームの典型例である。
最適反応およびナッシュ均衡との関連.
ある戦略プロファイルに対して最適反応となる戦略は強支配されず、したがって、ナッシュ均衡をなす戦略はいずれも強支配されない。特に、完全混合戦略のみからなる戦略プロファイルに対して最適反応となる戦略は弱支配されず、また、弱支配されない戦略のみからなるナッシュ均衡 (支配されない (undominated) ナッシュ均衡) はいかなる戦略型ゲームにも必ず存在することが知られている。
強支配される戦略の繰り返し消去.
強支配される戦略の繰り返し消去 (Iterated elimination of strictly dominated strategies (IESDS))とは、基本的なゲームの解法のひとつである。
戦略型ゲーム が与えられたときに、次のように を定める。
与えられたゲーム が有限ゲームの場合は、ある が存在して、任意の に対して となる。このとき、 の各純粋戦略は反復的に強支配されない (not iteratively strictly dominated)という。特に、各プレイヤーの純粋戦略がそれぞれ一つずつしか残らない場合、 は強支配により可解 (strictly dominance solvable)であるという。この解の実現には、全プレイヤーが合理的であることに加えて、「全プレイヤーが合理的である」という共有知識が必要である。上記の説明では全プレイヤーについて強支配される戦略の消去を同時に行うが、最終的な は、各プレイヤーを順に周回して戦略を消去する、戦略を一つずつ消去する、といった戦略の消去順によらず一意である。
以上と同様の繰り返し消去を弱支配される戦略について行うことも可能だが、一部のナッシュ均衡が消去される可能性があり、また、最終的な は戦略の消去順によって異なることがある。
IESDSでは純粋戦略のみについて消去をするが、これはに述べたように、強支配される純粋戦略の消去が同時に強支配される混合戦略の消去になっていることによる。他方、ある純粋戦略が他のいかなる純粋戦略にも強支配されないことは、その純粋戦略が強支配されないことを含意しない。例えば、右の双行列ゲームにおいてプレイヤーBの純粋戦略の間に支配関係は無いが、b1とb3をそれぞれ0.5すつの確率で選択する混合戦略はb2を強支配する。