単元一覧 › 大学数学 ゲーム理論

ゲーム理論の問題

難易度 4大学院入試の標準レベル証明問題大学数学 ゲーム理論

を 以上の整数とし、プレイヤーの集合を とする。関数 は をみたすとし、提携 の値を で定める特性関数形ゲーム を考える( は の要素の個数)。

ベクトル と に対し ()とおく。 のコアを

と定め、シャープレイ値 を

で定める。

このとき、コア が空でないことと、シャープレイ値 が に属することは同値であることを証明せよ。

この問題で使うもの

この問題を解けるようになるまで(20 技能)

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

一方の向き()は自明です。逆向きは、シャープレイ値を具体的に計算し、さらにコアが空でないことから にどんな不等式が出てくるかを調べましょう。

ヒント 2

は だけで決まるので、 ごとにまとめると係数 が出てきます。また、コアの元 について、 である全ての にわたる の和を 2 通りに数えてみましょう。

ヒント 3

係数は に等しく、望遠鏡和により となります。一方、 は各 を 回ずつ数えるので に等しく、コアの条件からこれは 以上です。

採点の観点と模範解答

自分で証明を書いてから、採点の観点で見比べてください。

採点の観点を見る
  • の向きが自明であることを述べ、示すべきは逆向きであると整理している(1 点)

  • 限界貢献が で だけで決まることと、そのような が 個あることから、係数が になることを計算し、望遠鏡和で を導いている(3 点)

  • コアの元 について、要素数 の提携全体にわたる の和を、コアの不等式から 以上と評価し、各 が 回現れることから に等しいと計算している(3 点)

  • 2 項係数の比 を求め、 を導いている(1 点)

  • から、 での等式と、空でない での (および )を確認し、 と同値性を結論している(2 点)

結果を記録する(このブラウザにだけ保存されます):
模範解答を読む

ならば であることは、 が元 をもつことから直ちに従う。以下、逆向き「 ならば 」を示す。そのために、次の 2 つの補題を示す。

補題 1. すべての について である。

(証明) を固定する。 で ()のとき、 より なので であり、これは だけで決まる。 の要素数は なので、 となる は 個ある。よって

ここで

なので、和は望遠鏡和になり

である( を用いた)。

補題 2. ならば、すべての について である。

(証明) を 1 つとり、 を固定する。要素数 の部分集合 全体についての和 を 2 通りに評価する。

  • コアの条件 を、 である 個の すべてについて足すと 。
  • 一方、和を各 ごとにまとめると、 は かつ である の個数だけ現れる。そのような は、 以外の 個の要素を から選ぶことで決まるので 個ある。よって (コアの条件 を用いた)。

以上より 。 で割り、 を用いると を得る。

逆向きの証明. と仮定する。補題 1 より であるから、任意の について である。

  • のとき なので、全体合理性(効率性)の条件をみたす。
  • のとき なので が成り立つ。
  • のとき であり、補題 2 より である。

よってすべての について かつ であり、 である。

結論. と の両方が示されたので、 で定まるゲームでは、コアが空でないことと、シャープレイ値がコアに属することは同値である。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題