解概念のソースを表示

{{出典の明記|date=2016-5-29}}{{脚注の不足|date=2016-5-29}}
[[File:Equilibrium refinements.svg|thumb|250px|ゲーム理論における均衡の精緻化のいくつか．矢印は，精緻化されたほうからより一般的な概念のほうに向かっている (たとえば，[[進化的に安定な戦略|進化的安定戦略]] ⊂ [[プロパー均衡]])．]]

[[ゲーム理論]]における'''解概念''' (かいがいねん，{{lang-en-short|solutions concept}}) とは，ゲームがどのようにプレーされるかを予測する形式的規則である．この予測は「解」と呼ばれ，プレーヤーたちがどの戦略を採用し，ゲームの結果がどうなるかを記述する．もっとも一般的に用いられている解概念は，[[ナッシュ均衡]]として有名な[[均衡]]概念である．

多くのゲームにおいて，多数の解概念は複数解をもたらす．このため，その複数の解のどれも不確かなものになる．そこでゲーム理論家は，'''精緻化''' (refinement) を行い複数解を絞りこもうとする．以下に順番に示す一連の解概念は，内容豊富なゲームにおいてもっともらしくない均衡を排除することで，順に前のものの改善になっている．

== 形式的定義 ==
Γ をすべてのゲームの類とし，各ゲーム ''G'' ∈ Γ について，''S<sub>G</sub>'' を，''G'' の[[戦略 (ゲーム理論)|戦略プロファイル]]の集合とする．'''解概念'''とは，直積 <math>\displaystyle \prod_{G \in \Gamma} 2^{S_G}</math> の要素である．すなわち，関数 <math>\displaystyle F: \Gamma \to \bigcup_{G \in \Gamma} 2^{S_G}</math> であってすべての ''G'' ∈ Γについて ''F'' (''G'') ⊂ ''S<sub>G</sub>'' なるものである．

== 合理化可能性と繰りかえし支配 ==
{{main|合理化可能性}}

この解概念では，プレーヤーは合理的であると仮定され，したがってプレーされる戦略の集合から[[支配戦略|強く支配される戦略]]が消去される．戦略が強く支配されるとは，そのプレーヤーの使えるほかの戦略があって，他のプレーヤーたちが選ぶ戦略に関係なくかならずより高い利得が得られるというときをいう (強く支配される戦略は，[[ミニマックス法|ミニマックス]][[ゲーム木|ゲーム木探索]]においても重要である)．例として，次の (1 期間の) [[囚人のジレンマ]]では，どちらのプレーヤーにとっても「協力」は「裏切り」に強く支配されている．相手が何をしてくるかによらず，「裏切り」を選んだほうがかならず利得が高くなっているからである．

{| class="wikitable" style="margin: 1em auto 1em auto"
! !! 囚人 2 の協力 !! 囚人 2 の裏切り
|-
! 囚人 1 の協力
| −0.5, −0.5 || −10, 0
|-
! 囚人 1 の裏切り
| 0, −10 || '''−2, −2'''
|}

== ナッシュ均衡 ==
{{main|ナッシュ均衡}}

ナッシュ均衡とは，どのプレーヤーの戦略も他のプレーヤーの戦略に対する[[最適反応]]となっているような[[戦略 (ゲーム理論)|戦略プロファイル]]のことである (戦略プロファイルとは，各プレーヤーの戦略を記述するものである．たとえば，上の[[囚人のジレンマ]]ゲームでは，(協力，裏切り) と書いたら囚人 1 が「協力」をプレーし囚人 2 が「裏切り」をプレーするように規定される)．あるプレーヤーの戦略が他のプレーヤーの戦略への[[最適反応]]であるとは，他のプレーヤーのその戦略がプレーされるという状況で，より高い利得を生むようなほかの戦略が存在しないことをいう．

