シャープレイ値

シャープレイ値（シャープレイち、英: Shapley value）とは、ゲーム理論において協力によって得られた利得を各プレイヤーへ公正に^[1] 分配する方法の一案である。1953年の論文でこの概念を提示したロイド・シャープレイに由来する名称である。

シャープレイ値が想定する状況

協力ゲームの理論では、プレイヤーが提携し、その提携によって獲得された報酬を分配するような状況を考える。このときプレイヤー間で提携への貢献度が異なるとしたら、どのように報酬を分配することが公正な分配であるといえるか、各プレイヤーは作業全体に対してどれほど重要であり、その重要度に応じた合理的な報酬を期待できるか、という問題が生じる。シャープレイ値はこのような状況における公正な報酬計算方法の一つである。

形式的な定義

状況を定式化するために、特性関数型ゲームの概念を導入する。プレイヤーの集合 $N$ および関数を $v\;:\;{\mathcal {P}}(N)\;\to \Re$ へ定義する。こうしてプレイヤーの部分集合から実数への関数（特性関数という）は以下の性質をもつ。

$v(\varnothing )=0$
$v(S\cup T)\geq v(S)+v(T)$

ここで $S$ と $T$ は $N$ の任意の非交の（交わりが空集合の）部分集合である。

関数 $v$ の性質は以下のとおりである。もしも $S$ がプレイヤーの提携で、協力に合意している場合、 $v(S)$ はその提携からの総報酬の期待値を示す。このときの $v(S)$ の値は $S$ 以外のプレイヤーの行動とは独立に決まる。

不等式で示される第二の条件 $v$ の優加法性とは、二つのグループ（単独でもよい）が協働することで報酬の総和が増えることはあっても減ることはないという性質を表す。

プレイヤーのシャープレイ値

シャープレイ値は，全員が協働するとしたときに，総報酬をプレイヤーに分配する方法の一つである。この分配は，以下に示す条件を満足する唯一の分配案であるという意味で「公正な」分配である。プレイヤー $i$ は上記の定義に基づく特性関数 $v$ のもとで、

\phi _{i}(v)=\sum _{S\subseteq N\setminus \{i\}}{\frac {|S|!\;(n-|S|-1)!}{n!}}(v(S\cup \{i\})-v(S))

という配分を得る。ここで、 $n$ はプレイヤーの総数であり、足し合わせの範囲は $N$ の部分集合 $S$ のうちプレイヤー $i$ を含まないものすべてである。本式は、プレイヤーがひとりずつ提携に加わり、その寄与分 $v(S\cup \{i\})-v(S)$ を公正な報酬として要求するときのプレイヤー $i$ の取り分を、提携に参加する順序を変えたすべての順列について考え、平均したものである。

シャープレイベクトル

シャープレイベクトル (Shapley vector) は全プレーヤーのシャープレイ値を要素とするベクトルであり、

\phi (v)=(\phi _{1}(v),\phi _{2}(v),...,\phi _{n}(v))

と表される。

性質

シャープレイ値は以下のような好ましい性質を持つ。^[2]

1. 個人合理性: 個人合理性とは，全てのプレイヤーに1人で提携を作る時の利得 $v(\{i\})$ 以上の利得を与える性質である。すなわち $N$ の全てのプレイヤー $i$ に対して、

\phi _{i}(v)\geqq v(\{i\})

が成り立つ。

2. 全体合理性: $N$ 全体の提携値は各プレイヤーの利得の総和である。

\sum _{i\in N}\phi _{i}(v)=v(N)

3. 対称性: プレイヤー $i$ とプレイヤー $j$ が同様の意味を持つ、つまり、 $v(S\cup \{i\})=v(S\cup \{j\})$ が $N$ の $i$ も $j$ も含まない全ての部分集合 $S$ に成り立つ場合、

\phi _{i}(v)=\phi _{j}(v)

である。

4. 加法性: 2つの特性関数 $v$ と $w$ によって作った提携ゲームの和 $v+w$ において，各プレイヤーの報酬はそれぞれの提携ゲームで得られる報酬の和と一致する。

\phi _{i}(v+w)=\phi _{i}(v)+\phi _{i}(w)

これが $N$ の全てのプレイヤーについてそれぞれ成り立つ。

5. ナルプレイヤーに関する性質: ナルプレイヤー i に対して報酬を与えない。ここで、プレイヤー $i$ がナルプレイヤーであるとは、 $i$ が $N$ の $i$ を含まない全ての部分集合 $S$ について、 $v(S\cup \{i\})=v(S)$ を満たすことを言う。

実際のところ,プレイヤー集合 $N$ と各提携に対する利得の値 $v(S)$ を決める特性関数が与えられたとき, シャープレイ値ベクトルは、全ての優加法的なゲーム(superadditive games)のクラスにおいて、上に挙げた特性2,3,4,5の4つの全ての特性を満たす唯一のベクトルである。