コア (ゲーム理論)

コア () とは協力ゲーム理論における代表的な解の概念である。
1953年にGilliesの学位論文の中で初めて定義された。アルバート・タッカーらによる編著書『ゲーム理論論文集第4巻』（1959年）の中でマーティン・シュービックが一般均衡理論における契約曲線をコアとして一般化できることを証明して以来、経済学におけるコアの重要性が広く知られるようになった。
定義.
提携形"n"人ゲームformula_1を考える。このゲームにおける実現可能な利得ベクトルformula_2の内で提携合理性と呼ばれる条件を満たすベクトルの集合をコアという。
なお、提携合理性は以下に定義されるパレート最適性や個人合理性と呼ばれる条件を一般化したものであるから、コアに属する配分はそれらの条件を満たす。
したがって、formula_7のとき、提携合理的な配分は「パレート最適かつ個人合理的な配分」として定義することも可能である。
ワルラス均衡とコア.
一般均衡理論において、ワルラス均衡がコアに含まれることが知られている。
投票理論におけるコア.
選択肢が配分 (消費バンドルのリスト) であるときは、どのような非空の提携も配分をブロック (拒否) できると仮定するのは自然である。
しかし選択肢が (公共財の供給レベルなど) 社会的に決定すべきものであるときは、十分に人数の多い提携のみが与えられた選択肢をブロックできると仮定するのが適切である。そのような多人数の (「勝利」) 提携の集まりを「シンプルゲーム」(単純ゲーム，投票ゲーム) と呼ぶ。「選好プロファイルにおけるシンプルゲームのコア」は、勝利提携のみが選択肢 formula_8 を拒否してformula_9 を実現することができるという考えに基づく概念である。このコアがすべての選好プロファイルに対して非空となる必要十分条件は、そのシンプルゲームの中村ナンバーによって与えられている。