千葉大学 ゲーム論II

Similar documents
<4D F736F F F696E74202D D8C7689E682C68DC5934B89BB B D985F8CE394BC816A2E707074>

Microsoft PowerPoint - 9.pptx

Microsoft PowerPoint - 9.pptx

Microsoft PowerPoint - H21生物計算化学2.ppt

. 角の二等分線と調和平均 平面上に点 を端点とする線分 と を重ならないようにとる, とし とする の二等分線が線分 と交わる点を とし 点 から に垂直に引いた直線が線分 と交わる点 とする 線分 の長さを求めてみよう 点 から に垂直な直線と および との交点をそれぞれ, Dとする つの直角三

ゲーム論 I 第二回

<4D F736F F D208CF68BA48C6F8DCF8A C30342C CFA90B68C6F8DCF8A7782CC8AEE967B92E8979D32288F4390B394C529332E646F63>

vecrot

2018年度 筑波大・理系数学

20~22.prt

Math-quarium 練習問題 + 図形の性質 線分 は の二等分線であるから :=:=:=: よって = = = 線分 は の外角の二等分線であるから :=:=:=: よって :=: したがって == 以上から =+=+= 右の図において, 点 は の外心である α,βを求めよ α β 70


重要例題113

2015年度 岡山大・理系数学

曲線 = f () は を媒介変数とする自然な媒介変数表示 =,= f () をもつので, これを利用して説明する 以下,f () は定義域で連続であると仮定する 例えば, 直線 =c が曲線 = f () の漸近線になるとする 曲線 = f () 上の点 P(,f ()) が直線 =c に近づくこ

調和系工学 ゲーム理論編

2016.

第121回関東連合産科婦人科学会総会・学術集会 プログラム・抄録

平成 25 年度京都数学オリンピック道場 ( 第 1 回 ) H 正三角形 ABC の外接円の,A を含まない弧 BC 上に点 P をとる. このとき, AP = BP + CP となることを示せ. 解説円周角の定理より, 4APC = 4ABC = 60, であるから, 図のよ

" 01 JJM 予選 4 番 # 四角形 の辺 上に点 があり, 直線 と は平行である.=,=, =5,=,= のとき, を求めよ. ただし,XY で線分 XY の長さを表すものとする. 辺 と辺 の延長線の交点を, 辺 と辺 の延長線の交点を G とする. 5 四角形 は直線 に関して線対称な

Microsoft PowerPoint - 7.pptx

2010年度 筑波大・理系数学

2018年度 東京大・理系数学

2017年度 信州大・医系数学

05 年度センター試験数学 ⅡB () において,cos q 0 であるから,P ( cos q, sin q) より, 直線 OP を表す方程式は y sin q sin q x cos q cos q x すなわち, (sin q) x - (cos q) y 0 ( ) ク 点 O,P,Q が

2017年度 金沢大・理系数学

