プレイヤー集合 の提携形ゲーム(特性関数形ゲーム) が次で与えられている。
このゲームにおけるプレイヤー のシャープレイ値 を求めよ。
シャープレイ値
提携形ゲーム のシャープレイ値を求められる。求め方は、全員の並び順ごとの限界貢献 の平均、または公式 による
前提
- 順列・円順列・重複順列 (数学A 場合の数と確率)
この技能までの道筋(4 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
説明
シャープレイ値は、何人かが協力して得た成果を、各人の「貢献度」に応じて一人ひとりに公平に分ける方法です。費用の分担、利益の配分、投票の影響力の測定、機械学習モデルの予測に対する各特徴量の寄与の評価などに使われます。この技能を身につけると、提携形ゲームの各プレイヤーの取り分 を、並び順の数え上げか公式で計算できるようになります。
なぜそうしてよいのか
まず用語を決めます。プレイヤーの集合を とし、 の部分集合 (提携と呼ぶ)ごとに、そのメンバーだけで協力したときに得られる値 が決まっているものを提携形ゲームといいます。誰もいない提携の値は と約束します。 に入っていない人 が に加わったときの増加分 を、 の への限界貢献といいます。
全員が 1 人ずつ順に部屋に入ってきて、入った瞬間に限界貢献を受け取ると考えます。ただし、入る順番によって受け取る額は変わります。先に来た人が多い提携に加わるほど、得をすることも損をすることもあるからです。そこで、 人の並び順 通りがどれも同じ確からしさで起こるとして、各人の限界貢献を平均したものを と定めます。これがシャープレイ値です。1 つの並び順を固定すると、全員の限界貢献の和は と打ち消し合い、ちょうど になります。したがって平均をとっても が成り立ち、全体の成果が過不足なく分配されます。
並び順を全部書き出さなくても済む公式は、積の法則から導けます。 より前に来た人の集合がちょうど ()になる並び順を数えます。前に の 人を並べる方法が 通り、次に が来て、残りの 人を後ろに並べる方法が 通りです。よってそのような並び順は 通りあり、全体に占める割合は です。これを重みとして限界貢献を足し合わせると、次の公式になります。
手順
プレイヤーの人数 と、すべての提携の値 を確認する。 も忘れずに書いておく。
求めたいプレイヤー を含まない提携 を、空集合も含めてすべて書き出す(全部で 個ある)。
各 について限界貢献 を計算する。
各 の重み を計算する。これは の直前までに の全員がそろっている並び順の割合である。 が小さいときは、手順 3〜5 の代わりに 通りの並び順を全部書き出し、限界貢献を平均してもよい。
重みと限界貢献の積を足し合わせて を得る。検算として、重みの合計が 1 になることと、全員分を求めた場合は になることを確かめる。
例題
プレイヤー の提携形ゲーム が , , , , , で与えられている。プレイヤー のシャープレイ値 を求めよ。
例題の解答
手順 1: で、値はすべて与えられており、 である。
手順 2: を含まない提携は の 4 個である。
手順 3:限界貢献を計算する。:。:。:。:。
手順 4:重みを計算する。 のとき 、 のとき 、 のとき である。重みの合計は となり、正しい。
手順 5:重みと限界貢献の積を足す。。
(並び順による確認) 通りの並び順ごとに、 の限界貢献は次のとおりである。:0、:0、:4、:10、:6、:10。合計は 30 なので、平均は となり一致する。同様にすると , となり、 も確かめられる。
答え:
よくある誤り
を含まない提携 をすべて同じ重み で平均してしまう誤り。正しくは、重みは で、 の大きさによって変わる。たとえば なら、重みは の順に であり、どれも になるわけではない。
の項を書き忘れる、あるいは差を取らずに だけを足してしまう誤り。正しくは、 の項 も含め、必ず差 を足す。
重みの に 自身を数えてしまい、 などとする誤り。正しくは、 は より前にいる人だけの集合で、 の後ろには 人が並ぶので、重みは である。計算後に重みの合計が 1 になるかを確かめると、この誤りに気づける。
並び順で計算するとき、限界貢献の和を並び順の総数 ではなく、異なる提携の個数で割ってしまう誤り。正しくは である。例題なら和 30 を で割って 5 となる。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
人の職人 が、協力して作品を作って販売する。協力する職人の集合 が得られる利益(単位:万円)を とし、プレイヤー集合 の提携形ゲーム(特性関数形ゲーム) が次で与えられている。
このゲームにおける職人 のシャープレイ値 を求めよ。人の職人 が共同で作品を作って売ることを考える。参加する職人の集合(提携) が得られる利益を (単位:万円)とし、プレイヤー集合 の提携形ゲーム(特性関数形ゲーム) が次で与えられているとする。
このゲームにおける職人 のシャープレイ値 を求めよ。
この技能を使う問題
つの航空会社 が、共同で 本の滑走路を建設する。会社 が使う機体に必要な長さの滑走路を単独で建設すると、その費用は (単位:億円)で、
である。長い滑走路は短い滑走路の用途も兼ねる。そのため、会社の集合 が共同で建設するときの費用は
とする。この費用ゲーム のシャープレイ値 を求めよ。ただし、各会社 のシャープレイ値は
で定める(各会社の費用負担額を表す)。答えは の順の組で答えよ。プレイヤー集合 の提携形ゲーム(特性関数形ゲーム) が
で与えられている。このゲームのシャープレイ値 を、この順に組で求めよ。売り手のプレイヤー が品物を 個だけ持っており、プレイヤー 自身にとってこの品物の価値は である。買い手のプレイヤー はそれぞれこの品物を高々 個欲しがっており、品物を手に入れたときの価値はそれぞれ である。この状況を、プレイヤー集合 の提携形ゲーム(特性関数形ゲーム) として次のように表す。各提携 に対し、 とする。ここで である()。このゲームのシャープレイ値を とするとき、この組を求めよ。
ある委員会には 人の委員 がおり、それぞれ 票、 票、 票、 票の票数を持つ(合計 票)。議案は、賛成する委員の票数の合計が 票以上のときに可決される。
プレイヤー集合 の提携形ゲーム を、提携 に属する委員の票数の合計を ()として
で定める。このゲームにおける委員 のシャープレイ値 を求め、組 の形で答えよ。プレイヤー全体の集合を とする提携形(特性関数形)ゲーム を考える。 は を満たす実数の定数とする。 は のうちの互いに異なるものを表し、特性関数 は次で与えられる。
- 、
- 、
- 、
このゲームのコア を、
を満たし、かつすべての提携 について
を満たす 全体の集合と定める。コア が空でないような の最大値を 、シャープレイ値 が に属するような の最大値を とする。 をこの順に組 で求めよ。
プレイヤー集合 の提携形ゲーム(特性関数形ゲーム)を考える。プレイヤー はそれぞれ左手用の手袋を 枚ずつ、プレイヤー はそれぞれ右手用の手袋を 枚ずつ持っており、左右 枚ずつの組が つできるごとに価値 が生まれる。すなわち提携 に対し、 に含まれる のプレイヤーの人数を 、 のプレイヤーの人数を として
と定める()。配分 のうち、 かつすべての提携 について を満たすもの全体をコアという。このゲームのコアはただ 1 点からなる。そのコアの点の第 1 成分を 、プレイヤー のシャープレイ値を とするとき、 を求めよ。
を 以上の整数とし、プレイヤーの集合を とする。関数 は をみたすとし、提携 の値を で定める特性関数形ゲーム を考える( は の要素の個数)。
ベクトル と に対し ()とおく。 のコアを
と定め、シャープレイ値 を
で定める。このとき、コア が空でないことと、シャープレイ値 が に属することは同値であることを証明せよ。