More Related Content
Similar to ゲーム理論BASIC 第42回 -仁に関する定理の証明2- (20)
More from ssusere0a682 (20)
ゲーム理論BASIC 第42回 -仁に関する定理の証明2-
- 4. ͕ड༰తͰ͋Δ͜ͱͷఆٛ
ఆٛɿड༰త
̎ͭͷ

ʹରͯ͠
͋Δ

͕ଘࡏͯ͠



ͱͳΔͱ͖


ΑΓड༰తͰ͋Δͱ͍͍

ͱද͢

ͷҙຯɿ


ͩͱ

ͱͳΔͨΊ


Ұఆ
x, y ∈
𝒜
(v) k, 1 ≤ k ≤ 2n
− 4
θl(x) = θl(y) ∀l = 1,⋯, k, θk+1(x) θk+1(y)
x y x ≫ y
2n
− 4 θl(x) = θl(y) ∀l = 1,⋯,2n
− 3 θ2n−2(x) = θ2n−2(y)
n−2
∑
l=1
θl(x) =
∑
S⊂N,S≠N,∅
(
v(S) −
∑
i∈S
xi)
=
∑
S⊂N,S≠N,∅
v(S) −
∑
S⊂N,S≠N,∅
∑
i∈S
xi
=
∑
S⊂N,∅
v(S) −
n−1
∑
|S|=1
n−1C|S|−1 ∑
i∈N
xi =
∑
S⊂N,∅
v(S) −
n−1
∑
|S|=1
n−1C|S|−1v(N)
- 6. ਔඞͣଘࡏ͢Δ
ఆཧ
ήʔϜ

ʹ͓͍ͯ
ਔΛ

ͱ͢Δͱ

Ͱ͋Δ
ূ໌
֤

ʹ͍ͭͯ
ෆຬϕΫτϧ

ʹؔͯ͠


ʹ͓͚Δ֤ఏܞ

ͷෆຬͷྔ

Λ
େ͖ͳͷ͔ΒॱʹฒͨϕΫτϧͳͷͰ

ͱදͤΔ
(N, v)
𝒩
(v)
𝒩
(v) ≠ ∅
x ∈
𝒜
(v) θ(x) = (θ1(x), ⋯, θ2n−2(x))
θi(x), i = 1,⋯,2n
− 2 x S, S ≠ N, ∅ e(S, x)
θi(x) = max
R⊆2N
{N,∅},|R|=i
(min
S∈R
e(S, x))
- 7. ਔඞͣଘࡏ͢Δ








ͱ͢Δͱ













θi(x) = max
R⊆2N
{N,∅},|R|=i
(min
S∈R
e(S, x))
N = {1,2,3} 2N
= {∅, {1}, {2}, {3} {1,2}, {1,3}, {2,3} {1,2,3}}
v(∅) = v({1}) = v({2}) = v({2}) = 0 v({1,2}) = 5, v({1,3}) = 7, v({2,3}) = 8, v({1,2,3}) = 10
x = (1,3,6)
e({1}, x) = − 1 e({2}, x) = − 3 e({3}, x) = − 6 e({1,2}, x) = 1 e({1,3}, x) = 0 e({2,3}, x) = − 1
θ(x) = (1,0, − 1, − 1, − 3, − 6)
θ1(x) = max
R⊆2N
{N,∅},|R|=1
(min
S∈R
e(S, x)) max
R∈{{{1}},{{2}},{{3}},{{1,2}},{{1,3}},{{2,3}}}
(min
S∈R
e(S, x))
max{e({1}, x), e({2}, x), e({3}, x), e({1,2}, x), e({1,3}, x), e({2,3}, x)} = 1
θ2(x) = max
R⊆2N
{N,∅},|R|=2
(min
S∈R
e(S, x)) max
R∈{{{1},{2}},{{1},{3}},⋯,{{1,2},{1,3}}},⋯{{1,3},{2,3}}}
(min
S∈R
e(S, x))
max{−3, − 6,⋯,0,⋯, − 1} = 0 ̎ͭͷू߹Λൺֱͯ͠খ͍͞ΛબͿ ൪େ͖͍ෆຬ͕আ͔ΕΔ
- 8. 