== 後ろ向き帰納法 ==
{{main|完全情報ゲーム#後ろ向き帰納法}}

複数のナッシュ均衡が存在し，そのうちいくつかが非現実的であるようなゲームが存在する．[[展開型ゲーム|動学ゲーム]]では，非現実的なナッシュ均衡は，将来のプレーが合理的であると仮定する'''後ろ向き帰納法''' (backward induction) を適用することで排除できる場合がある．これによって[[空脅し|信用できない脅し]] (incredible threat) が排除される．空脅しは，プレーヤーが実際そうする番になってみると実行するのが不合理になるものだからである．

例として次のような動学ゲームを考える．プレーヤーは，ある産業ですでにいる企業と，その産業への潜在的参入企業である．現状では，この既存企業はこの産業で独占にあり，参入企業に市場シェアの一部を奪われたくないと思っている．参入企業が参入しないことを選んだならば，既存企業の利得は (独占を維持できるため) 高く，また参入者のほうは損失も利益もない (利得 0)．参入企業が参入したならば，既存企業は，この参入企業に対抗するかもしくはあわせるかできる．対抗は価格の引き下げによって行われ，これによって参入企業は撤退に追いこまれ (さらに退出に費用がかかり負の利得になる)，既存企業の利潤にも損害がある．既存企業が参入企業にあわせることを選んだならば，売上の一部を失うが，高い価格は維持でき，価格引き下げの場合よりは大きな利得を受けとる (ただし独占利潤よりは低くなる)．

参入企業が参入してきたならば，既存企業の最適反応はあわせることである．もし既存企業があわせてくるならば，参入企業の最適反応は，参入して利潤を得ることである．したがって，既存企業は参入企業が参入したならばあわせ，参入企業は既存企業があわせてくるならば参入する，という戦略の組は，ナッシュ均衡である．ところが，もし既存企業が対抗するつもりならば，参入企業の最適反応は参入しないことである．もし参入企業が参入しないならば，既存企業の行動の選択は違いを生まない (ほかには参入する企業がいないため．なお，もし参入企業が参入しないならば，対抗することもあわせることも，両プレーヤーに同じ利得を与えることに注意せよ．参入企業が参入しないならば，既存企業は価格を引き下げない)．こうして，もし参入企業が参入してこないならば，対抗が既存企業にとっての最適反応と考えられる．したがって，既存企業はもし参入されたならば対抗し，参入企業は対抗されるならば参入しない，という戦略プロファイルがナッシュ均衡になる．このゲームは動学的なので，対抗するぞという既存企業のどんな主張も，信用できない脅しになる．なぜならば，対抗するかを決定する節に到達したとき (すなわち，参入企業が参入してきたとき) には，対抗することは不合理になっているからである．それゆえ，このナッシュ均衡は，後ろ向き帰納法によって排除されうる．

以下も参照されたい：
* [[金融政策]]
* [[シュタッケルベルグ競争]]

== 部分ゲーム完全均衡 ==
{{main|部分ゲーム完全均衡}}

後ろ向き帰納法の一般化が'''部分ゲーム完全化''' (subgame perfection) である．後ろ向き帰納法では，将来のプレーがすべて合理的になされるということが仮定されている．'''部分ゲーム完全均衡''' (subgame perfect equilibrium) では，すべての[[部分ゲーム]]においてプレーが合理的になっている (とりわけ，ナッシュ均衡である)．後ろ向き帰納法は，確定した長さをもつ，終了の定まった (有限の) ゲームにのみ利用でき，[[完全情報ゲーム|不完全情報ゲーム]] (games with imperfect information) には適用できない．こうした場合には，部分ゲーム完全化を利用できる．上述で排除されたナッシュ均衡は部分ゲーム完全ではない．なぜならば，ひとたび参入企業が参入したならば，そこで到達する節から始まる部分ゲームのナッシュ均衡になっていないからである．

== 完全ベイズ均衡 ==
{{main|ベイジアンゲーム#完全ベイズ均衡}}

部分ゲーム完全均衡では，不合理な帰結の上に十分な制約が課されないということがある．たとえば，部分ゲームは[[情報集合]]を切り離してはいけないので，[[完全情報ゲーム|不完全情報ゲーム]]では部分ゲームがそれじしんの 1 つしかない場合があり，このとき部分ゲーム完全均衡ではどんなナッシュ均衡も排除することができない．'''完全ベイズ均衡''' (perfect Bayesian equilibrium: PBE) は，プレーヤーの戦略と，ゲームのプレーによって情報集合のどの点に到達しているかに関する信念とを記述するものである．決定節に関する信念とは，特定のプレーヤーが，その節がプレーのうちにある (均衡経路上である) と考える確率である．具体的に完全ベイズ均衡の直観を説明すると，それは，その信念を所与としてその戦略が合理的であり，かつその戦略に対してその信念が整合的である，というものである (完全ベイズ均衡は戦略と信念の組である)．

[[ベイジアンゲーム]]では，戦略は，そのプレーヤーの手番であるすべての[[情報集合]]におけるプレーヤーの行動を決定するものである．戦略に対して信念が整合的であるという要請は，部分ゲーム完全均衡では規定されなかったものである．したがって，完全ベイズ均衡は，プレーヤーたちの信念についての整合性条件である．[[ナッシュ均衡]]においてどのプレーヤーの戦略も[[支配戦略|強く支配]]されてはいなかったように，完全ベイズ均衡においては，どの情報集合をとっても，その情報集合の始まりでプレヤーの戦略が強く支配されているということがない．すなわち，その情報集合においてプレーヤーがもつ任意の信念に対して，そのプレーヤーにより大きな期待利得をもたらすような戦略が存在しない．前述の解概念と異なり，均衡経路外の情報集合においてさえ，戦略が強く支配されているということがない．こうして完全ベイズ均衡では，プレーヤーが均衡経路外の情報集合において強く支配されている戦略をプレーするおそれがなくなる．

この解概念の名前の「ベイズ (ベイジアン)」という語は，プレーヤーたちが自分の信念を[[ベイズの定理]]に従って更新するという事実を示すものである．プレーヤーたちは，ゲームですでに何が起こったかということを所与として，確率を計算する．

== 前向き帰納法 ==
'''前向き帰納法''' (forward induction) は，ちょうど後ろ向き帰納法が将来のプレーの合理的であることを仮定するのに対して，過去のプレーが合理的であったことを仮定することからそう呼ばれている．プレーヤーは，他方のプレーヤーがどのタイプであるかを知らないので (すなわち，情報が[[完全情報ゲーム|不完全]]で[[非対称情報|非対称]]である)，そのプレーヤーの過去の行動を観察することで，そのプレーヤーがどのタイプであるかの信念を形成する．このようにして，プレーヤーによって形成された，相手が特定のタイプである確率の信念は，合理的である相手プレーヤーの過去のプレーにもとづいている．プレーヤーは行動を通して自分のタイプを伝えるよう選択するかもしれない．

Kohlberg and Mertens (1986) は，前向き帰納法をみたす精緻化である，[[戦略的安定性|安定均衡]]の解概念を導入した．このような安定均衡が，後ろ向き帰納法をみたさないような反例が発見された．この問題を解決するため，{{仮リンク|ジャン＝フランソワ・メルタン|en|Jean-François Mertens}}は，現在ゲーム理論家が{{仮リンク|メルタン安定均衡|en|Mertens-stable equilibrium}}と呼ぶ概念を導入した．これはおそらく前向き帰納法と後ろ向き帰納法を両方ともみたすはじめての解概念である．

== 参考文献 ==
{{
参照方法|date=2016-5-29}}
* Cho, I-K. & Kreps, D. M. (1987) Signaling games and stable equilibria. ''Quarterly Journal of Economics'' 52:179–221.
* {{Cite book | last2=Tirole | first2=Jean | last1=Fudenberg | first1=Drew | title=Game theory | publisher=[[MIT Press]] | isbn=978-0-262-06141-4 | year=1991 | url=http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=8204}}.
* [[ジョン・ハーサニ|Harsanyi, J.]] (1973) Oddness of the number of equilibrium points: a new proof. ''International Journal of Game Theory'' 2:235–250.
* Govindan, Srihari & Robert Wilson, 2008. "Refinements of Nash Equilibrium," The New Palgrave Dictionary of Economics, 2nd Edition.[http://myweb.uiowa.edu/sgovinda/Working-Papers/Refinements%20of%20Nash%20equilibrium-Palgrave-Govindan%20and%20Wils%E2%80%A6.pdf]
* Hines, W. G. S. (1987) Evolutionary stable strategies: a review of basic theory. ''Theoretical Population Biology'' 31:195–272.
* Kohlberg, Elon & Jean-François Mertens, 1986. "On the Strategic Stability of Equilibria," Econometrica, Econometric Society, vol. 54(5), pages 1003-37, September.
* {{cite book | last2=Shoham | first2=Yoav | last1=Leyton-Brown | first1=Kevin | title=Essentials of Game Theory: A Concise, Multidisciplinary Introduction  | publisher=Morgan & Claypool Publishers | isbn=978-1-59829-593-1 | url=http://www.gtessentials.org | year=2008 | location=San Rafael, CA}}
* Mertens, Jean-François, 1989. "Stable Equilibria - A reformulation. Part 1 Basic Definitions and Properties," Mathematics of Operations Research,   Vol. 14, No. 4, Nov. [http://www.jstor.org/pss/3689732]
* Noldeke, G. & Samuelson, L. (1993) An evolutionary analysis of backward and forward induction. ''Games & Economic Behaviour'' 5:425–454.
* [[ジョン・メイナード＝スミス|Maynard Smith, J.]] (1982) ''Evolution and the Theory of Games''.  ISBN 0-521-28884-3
* {{Cite book | last2=Rubinstein | first2=Ariel | last1=Osborne | first1=Martin J. | title=A course in game theory | publisher=[[MIT Press]] | isbn=978-0-262-65040-3 | year=1994}}.
* [[ラインハルト・ゼルテン|Selten, R.]] (1983) Evolutionary stability in extensive two-person games. ''Math. Soc. Sci.'' 5:269–363.
* Selten, R. (1988) Evolutionary stability in extensive two-person games – correction and further development. ''Math. Soc. Sci.'' 16:223–266
* {{cite book | last1=Shoham | first1=Yoav | last2=Leyton-Brown | first2=Kevin | title=Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations | publisher=[[Cambridge University Press]] | isbn=978-0-521-89943-7 | url=http://www.masfoundations.org | year=2009 | location=New York}}
* Thomas, B. (1985a) On evolutionary stable sets. ''J. Math. Biol.'' 22:105–115.
* Thomas, B. (1985b) Evolutionary stable sets in mixed-strategist models. ''Theor. Pop. Biol.'' 28:332–341

== 関連項目 ==
* [[展開型ゲーム]]
* [[摂動完全均衡]]
* [[直観的基準]] (Cho and Kreps 1987)

{{ゲーム理論}}
{{デフォルトソート:かいかいねん}}
[[Category:ゲーム理論]]
[[Category:数学に関する記事]]