More Related Content
More from ssusere0a682 (20)
ゲーム理論 BASIC 演習77 -非分割財の取引:2回繰り返し-
- 3. શϕΠδΞϯߧۉ
શϕΠδΞϯߧۉઓུͷ ͱ৴೦ͷମܥ ͷ Ͱ
͕ ͷͱͰஞ࣍߹ཧతͰ͋Γ ͕ ʹ߹తͰ͋ΔͷΛ ऑ શϕΠδΞϯ͏͍ͱߧۉ
ߦಈઓུͷஞ࣍߹ཧੑల։ܗήʔϜ ʹ͓͍ͯ ৴೦ͷମܥ ͕༩͑ΒΕ͍ͯΔͱ͢Δ
͜ͷͱ͖ ઓུͷ ͕ ϓϨΠϠʔ ͷใू߹ ʹ͓͍ͯҎԼΛຬͨ͢ͱ͖
৴೦ͷମܥ ͷͱͰใू߹ ʹ͓͍ͯஞ࣍߹ཧతͰ͋Δͱ͍͏
৴೦ͷମͱܥ߹ੑల։ܗήʔϜ ʹ͓͍ͯ ઓུͷ ͕༩͑ΒΕ͍ͯΔͱ͢Δ
͜ͷͱ͖ ৴೦ͷମܥ ͕ ҙͷϓϨΠϠʔ ͷҙͷใू߹ ʹ͓͍ͯ
Ͱ͋Ε ͯ͢ͷ ͷ ʹ͍ͭͯ
ͱͳΔͱ͖ ઓུͷ ʹ͓͍ͯ߹తͰ͋Δͱ͍͏
b μ (b, μ)
b μ μ b
Γ μ
b = (b1
, ⋯, bn
) i ui
l
b μ ui
l
Hi
(ui
l, μ, (bi,ui
l, b−i,ui
l)) ≥ Hi
(ui
l, μ, (b′

i,ui
l, b−i,ui
l)), ∀b′