θi(x) = max
R⊆2N
{N,∅},|R|=i
(min
S∈R
e(S, x))
θ3(x) = max
R⊆2N
{N,∅},|R|=3
(min
S∈R
e(S, x)) max
R∈{{{1},{2},{3}},⋯,{{1,2},{1,3},{2,3}}}
(min
S∈R
e(S, x))
max{−6,⋯, − 1} = − 1
θ4(x) = max
R⊆2N
{N,∅},|R|=4
(min
S∈R
e(S, x)) max
R∈{{{1},{2},{3},{1,2}},⋯,{{3},{1,2},{1,3},{2,3}}}
(min
S∈R
e(S, x))
max{−6,⋯, − 6} = − 1
θ5(x) = max
R⊆2N
{N,∅},|R|=5
(min
S∈R
e(S, x)) max
R∈{{{1},{2},{3},{1,2},{1,3}},⋯,{{2},{3},{1,2},{1,3},{2,3}}}
(min
S∈R
e(S, x))
max{−6,⋯, − 6} = − 3
θ6(x) = max
R⊆2N
{N,∅},|R|=6
(min
S∈R
e(S, x)) max
R∈{{{1},{2},{3},{1,2},{1,3},{2,3}}}
(min
S∈R
e(S, x))
max{−6} = − 6
ͭͷू߹Λൺֱͯ͠খ͍͞ΛબͿ ൪ͱ൪ʹେ͖͍ෆຬ͕আ͔ΕΔ
- 9. 
ʹ͍ͭͯ
ෆຬϕΫτϧ

ʹؔͯ͠


ʹ͓͚Δ֤ఏܞ

ͷෆຬͷྔ

Λ
େ͖ͳͷ͔ΒॱʹฒͨϕΫτϧͳͷͰ

ͱදͤΔ


ʹؔͯ͠࿈ଓؔͰ͋Γ

࿈ଓؔ
x ∈
𝒜
(v) θ(x) = (θ1(x), ⋯, θ2n−2(x))
θi(x), i = 1,⋯,2n
− 2 x S, S ≠ N, ∅ e(S, x)
θi(x) = max
R⊆2N
{N,∅},|R|=i
(min
S∈R
e(S, x))
e(S, x) = v(S) −
∑
i∈S
xi x θi(x)
- 12. 
TU






͕ଘࡏ͢ΔͨΊͷ

ͷ݅

͕ଘࡏ͢ΔͨΊʹ


͕ଘࡏ͢ΔͨΊʹ


͕ଘࡏ͢ΔͨΊʹ


݅Λຬͨ͢࠷খͷ

Ώ͑ʹ

min M
−M ≤ x1 ≤ M + 10 −M ≤ x2 ≤ M + 3 −M ≤ x3 ≤ M
x1 + x2 + x3 = 10 x1, x2, x3 ≥ 0
x1, x2, x3 M
x1 M ≥ − 5
x2 M ≥ −
3
2
x3 M ≥ 0
−3M ≤ x1 + x2 + x3 = 10 ≤ 13 + 3M ⇔ −
10
3
≤ M, − 1 ≤ M
M x3 = 0
ਔඞͣଘࡏ͢Δ
0
M
−5
−
10
3
−1
−
3
2

v({1,2,3}) = v({1,2}) = 10, v({1,3}) = 7, v({2,3}) = 0, v({1}) = v({2}) = v({3}) = 0
- 13. ਔඞͣଘࡏ͢Δ
࠷େෆຬΛ࠷খɿ







M = 0
e({1,2}, x) = x3 = 0
e({1,3}, x) = x2 − 3 ≤ 0
e({2,3}, x) = x1 − 10 ≤ 0
e({1}, x) = − x1 ≤ 0
e({2}, x) = − x2 ≤ 0
e({3}, x) = − x3 = 0



0 ≤ x1 ≤ 10
0 ≤ x2 ≤ 3
x3 = 0

v({1,2,3}) = v({1,2}) = 10, v({1,3}) = 7, v({2,3}) = 0, v({1}) = v({2}) = v({3}) = 0
A1 = A2 = {x ∈
𝒜
(v)|
}
- 14. 
(θ1(x), θ2(x), θ3(x), θ4(x), θ5(x), θ6(x)) = (0, 0, θ3(x), θ4(x), θ5(x), θ6(x))
ਔඞͣଘࡏ͢Δ

v({1,2,3}) = v({1,2}) = 10, v({1,3}) = 7, v({2,3}) = 0, v({1}) = v({2}) = v({3}) = 0
1
2 3
x1 = 10
x2 = 3
x3 = 0
𝒜
(v)
A1 = A2
- 15. ਔඞͣଘࡏ͢Δ

v({1,2,3}) = v({1,2}) = 10, v({1,3}) = 7, v({2,3}) = 0, v({1}) = v({2}) = v({3}) = 0
൪ʹେ͖͍ෆຬΛ࠷খɿ





M′

= −
3
2
e({1,3}, x) = x2 − 3 = −
3
2
e({2,3}, x) = x1 − 10 = −
3
2
e({1}, x) = − x1 = −
17
2
e({2}, x) = − x2 = −
3
2
- 16. 
(θ1(x), θ2(x), θ3(x), θ4(x), θ5(x), θ6(x)) = (0, 0, −
3
2
, −
3
2
, −
3
2
, −
17
2
)
ਔඞͣଘࡏ͢Δ

v({1,2,3}) = v({1,2}) = 10, v({1,3}) = 7, v({2,3}) = 0, v({1}) = v({2}) = v({3}) = 0
1
2 3
𝒜
(v)
x1 = 10
x2 = 3
x3 = 0
A1 = A2