5. ઓུͷఆٛ
ઓུͷఆٛ
ใෆඋήʔϜ ͓ΑͼϕΠδΞϯήʔϜ ʹ͓͍ͯ
֤ϓϨΠϠʔࣗͷλΠϓ͕Θ্͔ͬͨͰ
ߦಈΛબͿΏ͑ʹϓϨΠϠʔͷઓུؔ Ͱ༩͑ΒΕΔ
ྫ
ϓϨΠϠʔ
ͷөըબ
ϓϨΠϠʔͷλΠϓ
ϓϨΠϠʔͷλΠϓ
G* = (N, {Si
, Ti
, fi
, pi
}i∈N) G** = (N, {Si
, Ti
, fi
}i∈N, p)
i xi
: Ti
→ Si
T1
= {SW, HP}
x1
(SW) = S, x1
(HP) = S
x1
(SW) = S, x1
(HP) = H
x1
(SW) = H, x1
(HP) = S
x1
(SW) = H, x1
(HP) = H
T2
= {SW}
x2
(SW) = S
x2
(SW) = W
̍ʘ 4 )
4 ̎
)
̍
̍ʘ 4 )
4
)
48͖
P1
)1͖
P1
6. ઓུͷఆٛ
ઓུͷఆٛ
ใෆඋήʔϜ ͓ΑͼϕΠδΞϯήʔϜ ʹ͓͍ͯ
֤ϓϨΠϠʔࣗͷλΠϓ͕Θ্͔ͬͨͰ
ߦಈΛબͿΏ͑ʹϓϨΠϠʔͷઓུؔ Ͱ༩͑ΒΕΔ
ྫ
ϓϨΠϠʔ
ͷөըબ
ϓϨΠϠʔͷλΠϓ
ϓϨΠϠʔͷλΠϓ
G* = (N, {Si
, Ti
, fi
, pi
}i∈N) G** = (N, {Si
, Ti
, fi
}i∈N, p)
i xi
: Ti
→ Si
T1
= {SW, HP}
x1
(SW) = S, x1
(HP) = S
x1
(SW) = S, x1
(HP) = H
x1
(SW) = H, x1
(HP) = S
x1
(SW) = H, x1
(HP) = H
T2
= {SW}
x2
(SW) = S
x2
(SW) = H
̍ʘ 4 )
4 ̎
)
̍
̍ʘ 4 )
4
)
48͖
P1
)1͖
P1
S − S
S − H
H − S
H − H
S
H
7. ϕΠδΞϯφογϡߧۉ
ϕΠδΞϯφογϡߧۉ
ઓུͷ ʹ͓͍ͯ
֤ϓϨΠϠʔͷ֤λΠϓ ʹ͍ͭͯ
ͷ༩͑Δߦಈ͕ଞͷϓϨΠϠʔͷ֤λΠϓͷߦಈʹର͢Δ࠷దԠͱͳ͍ͬͯΔͱ͖
ͭ·Γ
ͯ͢ͷ ͱͷͯ͢ͷλΠϓ ʹରͯ͠
ͱͳ͍ͬͯΔͱ͖
ΛϕΠδΞϯφογϡ͏͍ͱߧۉ
ͷͱ͖
͜ΕΑΓ
ͷ༩͑Δߦಈ ಛʹλΠϓ)1
࠷దԠͰͳ͍
x* = (x*1
, ⋯, x*n
) i ti
x*i
i ∈ N i ti
∑
t−1
∈T−1
fi
(x*i
(ti
), x*−i
(t−i
), ti
, t−i
)pi
(t−i
|ti
) ≥
∑
t−1
∈T−1
fi
(si
, x*−i
(t−i
), ti
, t−i
)pi
(t−i
|ti
) ∀si
∈ Si
x* = (x*1
, ⋯, x*n
)
x1
(SW) = S, x1
(HP) = H x2
(SW) = S
f1
(x1
(SW), x2
(SW), SW, SW)p1
(SW|SW) = f1
(S, S, SW, SW) = 2
f1
(x1
(HP), x2
(SW), HP, SW)p1
(SW|HP) = f1
(H, S, HP, SW) = 0
f1
(x1
(HP), x2
(SW), HP, SW)p1
(SW|HP) = f1
(H, S, HP, SW) = 0 1 = f1
(S, S, HP, SW) = f1
(S, x2
(SW), HP, SW)p1
(SW|HP)
x1
(SW) = S, x1
(HP) = H
̍ʘ 4 )
4 ̎
)
̍
̍ʘ 4 )
4
)
48͖
P1
)1͖
P1