ゲーム理論の問題
を 以上の整数とし、プレイヤーの集合を とする。関数 は をみたすとし、提携 の値を で定める特性関数形ゲーム を考える( は の要素の個数)。
ベクトル と に対し ()とおく。 のコアを
と定め、シャープレイ値 を
で定める。
このとき、コア が空でないことと、シャープレイ値 が に属することは同値であることを証明せよ。
この問題で使うもの
この問題を解けるようになるまで(20 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
一方の向き()は自明です。逆向きは、シャープレイ値を具体的に計算し、さらにコアが空でないことから にどんな不等式が出てくるかを調べましょう。
ヒント 2
は だけで決まるので、 ごとにまとめると係数 が出てきます。また、コアの元 について、 である全ての にわたる の和を 2 通りに数えてみましょう。
ヒント 3
係数は に等しく、望遠鏡和により となります。一方、 は各 を 回ずつ数えるので に等しく、コアの条件からこれは 以上です。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
の向きが自明であることを述べ、示すべきは逆向きであると整理している(1 点)
限界貢献が で だけで決まることと、そのような が 個あることから、係数が になることを計算し、望遠鏡和で を導いている(3 点)
コアの元 について、要素数 の提携全体にわたる の和を、コアの不等式から 以上と評価し、各 が 回現れることから に等しいと計算している(3 点)
2 項係数の比 を求め、 を導いている(1 点)
から、 での等式と、空でない での (および )を確認し、 と同値性を結論している(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
ならば であることは、 が元 をもつことから直ちに従う。以下、逆向き「 ならば 」を示す。そのために、次の 2 つの補題を示す。
補題 1. すべての について である。
(証明) を固定する。 で ()のとき、 より なので であり、これは だけで決まる。 の要素数は なので、 となる は 個ある。よって
ここで
なので、和は望遠鏡和になり
である( を用いた)。
補題 2. ならば、すべての について である。
(証明) を 1 つとり、 を固定する。要素数 の部分集合 全体についての和 を 2 通りに評価する。
- コアの条件 を、 である 個の すべてについて足すと 。
- 一方、和を各 ごとにまとめると、 は かつ である の個数だけ現れる。そのような は、 以外の 個の要素を から選ぶことで決まるので 個ある。よって (コアの条件 を用いた)。
以上より 。 で割り、 を用いると を得る。
逆向きの証明. と仮定する。補題 1 より であるから、任意の について である。
- のとき なので、全体合理性(効率性)の条件をみたす。
- のとき なので が成り立つ。
- のとき であり、補題 2 より である。
よってすべての について かつ であり、 である。
結論. と の両方が示されたので、 で定まるゲームでは、コアが空でないことと、シャープレイ値がコアに属することは同値である。