1 対 1 対応の演習例題を解いてみた 微分法とその応用 例題 1 極限 微分係数の定義 (2) 関数 f ( x) は任意の実数 x について微分可能なのは明らか f ( 1, f ( 1) ) と ( 1 + h, f ( 1 + h)

第2章 多数決原理

Microsoft Word - 微分入門.doc

戦略的行動と経済取引 (ゲーム理論入門)

<4D F736F F D208C51985F82CD82B682DF82CC88EA95E A>

<8D828D5A838A817C A77425F91E6318FCD2E6D6364>

2014年度 千葉大・医系数学

数学 Ⅲ 微分法の応用 大学入試問題 ( 教科書程度 ) 1 問 1 (1) 次の各問に答えよ (ⅰ) 極限 を求めよ 年会津大学 ( 前期 ) (ⅱ) 極限値 を求めよ 年愛媛大学 ( 前期 ) (ⅲ) 無限等比級数 が収束するような実数 の範囲と そのときの和を求めよ 年広島市立大学 ( 前期

2015年度 信州大・医系数学

学習指導要領

Microsoft Word - ミクロ経済学02-01費用関数.doc

< D8C6082CC90AB8EBF816989A B A>

2017年度 千葉大・理系数学

2014年度 筑波大・理系数学

p tn tn したがって, 点 の 座標は p p tn tn tn また, 直線 l と直線 p の交点 の 座標は p p tn p tn よって, 点 の座標 (, ) は p p, tn tn と表され p 4p p 4p 4p tn tn tn より, 点 は放物線 4 p 上を動くこと

線積分.indd

2016年度 筑波大・理系数学

機構学 平面機構の運動学

2013年度 九州大・理系数学

PowerPoint プレゼンテーション

代数 幾何 < ベクトル > 1 ベクトルの演算 和 差 実数倍については 文字の計算と同様 2 ベクトルの成分表示 平面ベクトル : a x e y e x, ) ( 1 y1 空間ベクトル : a x e y e z e x, y, ) ( 1 1 z1

< F2D30365F8EF68BC68CA48B E6A7464>

2011年度 筑波大・理系数学

2011年度 東京大・文系数学

Microsoft Word - K-ピタゴラス数.doc

2015年度 金沢大・理系数学

2019年度 千葉大・理系数学

数学 ⅡB < 公理 > 公理を論拠に定義を用いて定理を証明する 1 大小関係の公理 順序 (a > b, a = b, a > b 1 つ成立 a > b, b > c a > c 成立 ) 順序と演算 (a > b a + c > b + c (a > b, c > 0 ac > bc) 2 図

ポンスレの定理

航空機の運動方程式

Microsoft PowerPoint - 10.pptx

Microsoft PowerPoint - 13economics5_2.pptx

研修コーナー

Microsoft Word - 11 進化ゲーム

tnbp59-21_Web:P2/ky132379509610002944

<4D F736F F D F2095A F795AA B B A815B837D839382CC95FB92F68EAE2E646F63>

Taro-1803 平行線と線分の比

パーキンソン病治療ガイドライン2002

Microsoft PowerPoint - 第3回2.ppt

日本内科学会雑誌第97巻第7号

スライド 1

ミクロ経済学Ⅰ

DVIOUT


ミクロ経済学・基本講義 第2回

日本内科学会雑誌第98巻第4号

_0212_68<5A66><4EBA><79D1>_<6821><4E86><FF08><30C8><30F3><30DC><306A><3057><FF09>.pdf

平成 30 年度入学試験問題 数学 注意事項試験開始後, 問題冊子及び解答用紙のページを確かめ, 落丁, 乱丁あるいは印刷が不鮮明なものがあれば新しいものと交換するので挙手すること 1. 試験開始の合図があるまで問題冊子を聞かないこと 試験開始後は, すべての解答用紙に受験番号 氏名を記入すること

学習指導要領

線形代数とは

スライド 1

議会における政党のパワーを ゲーム理論から見ると?

2011年度 大阪大・理系数学

断面の諸量

() ): (1) f(x) g(x) x = x 0 f(x) + g(x) x = x 0 lim f(x) = f(x 0 ), lim g(x) = g(x 0 ) x x 0 x x0 lim {f(x) + g(x)} = f(x 0 ) + g(x 0 ) x x0 lim x x 0

限界効用は以下のようにして求められます. du d U この式は U という式を で微分する という意味です. 微分ていったい何なのさ で確認しておきましょう. 微分は接線の傾きを求めることでした. 限界効用も, 接線の傾きとして求められます. こちらの方がよく使われますので, マスターしておきまし

2016年度 九州大・理系数学

申告番号 0187, 3666 合理的思考の技術 試験問題 担当小林憲正 試験時間 13:20 14:50 の 1 時間半 試験開始前に以下の注意を無視せずによく読むこと!!!! 問題冊子は試験開始まで閉じておくこと 回答用紙は A4 の白紙を3 枚配布する 配布されたすべての回答用紙の右上に試験開

2018年度 岡山大・理系数学

< BD96CA E B816989A B A>

Microsoft PowerPoint - 08macro6.ppt

1 1. はじめに ポンスレの閉形定理 Jacobi の証明 June 5, 2013 Akio Arimoto ヤコビは [2] においてポンスレの閉形定理に初等幾何を用いた証明を与え ている 大小 2つの円があり 一方が他方を完全に含んでいるとする 大小 2 円の半径をそれぞれ Rr, とする

2018年度 2次数学セレクション(微分と積分)

DVIOUT-r0

Chap2.key

PowerPoint Presentation

snkp-14-2/ky347084220200019175

離散数学

1999年度 センター試験・数学ⅡB

Microsoft PowerPoint - 09re.ppt [互換モード]

<4D F736F F D208CF68BA48C6F8DCF8A C31312C CC295CA8FC194EF90C582C697988E718F8A93BE90C52E646F63>

Microsoft PowerPoint - sc7.ppt [互換モード]

2014年度 九州大・理系数学

2-1 / 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリ

Transcription:

千葉大学ゲーム論 II 第五, 六回 担当 上條良夫 千葉大学ゲーム論 II 第五 六回上條良夫

本日の講義内容 前回宿題の問題 3 の解答 Nash の交渉問題 Nash 解とその公理的特徴づけ 千葉大学ゲーム論 II 第五 六回上條良夫

宿題の問題 3 の解答 ホワイトボードでやる 千葉大学ゲーム論 II 第五 六回上條良夫 3

Nash の二人交渉問題 Nash の二人交渉問題は以下の二つから構成される U: 交渉により実現可能な効用の組み合わせ (u,u ) の集合 ( 交渉の実現可能集合 ) d = (d, d ): 交渉が不成立のときの互いの効用の組 ( 交渉の不一致点 ) 交渉問題は (U,d) と表される 千葉大学ゲーム論 II 第五 六回上條良夫 4

例 00 万円を二人 ( プレイヤー とプレイヤー ) で分け合う状況を考える プレイヤー の取り分を x プレイヤー の取り分を y このとき x + y <= 00, x >= 0, y <= 0 それぞれの効用関数を u(x) = x / u(y) = y 交渉が決裂すると 双方ともに何ももらえない 千葉大学ゲーム論 II 第五 六回上條良夫 5

00 万円をちょうどふたりで分ける状況を考えと y = 00 x なので u = y u u = 00 = 00 x ( u = 00 00 U ) ( u ) d = (0, 0) 千葉大学ゲーム論 II 第五 六回上條良夫 6 0 u

u より一般的な交渉問題の例 U d 千葉大学ゲーム論 II 第五 六回上條良夫 7 u

つまり ここで考える交渉問題とは それがどのような問題に対しての交渉であるのかということについては明示することはしない 代わりに 交渉問題のより根幹となる部分 つまり 交渉によりどのようなことが達成可能であるのか 交渉が決裂したら何がおきるのか という点にだけ注目するのである 我々のここでの関心は このように抽象化されてしまった交渉問題において どのような点が交渉により到達されそうであるのか ( 交渉解 ) という点を考えることである 千葉大学ゲーム論 II 第五 六回上條良夫 8

パレート最適 実現可能集合 U 内のある利得の組み合わせ u = (u, u) がパレート最適であるとは 双方ともに u と同程度に好み いづれか一方は u よりも厳密に好むような U 内の他の利得の組み合わせ t = (t, t) が存在しないことである 言い換えれば U 内に次の条件を満足する t = (t, t) が存在しないことである ( i) ( ii) t t u > u and or t t > u u 千葉大学ゲーム論 II 第五 六回上條良夫 9

u 0000 パレートフロンティア ( パレート最適な点の集合 ) u 00 u 千葉大学ゲーム論 II 第五 六回上條良夫 0 u

個人合理性 実現可能集合内の利得の組み合わせが u が二人にとって d よりも少なくとも同程度の好ましいとき u は個人合理的である つまり u=(u,u) が以下の条件を満足するとき u は個人合理的である u u d d 千葉大学ゲーム論 II 第五 六回上條良夫

u 0000 個人合理的な点の集合 u 00 u 千葉大学ゲーム論 II 第五 六回上條良夫 u

対称性 以下の条件を満足するとき 交渉問題 (U,d) は対称であるといわれる 効用の組み合わせ (a, b) が実現可能集合 U に属するのならば (b, a) も実現可能集合 U に属する d = d 千葉大学ゲーム論 II 第五 六回上條良夫 3

u u u 千葉大学ゲーム論 II 第五 六回上條良夫 4 u

交渉解 交渉問題 (U,d) に対して U 内の個人合理的な効用の組を一つ選ぶルールのことを 交渉解とよぶ 交渉解を F で表すと 各交渉問題 (U,d) に対して F(U,d) は U 内の利得の組であり F(U,d) は個人合理的である F (U,d) が個人 の効用 F (U,d) が個人 の効用 千葉大学ゲーム論 II 第五 六回上條良夫 5

先の条件を満足するような交渉解 F は無数に存在している それでは どのような F であれば 合理的主体の交渉の結果を表すようなルールとしてふさわしいだろうか この点を 公理的なアプローチにより考察することにする 千葉大学ゲーム論 II 第五 六回上條良夫 6

公理的アプローチ 先の条件を満足するような F は無数に存在する では これを ある条件を満足するような F としたらどうであろうか 当然 これにより F の選択肢は減少することになる さらに条件を加えれば さらに F の可能性は狭まることになる このように F の条件を加えていくことにより 唯一つの F を探すようなアプローチを公理的アプローチという 千葉大学ゲーム論 II 第五 六回上條良夫 7

性質 : 交渉解のパレート最適性 交渉解 F は次の条件を満足するとき パレート最適であるという 任意の交渉問題 (U,d) に対して F(U,d) は U におけるパレート最適な利得の組み合わせである つまり 交渉解は常にパレートフロンティア上の利得の組を選択する 千葉大学ゲーム論 II 第五 六回上條良夫 8

性質 : 交渉解の対称性 交渉解 F は次の条件を満足するとき 対称であるという 任意の対称な交渉問題 (U,d) に対して F (U,d) = F (U,d) つまり 交渉解は 仮に交渉問題が対象であるならば 両者の効用が等しいことを要求する 千葉大学ゲーム論 II 第五 六回上條良夫 9

千葉大学ゲーム論 II 第五 六回上條良夫 0 性質 3: 交渉解の正一次変換からの独立性 交渉解 F は次の条件を満足するとき 正一時変換から独立であるという 任意の交渉問題 (U,d) と (U,d) の正一次変換として得られる交渉問題 (U,d ) に対して 以下が成り立つ (α>0, α >0) つまり 交渉解が選択する交渉の結果は 効用の尺度が変換されたとしても影響されない,, ', ', ' β α β α β α β α + = + = + = + = d d d d u u u u ), ( ), (, ), ( ') ', ( β α β α + = + = d U F d U F d U F d U F

性質 4: 交渉解の無関係な選択肢か らの独立性 交渉解 F は次の条件を満足するとき 無関係な選択肢から独立であるという 任意の交渉問題 (U,d) と U を包含するような集合 T に対して 仮に F(T,d) が U 内の利得の組み合わせであるならば F(U,d) は F(T,d) と一致する つまり 交渉解が選択する交渉の結果は 無関係な選択肢が削除されたとしても影響されない 千葉大学ゲーム論 II 第五 六回上條良夫

Nash 解 定理 : パレート最適性 対称性 正一次変換からの独立性 無関係な選択肢からの独立性を満足するような唯一の交渉解が存在する その交渉解とは 任意の交渉問題 (U,d) に対して (u d ) (u d ) を最大化するような U 内の効用の組を選択するようなものである このような交渉解を Nash 解とよぶ F* と書く 千葉大学ゲーム論 II 第五 六回上條良夫

練習 u F*(U,d) = (/, /) 千葉大学ゲーム論 II 第五 六回上條良夫 3 u

定理の証明 では定理の証明にはいろう ここではおおよその直感を説明する 問題を簡単にするために 交渉の不一致点 d は d= (0, 0) に固定する つまり 交渉問題は実現可能集合 U だけで特定化されることになる このとき Nash 解は 単に二人の効用の積を単純化するような効用の組となる 千葉大学ゲーム論 II 第五 六回上條良夫 4

定理を証明するためにすべきことは 四つの条件を満足するようなものが唯一つ Nash 解であること と Nash 解が実際に四つの条件を満足すること を示すこと ここで説明するのは前半だけを説明する つまり 交渉解 F が四つの条件を満足するとき それは効用積を最大化するようなルールであることを示す 千葉大学ゲーム論 II 第五 六回上條良夫 5

() パレートフロンティアが 45 度線 (U ) u パレート最適性と対称性より F(U) = (/, /) 千葉大学ゲーム論 II 第五 六回上條良夫 6 u

() パレートフロンティアが直線 (U ) u b u = u / a u = u / b と効用尺度を変えるとどうなるか? 千葉大学ゲーム論 II 第五 六回上條良夫 7 a u

() パレートフロンティアが直線 u b パレート最適性と対称性より F(U ) = (/, /) 千葉大学ゲーム論 II 第五 六回上條良夫 8 a u

() パレートフロンティアが直線 u b u = u / a,u = u / b なので 正一次変換からの独立性より F(U) = (a/, b/) b/ a/ 千葉大学ゲーム論 II 第五 六回上條良夫 9 a u

(3) パレートフロンティアが曲線 (U 3 ) u 原点とパレートフロンティア上の一点を結ぶ その点におけるパレートフロンティアの接線を引く 3 と の角度が一致するかどうかを確認する 千葉大学ゲーム論 II 第五 六回上條良夫 30 u

(3) パレートフロンティアが曲線 u 原点とパレートフロンティア上の一点を結ぶ その点におけるパレートフロンティアの接線を引く 3 と の角度が一致するかどうかを確認する 千葉大学ゲーム論 II 第五 六回上條良夫 3 u

(3) パレートフロンティアが曲線 u 原点とパレートフロンティア上の一点を結ぶ その点におけるパレートフロンティアの接線を引く 3 と の角度が一致するかどうかを確認する 4 一致する点がみつかったらそこに注目 千葉大学ゲーム論 II 第五 六回上條良夫 3 = u

(3) パレートフロンティアが曲線 u 接線と横軸との交点を a 接線と横軸との交点を b b とすると この で表される点の座標はどうなるか? (a/, b/) 千葉大学ゲーム論 II 第五 六回上條良夫 33 = a u

(3) パレートフロンティアが曲線 u 交渉問題 U 3 を考えると F(U 3 ) = (a/, b/) b であることを思い出せ (a/, b/) 千葉大学ゲーム論 II 第五 六回上條良夫 34 a u

(3) パレートフロンティアが曲線 u b (a/, b/) はもとの交渉問題 U 3 の内部の点なので 無関係な選択肢からの独立性により F(U 3 ) = (a/, b/) (a/, b/) 千葉大学ゲーム論 II 第五 六回上條良夫 35 a u

(3) パレートフロンティアが曲線 u b はいったいどのような点なのだろうか? これは 実は 交渉集合の内部の中の点で 二人の効用の積を最大化する点である (a/, b/) 千葉大学ゲーム論 II 第五 六回上條良夫 36 a u

(3) パレートフロンティアが曲線 u b なぜ において二人の効用の積が最大化されているといえるのだろうか? において u u = ab/4 とパレートフロンティアが接するから (a/, b/) 千葉大学ゲーム論 II 第五 六回上條良夫 37 a u

補足 定理の正確な証明については 例えば 岡田章 ゲーム理論 などを参照せよ また 交渉問題の定式化についてもここでは詳細には説明しなかった 実際には U が有界閉集合かつ凸集合であることが要求される 千葉大学ゲーム論 II 第五 六回上條良夫 38

連絡事項 月 7 日には交渉の範囲内で 中間試験を行う 中間試験は テキスト ノート プリントの持ち込みを認める ただし コンピュータの電源はいれてはいけない 試験時間は 30 分程度を予定している 定期試験は 月 日 千葉大学ゲーム論 II 第五 六回上條良夫 39

宿題 スライド 5 枚目で 例としてとりあげた問題における Nash 解を求めよ 千葉大学ゲーム論 II 第五 六回上條良夫 40