コア (ゲーム理論)
コア (英: core) とは協力ゲーム理論における代表的な解の概念である[1]。 1953年にGilliesの学位論文の中で初めて定義された[2]。アルバート・タッカーらによる編著書『ゲーム理論論文集第4巻』(1959年)の中でマーティン・シュービックが一般均衡理論における契約曲線をコアとして一般化できることを証明して以来、経済学におけるコアの重要性が広く知られるようになった[2]。
定義
[編集]提携形n人ゲームを考える[† 1]。このゲームにおける実現可能な利得ベクトルの内で提携合理性と呼ばれる条件を満たすベクトルの集合をコアという[1]。
- 提携合理性
なお、提携合理性は以下に定義されるパレート最適性や個人合理性と呼ばれる条件を一般化したものであるから、コアに属する配分はそれらの条件を満たす[4]。
- パレート最適性
- 個人合理性 任意のに対して
したがって、のとき、提携合理的な配分は「パレート最適かつ個人合理的な配分」として定義することも可能である[5][† 2]。
ワルラス均衡とコア
[編集]一般均衡理論において、ワルラス均衡がコアに含まれることが知られている[6]。
投票理論におけるコア
[編集]選択肢が配分 (消費バンドルのリスト) であるときは、どのような非空の提携も配分をブロック (拒否) できると仮定するのは自然である。 しかし選択肢が (公共財の供給レベルなど) 社会的に決定すべきものであるときは、十分に人数の多い提携のみが与えられた選択肢をブロックできると仮定するのが適切である。そのような多人数の (「勝利」) 提携の集まりを「シンプルゲーム」( 単純ゲーム,投票ゲーム) と呼ぶ。「選好プロファイルにおけるシンプルゲームのコア」は、勝利提携のみが選択肢 を拒否して を実現することができるという考えに基づく概念である。このコアがすべての選好プロファイルに対して非空となる必要十分条件は、そのシンプルゲームの中村ナンバーによって与えられている。[† 3]
脚注
[編集]注釈
[編集]- ^ 集合はプレイヤーの集合を表している。また、特性関数において、各提携に対して実数値は提携のメンバーが協力することにより獲得できる便益の合計を表している[3]。
- ^ すなわちのとき、提携全体の非空な部分集合はである。のときはプレイヤー1にとっての個人合理性を表しており、のときはパレート最適性を表している。
- ^ この節は、英語版ウィキペディア記事のCore(game_theory). Wikipedia: Free Encyclopedia. en:Core (game_theory) - 17 May 2011からの抄訳に基づいて作成された。
出典
[編集]- ^ a b 岡田 2008, p. 224.
- ^ a b 鈴木 1999, p. 191.
- ^ 岸本 2015.
- ^ 岡田 2008, pp. 222–224.
- ^ 奥野 2008, p. 166.
- ^ 奥野 2008, p. 167.
引用文献
[編集]- 岡田章『ゲーム理論・入門:人間社会の理解のために』有斐閣〈有斐閣アルマ〉、2008年。ISBN 978-4-641-12362-5。
- 奥野正寛『ミクロ経済学』東京大学出版会、2008年。ISBN 978-4130421270。
- 岸本信「協力ゲーム理論入門」『オペレーションズ・リサーチ』、343-350頁2015年。
- 鈴木光男『ゲーム理論の世界』勁草書房、1999年。ISBN 978-4326550371。