i,ui
l ∈ Bi,ui
l
Γ b = (b1
, ⋯, bn
)
μ i ui
l
Prob(ui
l |b) 0 ui
l x*
μ(x*) =
Prob(x*|b)
∑x∈ui
l
Prob(x|b)
μ b
ߦಈઓུʹΑͬͯ౸ୡՄೳͳ
ܦ࿏ʹ͓͚Δ߹ཧੑͷΈߟ͑Δ
- 4. ͋Δֆը ඇׂࡒ ΛചΓ͍ͨͱߟ͍͑ͯΔͱͦΕΛങ͍͍ͨͱߟ͍͑ͯΔ#͕͍Δ
ͦͷࡒʹର͠ Ձͳ͍ͱߟ͍͑ͯΔҰํ #Ձ Ͱ͋Δͱߟ͍͑ͯΔ
͜ͷ#ͷධՁࢲతใͰ͋Γ Βͳ͍͕ ධՁ ͷࣄલڞ༗ࣝͰ͋Δ
ҎԼͷྲྀΕͰճͷऔҾ͕ߦΘΕΔɿ
ചΓख͕Ձ֨ Λఏࣔ͢Δ
ങ͍ख#͕ͦͷՁ֨ ͰऔҾʹԠ͡Δ͔ΛܾΊΔ
औҾʹԠͨ͡߹ ͦͷՁ֨Ͱചങ͕ߦΘΕΔऴྃ
औҾʹԠ͡ͳ͍߹
ධՁ ͱͯ͠ ͱ ͕औΓ͏Δͱ͠ Ͱ͋Δͱ͢Δ
֬ ͱ͢Δ ͱ͢Δ
͜ͷͱ͖ ७ਮઓུͰͷશϕΠδΞϯߧۉΛߟ͑ ήʔϜΛߟͤΑ
ͳ͓ ങ͍ख#Ԡͯ͡Ԡ͡ͳͯ͘རಘ͕มΘΒͳ͍ͱ͖ ແࠩผͰ͋Δͱ͖ Ԡ͡Δͱ͢Δ
·ͨ ճͷऔҾͷརಘׂΓҾ͔Ε ׂҾҼࢠ ͱ͢Δ
v
v
p1 ≥ 0
p1
v vH vL vH vL 0
P(vH) = λ P(vL) = 1 − λ 0 λ 1
0 δ 1
ചΓख͕Ձ֨ Λఏࣔ͢Δ
ങ͍ख#͕ͦͷՁ֨ ͰऔҾʹԠ͡Δ͔ΛܾΊΔ
औҾʹԠͨ͡߹ ͦͷՁ֨Ͱചങ͕ߦΘΕΔ
औҾʹԠ͡ͳ͍߹ औҾ͕ߦΘΕͣʹऴྃ
p2 ≥ 0
p2
- 6. ճͷऔҾ ങ͍ख#ʹ͍ͭͯ ࠷దͳߦಈΛߟ͑Δͱ
ධՁ ΛͭλΠϓͷ߹
ͷͱ͖ Ԡ͡Δ
ͷͱ͖ ڋ൱
ධՁ ΛͭλΠϓͷ߹
ͷͱ͖ Ԡ͡Δ
ͷͱ͖ ڋ൱
vH
δ(vH − p2) ≥ 0 ⇔ vH ≥ p2
δ(vH − p2) 0 ⇔ vH p2
vL
δ(vL − p2) ≥ 0 ⇔ vL ≥ p2
δ(vL − p2) 0 ⇔ vL p2
ղ
A
A B
p2
Ԡ͡Δ
ͷརಘ #ͷརಘ
(δp2, δ(vH − p2))
B
ڋ൱
Ԡ͡Δ
(δp2, δ(vL − p2))
ڋ൱
p2
(0, 0)
(0, 0)
ճ
- 7. ධՁ ΛͭλΠϓͷ߹
ͷͱ͖ Ԡ͡Δ
ͷͱ͖ ڋ൱
ධՁ ΛͭλΠϓͷ߹
ͷͱ͖ Ԡ͡Δ
ͷͱ͖ ڋ൱
ചΓखͷ৴೦ Λߟྀͭͭ͠
Ձ֨ Ͱͷظརಘ
ͷͱ͖
ͲͪΒͷങ͍खͷλΠϓڋ൱͢ΔͨΊ
ظརಘ
vH
δ(vH − p2) ≥ 0 ⇔ vH ≥ p2
δ(vH − p2) 0 ⇔ vH p2
vL
δ(vL − p2) ≥ 0 ⇔ vL ≥ p2
δ(vL − p2) 0 ⇔ vL p2
μ
p2
p2 vH vL
0
ղ
A
A B
p2
Ԡ͡Δ
ͷརಘ #ͷརಘ
(δp2, δ(vH − p2))
B
ڋ൱
Ԡ͡Δ
(δp2, δ(vL − p2))
ڋ൱
p2
(0, 0)
(0, 0)
ճ
μ
1 − μ
৴೦
- 8. ചΓखͷ৴೦ Λߟྀͭͭ͠ Ձ֨ Ͱͷظརಘ
ͷͱ͖
ධՁ ͷλΠϓԠ͡Δ͕ ධՁ ͷλΠϓڋ൱
ظརಘ
μ p2
vH ≥ p2 vL
vH vL
μδp2 + (1 − μ)0 = μδp2
ղ
A
A B
p2
Ԡ͡Δ
ͷརಘ #ͷརಘ
(δp2, δ(vH − p2))
B
ڋ൱
Ԡ͡Δ
(δp2, δ(vL − p2))
ڋ൱
p2
(0, 0)
(0, 0)
ճ
μ
1 − μ
৴೦
- 9. ചΓखͷ৴೦ Λߟྀͭͭ͠ Ձ֨ Ͱͷظརಘ
ͷͱ͖
ͲͪΒͷങ͍खͷλΠϓԠ͡ΔͨΊ
ظརಘ
μ p2
vH vL ≥ p2
μδp2 + (1 − μ)δp2 = δp2
ղ
A
A B
p2
Ԡ͡Δ
ͷརಘ #ͷརಘ
(δp2, δ(vH − p2))
B
ڋ൱
Ԡ͡Δ
(δp2, δ(vL − p2))
ڋ൱
p2
(0, 0)
(0, 0)
ճ
μ
1 − μ
৴೦
- 10. ചΓखͷ৴೦ Ձ֨ Ͱͷظརಘ
ͷͱ͖
ͷͱ͖
࠷దͳՁ֨
ͷͱ͖
࠷దͳՁ֨
ͷ৴೦ͷͱ͖
ͷ৴೦ͷͱ͖
μ p2
p2 vH vL 0
vH ≥ p2 vL 0 ≤ μδp2 ≤ μδvH
p2 = vH
vH vL ≥ p2 0 ≤ δp2 ≤ δvL
p2 = vL
δvL ≤ μδvH ⇔
vL
vH
≤ μ ≤ 1 p2 = vH
δvL ≥ μδvH ⇔
vL
vH
≥ μ ≥ 0 p2 = vL
ղ
A
A B
p2
Ԡ͡Δ
ͷརಘ #ͷརಘ
(δp2, δ(vH − p2))
B
ڋ൱
Ԡ͡Δ
(δp2, δ(vL − p2))
ڋ൱
p2
(0, 0)
(0, 0)
ճ
μ
1 − μ
৴೦
- 11. ճͷՁ֨ ͕࠷దʹͳΔ߹͕͋Δͱͯ͠
ճͷങ͍ख#ͷߦಈ
ධՁ ͷλΠϓԠ͡Δ͕ ධՁ ڋ൱
ചΓखͷظརಘ
͜ͷͱ͖ ճͷങ͍ख#ͷ࠷దߦಈ
ධՁ ΛͭλΠϓͷ߹
ͷͱ͖ Ԡ͡Δ
ͷͱ͖ ڋ൱
ධՁ ΛͭλΠϓͷ߹
ͷͱ͖ Ԡ͡Δ
ͷͱ͖ ڋ൱
p2 = vH
vH vL
μδvH
vH
vH − p1 ≥ 0 ⇔ vH ≥ p1
vH − p1 0 ⇔ vH p1
vL
vL − p1 ≥ 0 ⇔ vL ≥ p1
vL − p1 0 ⇔ vL p1
ղ
A
B
p1
Ԡ͡Δ
ใू߹
(p1, vH − p1)
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ (p1, vL − p1)
ڋ൱
p1
λ
1 − λ
(δvH, δ(vH − vH))
(0, 0)
Ͱ
ධՁ ͷλΠϓԠ͡Δ
WධՁ ͷλΠϓڋ൱
p2 = vH
vH
vL
Ͱ
ධՁ ͷλΠϓԠ͡Δ
ධՁ ͷλΠϓڋ൱
p2 = vH
vH
vL
- 12. ചΓखͷ৴೦ Λߟྀͭͭ͠ Ձ֨ Ͱͷظརಘ
ͷͱ͖
ͲͪΒͷങ͍खͷλΠϓڋ൱͢ΔͨΊ
ظརಘ
ͷͱ͖
ධՁ ͷλΠϓԠ͡Δ͕ ධՁ ͷλΠϓڋ൱
ظརಘ
࠷దͳՁ֨
ͷͱ͖
ͲͪΒͷങ͍खͷλΠϓԠ͡ΔͨΊ
ظརಘ
࠷దͳՁ֨
λ p1
p1 vH vL
λδvH
vH ≥ p1 vL
vH vL
λp1 + (1 − λ)0 = λp1 ≤ λvH
p1 = vH
vH vL ≥ p1
λp1 + (1 − λ)p1 = p1 ≤ vL
p1 = vL
ղ
A
B
p1
Ԡ͡Δ
ใू߹
(p1, vH − p1)
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ (p1, vL − p1)
ڋ൱
p1
λ
1 − λ
(δvH, δ(vH − vH))
(0, 0)
Ͱ
ධՁ ͷλΠϓԠ͡Δ
WධՁ ͷλΠϓڋ൱
p2 = vH
vH
vL
Ͱ
ධՁ ͷλΠϓԠ͡Δ
ධՁ ͷλΠϓڋ൱
p2 = vH
vH
vL
ͷ৴೦ͷͱ͖
ͷ৴೦ͷͱ͖
vL ≤ λvH ⇔
vL
vH
≤ λ 1 p1 = vH
vL λvH ⇔ 0 λ
vL
vH
p1 = vL
- 13. ճͷՁ֨ ͕࠷దʹͳΔ߹Λߟ͍͑ͯͨ ͷ৴೦ͷͱ͖
͔͠͠ͳ͕Β ߹తͳ৴೦ ͱͳΓ ͷ৴೦ͷͱ͖ ͕࠷దͱͳΔͷͰ ໃ६
p2 = vH vL ≤ λvH ⇔
vL
vH
≤ λ 1 p1 = vH
μ = 0
vL
vH
μ ≥ 0 p2 = vL
ղ
A
B
vH
Ԡ͡Δ
ใू߹
(vH, vH − vH)
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ (vH, vL − vH)
ڋ൱
vH
A
A B
vH
Ԡ͡Δ (δvH, δ(vH − vH))
B
ڋ൱
Ԡ͡Δ
(δvH, δ(vL − vH))
ڋ൱
vH
(0, 0)
(0, 0)
λ
1 − λ
0
1
৴೦
ϕΠζͷϧʔϧʹΑΓ
1 − λ
0 + (1 − λ)
= 1
- 14. ճͷՁ֨ ͕࠷దʹͳΔ߹Λߟ͍͑ͯͨ ͷ৴೦ͷͱ͖
౸ୡ͠ͳ͍ใू߹ʹ͓͚Δҙͷ৴೦͕߹తͳͷͰ ͷ৴೦߹తͰ ͕࠷ద
p2 = vH vL λvH ⇔ 0 λ
vL
vH
p1 = vL
vL
vH
≤ μ ≤ 1 p2 = vH
ղ
A
B
vL
Ԡ͡Δ
ใू߹
(vL, vH − vL)
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ (vL, vL − vL)
ڋ൱
vL
A
A B
vH
Ԡ͡Δ (δvH, δ(vH − vH))
B
ڋ൱
Ԡ͡Δ
(δvH, δ(vL − vH))
ڋ൱
vH
(0, 0)
(0, 0)
λ
1 − λ
μ
1 − μ
vL
vH
≤ μ ≤ 1
- 15. ճͷՁ֨ ͕࠷దʹͳΔ߹͕͋Δͱͯ͠
ճͷങ͍ख#ͷߦಈ
ͲͪΒͷങ͍खͷλΠϓԠ͡ΔͨΊ
ظརಘ
͜ͷͱ͖ ճͷങ͍ख#ͷ࠷దߦಈ
ධՁ ΛͭλΠϓͷ߹
ͷͱ͖ Ԡ͡Δ
ͷͱ͖ ڋ൱
ධՁ ΛͭλΠϓͷ߹
ͷͱ͖ Ԡ͡Δ
ͷͱ͖ ڋ൱
p2 = vL
δvL
vH
vH − p1 ≥ δ(vH − vL) ⇔ (1 − δ)vH + δvL ≥ p1
vH − p1 δ(vH − vL) ⇔ (1 − δ)vH + δvL p1
vL
vL − p1 ≥ 0 ⇔ vL ≥ p1
vL − p1 0 ⇔ vL p1
ղ
A
B
p1
Ԡ͡Δ
ใू߹
(p1, vH − p1)
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ (p1, vL − p1)
ڋ൱
p1
λ
1 − λ
(δvL, δ(vH − vL))
Ͱ
ධՁ ͷλΠϓԠ͡Δ
WධՁ ͷλΠϓڋ൱
p2 = vH
vH
vL
Ͱ
ධՁ ͷλΠϓ
ධՁ ͷλΠϓͲͪΒԠ͡Δ
p2 = vH
vH
vL
(δvL, δ(vL − vL))
- 16. ചΓखͷ৴೦ Λߟྀͭͭ͠ Ձ֨ ͰͷظརಘΛߟ͑Δ
ΑΓ
Ͱ͋Δ͜ͱʹؾΛ͚ͭͯ
ͷͱ͖
ͲͪΒͷങ͍खͷλΠϓڋ൱͢ΔͨΊ
ظརಘ
ͷͱ͖
ධՁ ͷλΠϓԠ͡Δ͕ ධՁ ͷλΠϓڋ൱
ظརಘ
࠷దͳՁ֨
ͷͱ͖
ͲͪΒͷങ͍खͷλΠϓԠ͡ΔͨΊ
ظརಘ
࠷దͳՁ֨
λ p1
(1 − δ)vH + δvL − vL = (1 − δ)(vH − vL) 0
(1 − δ)vH + δvL vL
p1 (1 − δ)vH + δvL vL
δvL
(1 − δ)vH + δvL ≥ p1 vL
vH vL
λp1 + (1 − λ)δvL ≤ λ((1 − δ)vH + δvL) + (1 − λ)δvL
p1 = (1 − δ)vH + δvL
(1 − δ)vH + δvL vL ≥ p1
λp1 + (1 − λ)p1 = p1 ≤ vL
p1 = vL
ղ
A
B
p1
Ԡ͡Δ (p1, vH − p1)
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ (p1, vL − p1)
ڋ൱
p1
λ
1 − λ
Ͱ
ධՁ ͷλΠϓԠ͡Δ
WධՁ ͷλΠϓڋ൱
p2 = vH
vH
vL
Λຬͨ͢৴೦ ͷͱ͖
Λຬͨ͢৴೦ ͷͱ͖
vL ≤ λ((1 − δ)vH + δvL) + (1 − λ)δvL λ p1 = (1 − δ)vH + δvL
vL λ((1 − δ)vH + δvL) + (1 − λ)δvL λ p1 = vL
(δvL, δ(vH − vL))
Ͱ
ධՁ ͷλΠϓ
ධՁ ͷλΠϓͲͪΒԠ͡Δ
p2 = vH
vH
vL
(δvL, δ(vL − vL))
ใू߹
- 17. ճͷՁ֨ ͕࠷దʹͳΔ߹Λߟ͍͑ͯͨ
Λຬͨ͢৴೦ ͷͱ͖
߹తͳ৴೦ ͱͳΓ ͷ৴೦ͷͱ͖ ͕࠷దͱͳΔ
p2 = vL
vL ≤ λ((1 − δ)vH + δvL) + (1 − λ)δvL λ p1 = (1 − δ)vH + δvL
μ = 0
vL
vH
≥ μ ≥ 0 p2 = vL
ղ
A
B
Ԡ͡Δ
ใू߹
((1 − δ)vH + δvL, δ(vH − vL))
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ ((1 − δ)vH + δvL, (1 − δ)(vL − vH))
ڋ൱
A
A B
vL
Ԡ͡Δ (δvL, δ(vH − vL))
B
ڋ൱
Ԡ͡Δ
(δvL, δ(vL − vL))
ڋ൱
vL
(0, 0)
(0, 0)
λ
1 − λ
0
1
৴೦
(1 − δ)vH + δvL
(1 − δ)vH + δvL
- 18. ճͷՁ֨ ͕࠷దʹͳΔ߹Λߟ͍͑ͯͨ
Λຬͨ͢৴೦ ͷͱ͖
౸ୡ͠ͳ͍ใू߹ʹ͓͚Δҙͷ৴೦͕߹తͳͷͰ ͷ৴೦߹తͰ ͕࠷ద
p2 = vL
vL λ((1 − δ)vH + δvL) + (1 − λ)δvL λ p1 = vL
0 ≤ μ ≤
vL
vH
p2 = vL
ղ
A
B
Ԡ͡Δ
ใू߹
(vL, vH − vL)
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ (vL, vL − vL)
ڋ൱
A
A B
vL
Ԡ͡Δ (δvL, δ(vH − vL))
B
ڋ൱
Ԡ͡Δ
(δvL, δ(vL − vL))
ڋ൱
vL
(0, 0)
(0, 0)
λ
1 − λ
0 ≤ μ ≤
vL
vH
μ
1 − μ
vL
vL
- 19. ചΓखͷઓུ ചΓखͷ৴೦ ͨͩ͠
ങ͍ख#ධՁ ͷλΠϓͷઓུ Ԡ͡Δ Ԡ͡Δ ങ͍ख#ධՁ ͷλΠϓͷઓུ Ԡ͡Δ ڋ൱
(p1, p2) = (vL, vH) ((λ, 1 − λ), (μ, 1 − μ)) 0 λ
vL
vH
vL
vH
≤ μ ≤ 1
vH vL
ղ ·ͱΊ
A
B
vL
Ԡ͡Δ
ใू߹
(vL, vH − vL)
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ (vL, vL − vL)
ڋ൱
vL
A
A B
vH
Ԡ͡Δ (δvH, δ(vH − vH))
B
ڋ൱
Ԡ͡Δ
(δvH, δ(vL − vH))
ڋ൱
vH
(0, 0)
(0, 0)
λ
1 − λ
μ
1 − μ
vL
vH
≤ μ ≤ 1
- 20. ചΓखͷઓུ ചΓखͷ৴೦ ͨͩ͠
ങ͍ख#ධՁ ͷλΠϓͷઓུ Ԡ͡Δ Ԡ͡Δ ങ͍ख#ධՁ ͷλΠϓͷઓུ Ԡ͡Δ Ԡ͡Δ
(p1, p2) = (vL, vL) ((λ, 1 − λ), (μ, 1 − μ))
vL λ((1 − δ)vH + δvL) + (1 − λ)δvL 0 ≤ μ ≤
vL
vH
vH vL
ղ ·ͱΊ
A
B
Ԡ͡Δ
ใू߹
(vL, vH − vL)
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ (vL, vL − vL)
ڋ൱
A
A B
vL
Ԡ͡Δ (δvL, δ(vH − vL))
B
ڋ൱
Ԡ͡Δ
(δvL, δ(vL − vL))
ڋ൱
vL
(0, 0)
(0, 0)
λ
1 − λ
0 ≤ μ ≤
vL
vH
μ
1 − μ
vL
vL
- 21. ചΓखͷઓུ ചΓखͷ৴೦ ͨͩ͠
ങ͍ख#ධՁ ͷλΠϓͷઓུ Ԡ͡Δ Ԡ͡Δ ങ͍ख#ධՁ ͷλΠϓͷઓུ ڋ൱ Ԡ͡Δ
(p1, p2) = ((1 − δ)vH + δvL, vL) ((λ, 1 − λ), (0, 1))
vL ≤ λ((1 − δ)vH + δvL) + (1 − λ)δvL
vH vL
ղ ·ͱΊ
A
B
Ԡ͡Δ
ใू߹
N
A
B
λ
1 − λ
ڋ൱
ࣗવ
Ԡ͡Δ ((1 − δ)vH + δvL, (1 − δ)(vL − vH))
ڋ൱
A
A B
vL
Ԡ͡Δ (δvL, δ(vH − vL))
B
ڋ൱
Ԡ͡Δ
(δvL, δ(vL − vL))
ڋ൱
vL
(0, 0)
(0, 0)
λ
1 − λ
0
1
৴೦
(1 − δ)vH + δvL
(1 − δ)vH + δvL
((1 − δ)vH + δvL, δ(vH − vL))
ճͰ૬खͷλΠϓ͕Θ͔Δ