ja %E3%82%B3%E3%82%A2 (%E3%82%B2%E3%83%BC%E3%83%A0%E7%90%86%E8%AB%96)

コア (英: core) とは協力ゲーム理論における代表的な解の概念である^[1]。 1953年にGilliesの学位論文の中で初めて定義された^[2]。アルバート・タッカーらによる編著書『ゲーム理論論文集第4巻』（1959年）の中でマーティン・シュービックが一般均衡理論における契約曲線をコアとして一般化できることを証明して以来、経済学におけるコアの重要性が広く知られるようになった^[2]。

定義

提携形n人ゲーム $(N,v)$ を考える^{[† 1]}。このゲームにおける実現可能な利得ベクトル $\mathbf {x} =(x_{1},...,x_{n})$ の内で提携合理性と呼ばれる条件を満たすベクトルの集合をコアという^[1]。

提携合理性 $\Sigma _{i\in S}x_{i}\geq v(S)$

なお、提携合理性は以下に定義されるパレート最適性や個人合理性と呼ばれる条件を一般化したものであるから、コアに属する配分はそれらの条件を満たす^[4]。

パレート最適性 $\Sigma _{i\in N}=v(N)$
個人合理性 任意の $i\in N$ に対して $x_{i}\geq v({i})$

したがって、 $n=2$ のとき、提携合理的な配分は「パレート最適かつ個人合理的な配分」として定義することも可能である^[5]^{[† 2]}。

ワルラス均衡とコア

一般均衡理論において、ワルラス均衡がコアに含まれることが知られている^[6]。

投票理論におけるコア

選択肢が配分 (消費バンドルのリスト) であるときは、どのような非空の提携も配分をブロック (拒否) できると仮定するのは自然である。しかし選択肢が (公共財の供給レベルなど) 社会的に決定すべきものであるときは、十分に人数の多い提携のみが与えられた選択肢をブロックできると仮定するのが適切である。そのような多人数の (「勝利」) 提携の集まりを「シンプルゲーム」( 単純ゲーム，投票ゲーム) と呼ぶ。「選好プロファイルにおけるシンプルゲームのコア」は、勝利提携のみが選択肢 $x$ を拒否して $y$ を実現することができるという考えに基づく概念である。このコアがすべての選好プロファイルに対して非空となる必要十分条件は、そのシンプルゲームの中村ナンバーによって与えられている。^{[† 3]}

脚注

注釈

^ 集合 $N=\{1,2,...,n\}$ はプレイヤーの集合を表している。また、特性関数 $v:2^{N}\to \mathbb {R}$ において、各提携 $S\subseteq N$ に対して実数値 $v(S)$ は提携 $S$ のメンバーが協力することにより獲得できる便益の合計を表している^[3]。
^ $n=2$ すなわち $N=\{1,2\}$ のとき、提携全体 $2^{N}$ の非空な部分集合は $\{1\},\{2\},\{1,2\}$ である。 $S=\{1\}$ のとき $\Sigma _{i\in S}x_{i}\geq v(S)$ はプレイヤー1にとっての個人合理性 $x_{1}\geq v(\{1\})$ を表しており、 $S=\{1,2\}$ のとき $\Sigma _{i\in S}x_{i}\geq v(S)$ はパレート最適性 $x_{1}+x_{2}\geq v(\{1,2\})$ を表している。
^ この節は、英語版ウィキペディア記事のCore(game_theory). Wikipedia: Free Encyclopedia. en:Core (game_theory) - 17 May 2011からの抄訳に基づいて作成された。