More Related Content
More from ssusere0a682 (20)
ゲーム理論BASIC 第17回 -部分ゲーム完全均衡-
- 5. ల։ܗήʔϜʹ͓͚Δφογϡߧۉͷ
u1
1
u2
1
P1
P2
P2
a1
1
a1
2
a2
1
a2
2
a2
3
a2
4
(0, 0)
(10, 5)
(5, 10)
(0, 0)
u2
2
ల։ܗήʔϜ ઓུܗήʔϜ
̍ʘ
a1
1
a1
2
a2
1 − a2
3
a2
1 − a2
4
a2
2 − a2
3
a2
2 − a2
4
ิ
७ઓུߦಈઓུͷҰ෦Ͱ͋Δɿ
ϓϨΠϠʔͷ७ઓུ
ϓϨΠϠʔͷ७ઓུ
a1
1 b1
= ((b1
(a1
1), b1
(a1
2))) = ((1, 0))
a2
1 − a2
3 b2
= ((b2
(a2
1), b1
(a2
2)), (b2
(a2
3), b1
(a2
4))) = ((1, 0), (1, 0))
- 10. ෦ήʔϜશߧۉͷఆٛ
ఆٛ ෦ήʔϜ
ల։ܗήʔϜ ʹ͓͍ͯ
ͷ෦ ʹؔͯ͠
ͯ͢ͷใू߹͕ ͷͱ Ҏ֎ͷΛಉ࣌ʹؚΉ͜ͱͳ͍ͱ͢Δ
͜ͷͱ͖
ͷ֤ߏཁૉΛ෦ ʹ੍ͨ͠ݶల։ܗήʔϜΛ ͷ෦ήʔϜͱ͍͏
෦ͱ ʹؔͯ͠
Ͱ͋Γ
͜ͷ ͰͷߏΛ࣋ͭͷͰ͋Δ
ͦͷͷ෦ͱͯ͠ߟ͑
શମͷήʔϜ෦ήʔϜͱ͢Δ
Γ = (K, p, P, U, h) K K′
K′ K′
Γ K′ Γ
K = (V, E) V′ ⊆ V, E′ ⊆ E V′, E′
K
- 11. ෦ήʔϜશߧۉͷఆٛ
ఆٛ ෦ήʔϜ
ల։ܗήʔϜ ʹ͓͍ͯ
ͷ෦ ʹؔͯ͠
ͯ͢ͷใू߹͕ ͷͱ Ҏ֎ͷΛಉ࣌ʹؚΉ͜ͱͳ͍ͱ͢Δ
͜ͷͱ͖
ͷ֤ߏཁૉΛ෦ ʹ੍ͨ͠ݶల։ܗήʔϜΛ ͷ෦ήʔϜͱ͍͏
෦ͱ ʹؔͯ͠
Ͱ͋Γ
͜ͷ ͰͷߏΛ࣋ͭͷͰ͋Δ
ͦͷͷ෦ͱͯ͠ߟ͑
શମͷήʔϜ෦ήʔϜͱ͢Δ
Γ = (K, p, P, U, h) K K′
K′ K′
Γ K′ Γ
K = (V, E) V′ ⊆ V, E′ ⊆ E V′, E′
K
u1
1
u2
1
x0
x1
a1
1
a1
2
a2
1
a2
2
a2
3
a2
4
w1
x2
w2
w3
w4
u2
2
u2
1
x1
a2
1
a2
2
w1
w2
V = (x0, x1, x2, w1, w2, w3, w4)
E = (a1
1, a1
2, a2
1, a2
2, a3
2, a4
2)
V′ = (x1, w1, w2)
E′ = (a2
1, a2
2,)
- 12. ෦ήʔϜશߧۉͷఆٛ
ఆٛ ෦ήʔϜ
ల։ܗήʔϜ ʹ͓͍ͯ
ͷ෦ ʹؔͯ͠
ͯ͢ͷใू߹͕ ͷͱ Ҏ֎ͷΛಉ࣌ʹؚΉ͜ͱͳ͍ͱ͢Δ
͜ͷͱ͖
ͷ֤ߏཁૉΛ෦ ʹ੍ͨ͠ݶల։ܗήʔϜΛ ͷ෦ήʔϜͱ͍͏
Γ = (K, p, P, U, h) K K′
K′ K′
Γ K′ Γ
u1
1
u2
1
x0
x1
a1
1
a1
2
a2
1
a2
2
a2
3
a2
4
w1
x2
w2
w3
w4
V = (x0, x1, x2, w1, w2, w3, w4)
E = (a1
1, a1
2, a2
1, a2
2, a3
2, a4
2)
ใू߹ ͕
෦ ͱ෦ ͷΛಉ࣌ʹؚΉ
Ώ͑ʹ ෦ήʔϜͰͳ͍
u2
1
K′ K′′
K′ K′′
K′
K′′
- 13. ෦ήʔϜશߧۉͷఆٛ
ఆٛ ෦ήʔϜશ
ߧۉ
ల։ܗήʔϜ ʹ͓͍ͯ
ߦಈઓུ ͕෦ήʔϜશ͋ͰߧۉΔͱ
ͯ͢ͷ෦ήʔϜʹରͯ͠
͕φογϡߧۉΛಋ͘͜ͱͰ͋Δ
Γ = (K, p, P, U, h) b* = (b*1
, ⋯, b*n
)
b*
u1
1
u2
1
P1
P2
P2
a1
1
a1
2
a2
1
a2
2
a2
3
a2
4
(0, 0)
(10, 5)
(5, 10)
(0, 0)
u2
2
ϓϨΠϠʔ͕෦ήʔϜ Ͱ
࠷దͳߦಈΛͱ͍ͬͯͳ͍
Γ′′
Γ′
Γ′′
ల։ܗήʔϜ
- 14. ෦ήʔϜશߧۉͷఆٛ
ఆٛ ෦ήʔϜશ
ߧۉ
ల։ܗήʔϜ ʹ͓͍ͯ
ߦಈઓུ ͕෦ήʔϜશ͋ͰߧۉΔͱ
ͯ͢ͷ෦ήʔϜʹରͯ͠
͕φογϡߧۉΛಋ͘͜ͱͰ͋Δ
Γ = (K, p, P, U, h) b* = (b*1
, ⋯, b*n
)
b*
u1
1
u2
1
P1
P2
P2
a1
1
a1
2
a2
1
a2
2
a2
3
a2
4
(0, 0)
(10, 5)
(5, 10)
(0, 0)
u2
2
Γ′
Γ′′
ϓϨΠϠʔ͕෦ήʔϜ Ͱ
࠷దͳߦಈΛͱ͍ͬͯΔ
Γ′
ల։ܗήʔϜ
ϓϨΠϠʔ
ͱʹશମͷήʔϜͰ
࠷దͳߦಈΛͱ͍ͬͯΔ
ϓϨΠϠʔ͕෦ήʔϜ Ͱ
࠷దͳߦಈΛͱ͍ͬͯΔ
Γ′′
- 15. ෦ήʔϜશߧۉͷఆٛ
ఆٛ ෦ήʔϜશ
ߧۉ
ల։ܗήʔϜ ʹ͓͍ͯ
ߦಈઓུ ͕෦ήʔϜશ͋ͰߧۉΔͱ
ͯ͢ͷ෦ήʔϜʹରͯ͠
͕φογϡߧۉΛಋ͘͜ͱͰ͋Δ
Γ = (K, p, P, U, h) b* = (b*1
, ⋯, b*n
)
b*
u1
1
u2
1
P1
P2
P2
a1
1
a1
2
a2
1
a2
2
a2
3
a2
4
(0, 0)
(10, 5)
(5, 10)
(0, 0)
u2
2
Γ′
Γ′′
ల։ܗήʔϜ
̍ʘ
a1
1
a1
2
a2
1 − a2
3
a2
1 − a2
4
a2
2 − a2
3
a2
2 − a2
4
෦ήʔϜશߧۉ
७ઓུͰද͢ݱΕ
ߦಈઓུͰද͢ݱΕ
(a1
1, a2
2 − a2
3)
(b*1
,b*2
) = (((b2
(a1
1), b1
(a1
2)),(((b2
(a2
1), b1
(a2
2)), (b2
(a2
3), b1
(a2
4))))
= (((1, 0)),((0, 1), (1, 0)))
- 17. ෦ήʔϜશߧۉͷٻΊํ
ӈͷྫͷΑ͏ͳશهԱͰ͋Δల։ܗήʔϜΛߟ͑Δ
ߦಈઓུΛ ͱ͢Δ
෦ήʔϜ ʹ͓͍ͯφογϡߧۉΛٻΊΔ
෦ήʔϜʹ͓͚ΔߦಈઓུΛ
ͱͯ͠
͜ͷ෦ήʔϜͰͷφογϡ͋ͰߧۉΔ
(b1
, b2
) = (((b1
1, b1
2), (b1
3, b1
4)), ((b2
1, b2
2), (b2
3, b2
4)))
Γ′
(b′1
, b′2
) = (((b1
3, b1
4)), ((b2
1, b2
2)))
(b′1
, b′2
) = (((0, 1)), (((0, 1)))
u2
1
u1
2
u1
1
P1
P2
(8, 8)
(10, 0)
(0, 10)
(1, 1)
(2, 0)
(0, 2)
b1
1
b1
2
b2
1
P2
P1
u2
2
P1
b2
2
b2
3
b2
4
b1
3
b1
4
b1
3
b1
4
Γ′
̍ʘ
b1
3
b1
4
b2
1
b2
2
= b1
(a1
3)
- 18. ෦ήʔϜશߧۉͷٻΊํ
ӈͷྫͷΑ͏ͳશهԱͰ͋Δల։ܗήʔϜΛߟ͑Δ
ߦಈઓུΛ ͱ͢Δ
ఆٛʢॖήʔϜ
ήʔϜ ʹ͓͍ͯ
෦ήʔϜ ͱ ʹ͓͚Δߦಈઓུͷ ʹରͯ͠
Λ
ϓϨΠϠʔͷظརಘϕΫτϧ
ʹஔ͖͖Ͱͯ͑ΔήʔϜΛ
෦ήʔϜ ͱߦಈઓུͷ ʹΑΔ ͷॖήʔϜͱ͍͏
(b1
, b2
) = (((b1
1, b1
2), (b1
3, b1
4)), ((b2
1, b2
2), (b2
3, b2
4)))
Γ
Γ′ Γ′ b′ Γ′
HS(b′) = (H1
S(b′), ⋯, Hn
S(b′))
Γ′ b′ Γ
u1
1
P1
(1, 1)
(2, 0)
(0, 2)
b1
1
b1
2
P2
u2
2
b2
3
b2
4
̍ʘ
b1
3
b1
4
b2
1
b2
2
= b1
(a1
3)
෦ήʔϜ ͱ
ߦಈઓུ ʹ͓͚Δ
ॖήʔϜ
Γ′
(b′1
, b′2
)
- 19. ෦ήʔϜશߧۉͷٻΊํ
ӈͷྫͷΑ͏ͳશهԱͰ͋Δల։ܗήʔϜΛߟ͑Δ
ߦಈઓུΛ ͱ͢Δ
෦ήʔϜ ʹ͓͍ͯφογϡߧۉΛٻΊΔ
෦ήʔϜʹ͓͚ΔߦಈઓུΛ
ͱͯ͠
͜ͷ෦ήʔϜͰͷφογϡ͋ͰߧۉΔ
(b1
, b2
) = (((b1
1, b1
2), (b1
3, b1
4)), ((b2
1, b2
2), (b2
3, b2
4)))
Γ′′
b′′2
= ((b2
3, b2
4)) b′′2
= ((0, 1))
u1
1
P1
(1, 1)
(2, 0)
(0, 2)
b1
1
b1
2
P2
u2
2
b2
3
b2
4
Γ′′
- 20. ෦ήʔϜશߧۉͷٻΊํ
ӈͷྫͷΑ͏ͳશهԱͰ͋Δల։ܗήʔϜΛߟ͑Δ
ߦಈઓུΛ ͱ͢Δ
෦ήʔϜ ʹ͓͍ͯφογϡߧۉΛٻΊΔ
෦ήʔϜʹ͓͚ΔߦಈઓུΛ
ͱͯ͠
͜ͷ෦ήʔϜͰͷφογϡ͋ͰߧۉΔ
(b1
, b2
) = (((b1
1, b1
2), (b1
3, b1
4)), ((b2
1, b2
2), (b2
3, b2
4)))
Γ′′
b′′2
= ((b2
3, b2
4)) b′′2
= ((0, 1))
u1
1
P1
(1, 1)
(0, 2)
b1
1
b1
2
- 21. ෦ήʔϜશߧۉͷٻΊํ
ӈͷྫͷΑ͏ͳશهԱͰ͋Δల։ܗήʔϜΛߟ͑Δ
ߦಈઓུΛ ͱ͢Δ
શମͷήʔϜʹ͓͚ΔϓϨΠϠʔͷ࠷దͳߦಈ
ͱͯ͠
Ͱ͋Δ
(b1
, b2
) = (((b1
1, b1
2), (b1
3, b1
4)), ((b2
1, b2
2), (b2
3, b2
4)))
b′′1
= ((b1
1, b1
2)) b′′1
= ((1, 0))
u1
1
P1
(1, 1)
(0, 2)
b1
1
b1
2
- 22. ෦ήʔϜશߧۉͷٻΊํ
ӈͷྫͷΑ͏ͳશهԱͰ͋Δల։ܗήʔϜΛߟ͑Δ
ߦಈઓུΛ ͱ͢Δ
෦ήʔϜશߧۉ
෦ήʔϜͱॖήʔϜͷ෦ήʔϜશߧۉΛ߹ͯ͠
શମͷήʔϜͷ෦ήʔϜશߧۉΛߏͰ͖Δ
(b1
, b2
) = (((b1
1, b1
2), (b1
3, b1
4)), ((b2
1, b2
2), (b2
3, b2
4)))
(b1
, b2
) = (((1, 0), (0, 1)), ((0, 1), (1, 0)))
u2
1
u1
2
u1
1
P1
P2
(8, 8)
(10, 0)
(0, 10)
(1, 1)
(2, 0)
(0, 2)
1
0
0
P2
P1
u2
2
P1
1
0
1
Γ′
Γ′′
0
1
0
1