Libro 6
Libro 6
Models in Cooperative
Game Theory
Second Edition
123
Professor Dr. Rodica Branzei Professor Dr. Stef Tijs
Faculty of Computer Science CentER and Department of Econometrics
Alexandru Ioan Cuza University and Operations Research
16 Berthelot St. Tilburg University
700483 Iasi 5000 LE Tilburg
Romania Netherlands
[email protected] [email protected]
Originally published as Volume 556 in our Series ‘Lecture Notes in Economics and Mathematical Systems’
DOI 10.1007/978-3-540-77954-4
Library of Congress Control Number: 2008921947
c 2008, 2005 Springer-Verlag Berlin Heidelberg
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting,
reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitted only under the provisions of the German Copyright Law of September 9,
1965, in its current version, and permission for use must always be obtained from Springer. Violations
are liable to prosecution under the German Copyright Law.
The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply,
even in the absence of a specific statement, that such names are exempt from the relevant protective laws
and regulations and therefore free for general use.
Production: le-tex Jelonek, Schmidt & Vöckler GbR, Leipzig
Cover-design: WMX Design GmbH, Heidelberg
987654321
springer.com
Preface
1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
6 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
10 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
Part I
Definition
1.17. A map λ : 2N \ {∅} → R+ is called a balanced map
if S∈2N \{∅} λ (S) eS = eN .
Proof. For some k > 0 and a1 , ..., an ∈ R we try to find a game w with
w (S) = kv (S) + a (S) for all S ∈ 2N \ {∅}, w ({i}) = 0 for all i ∈ N ,
and w (N ) = 1. Then necessarily
P
v(S)− v(i)
− v(N )−v(i)
P . If we take for all S ∈ 2N \ {∅}, w (S) = v(N )−Pi∈S v(i) ,
i∈N v(i) i∈N
then we obtain the unique game w in (0, 1)-form, which is strategically
equivalent to v.
where the corresponding inequalities are equalities for x, and where for
each j ∈ N , ej is the j-th standard basis vector in Rn . Then x is an
extreme point of P iff tight (x) is a complete system of vectors in Rn .
The next theorem is known as the duality theorem from linear pro-
gramming theory.
12 1 Preliminaries
Theorem
T 1.34. n × p matrix, b ∈ R
Let A be an p and c ∈ Rn . Then
min x c | x A ≥ b = max b y | Ay = c, y ≥ 0 if
T T T
x ∈ Rn | xT A ≥ bT = ∅ and {y ∈ Rp | Ay = c, y ≥ 0} = ∅.
Then the players can still form the grand coalition and receive the
better payoff y = (y1 , . . . , yn ) with yi = xi + na for all i ∈ N .
We denote by I ∗ (v) the set of efficient payoff vectors in the coali-
tional game v ∈ GN , i.e.
∗
I (v) := x ∈ Rn | xi = v(N )
i∈N
v(S) v(N )
with µS ≥ 0 and S∈2N \{∅} µS = 1 implies S∈2N \{∅} µS |S| ≤ |N | .
Proof. For λ = (λS )S∈2N \{∅} , let µ = (µS )S∈2N \{∅} be defined by µS =
n−1 |S|λS . Then
λS ≥ 0, λS eS = eN iff
S∈2N \{∅}
eS eN
µS = , µS ≥ 0, µS = 1.
|S| |N |
S∈2N \{∅} S∈2N \{∅}
This implies
(i) λS ≥ 0, S∈2N \{∅} λS eS = eN iff S∈2N \{∅} µS b(S, v) = b(N, v),
since b(S, v) = (v({1}), v({2}), ..., v({n})) + α|S|−1 eS for each S ∈ 2N \
{∅}, where α = v(N ) − i∈N v({i}).
v(N )
(ii) S∈2N \{∅} λS v(S) ≤ v(N ) iff S∈2N \{∅} µS v(S) |S| ≤ |N | .
2.1 Imputations, Cores and Stable Sets 17
Note that if (i) holds, then the payoff x is better than the payoff
y for all members of S; condition (ii) guarantees that the payoff x is
reachable for S.
Proof. That domS and dom are irreflexive follows from the fact that
for x ∈ I(v) there is no S ∈ 2N \ {∅} such that xi > xi for all i ∈ S.
To prove that domS is transitive take x, y, z ∈ I(v) such that
x domS y and y domS z. Then xi > zi for all i ∈ S. So x domS z.
To prove that domS is antisymmetric, suppose x domS y. Then xi >
yi for all i ∈ S, i.e. there is no i ∈ S such that yi > xi . Hence, y domS x
does not hold.
18 2 Cores and Related Solution Concepts
Proof. (i) In order to show that C(v) ⊂ DC(v), let us suppose that
there is x ∈ C(v) such that x ∈ / DC(v). Then there is an y ∈I(v) and
acoalition S ∈ 2N \ {∅} such that y domS x. Then v(S) ≥ i∈S yi >
i∈S xi which implies that x ∈ / C(v).
To prove next that DC(v) ⊂ K it is sufficient to show that I(v)\K ⊂
I(v) \ DC(v). Take x ∈ I(v) \ K. By the external stability of K there
is a y ∈ K with y dom x. The elements in DC(v) are not dominated.
So x ∈ / DC(v), i.e. x ∈ I(v) \ DC(v).
(ii) We divide the proof of this assertion into
two parts.
(ii.1) We show that for an x ∈ I(v) with i∈S xi < v(S) for some
S ∈ 2N \ {∅}, there is y ∈ I(v) such
P that y domS x. Define y as follows.
v(S)− i∈S xi
If i ∈ S, then yi := xi + |S| . If i ∈
/ S, then yi := v (i) +
P
v(N )−v(S)− i∈N \S v(i)
|N \S| Then y ∈ I(v), where for the proof of yi ≥ v (i)
.
for i ∈ N \ S we use the superadditivity of the game. Furthermore,
y domS x.
(ii.2) In order to show DC(v) = C(v) we have, in view of (i), only
to prove that DC(v) ⊂ C(v). Suppose x ∈ DC(v). Then there is no
y ∈ I(v) such that y dom x. In view of (ii.1) we then have i∈S xi ≥
v(S) for all S ∈ 2N \ {∅}. Hence, x ∈ C(v).
(iii) Suppose DC(v) is a stable set. Let K also be stable. By (i)
we have DC(v) ⊂ K. To prove K = DC(v), we have to show that
K \ DC(v) = ∅. Suppose, to the contrary, that there is x ∈ K \ DC(v).
By the external stability of DC(v) there is y ∈ DC(v) (⊂ K) such that
y dom x. This is a contradiction to the internal stability of K. Hence
K \ DC(v) = ∅ holds.
In addition to the relations among the core, the dominance core and
the stable sets as established in Theorem 2.12, we state next without
proof some additional results that will be used in the next parts of the
book.
2.2 The Core Cover, the Reasonable Set and the Weber
Set
In this section we introduce three sets related to the core, namely the
core cover (cf. [116]), the reasonable set (cf. [51], [69], and [72]), and
the Weber set (cf. [124]). All these sets can be seen as “core catchers”
in the sense that they all contain the core of the corresponding game
as a subset.
In the definition of the core cover the upper vector M (N, v) and the
lower vector m(v) of a game v ∈ GN play a role.
For each i ∈ N , the i-th coordinate Mi (N, v) of the upper vector
M (N, v) is the marginal contribution of player i to the grand coalition
(cf. Definition 1.7); it is also called the utopia payoff for player i in
the grand coalition in the sense that if player i wants more, then it is
advantageous for the other players in N to throw player i out.
For each i ∈ N , the i-th coordinate mi (v) of the lower vector m(v)
is then defined by
mi (v) := max R(S, i).
S:i∈S
We refer to mi (v) also as the minimum right payoff for player i, since
this player has a reason to ask at least mi (v) in the grand coalition
2.2 The Core Cover, the Reasonable Set and the Weber Set 21
and
x = (v(2), v(1, 2) − v(2)) ,
and note that
C(v) = I(v) = co x , x
= co {mσ (v) | σ : {1, 2} → {1, 2}} = W (v).
So, we have proved that ext (W (u) × W (w)) ⊂ W (v). Since W (v) is
convex, W (u) × W (w) ⊂ W (v). We have proved that x ∈ ext (C(v))
implies x ∈ W (v).
The Shapley value, the τ -value and the average lexicographic value
recently introduced in [111] are three interesting one-point solution
concepts in cooperative game theory. In this chapter we discuss different
formulations of these values, some of their properties and give axiomatic
characterizations of the Shapley value.
Example 3.2. Let N = {1, 2, 3}, v (1, 2) = −2, v(S) = 0 if S = {1, 2}.
Then the Shapley value is the average of the vectors (0, −2, 2), (0, 0, 0),
(−2, 0, 2), (0, 0, 0), (0, 0, 0), and (0, 0, 0), i.e.
1 1 2
Φ(v) = − , − , .
3 3 3
Remark 3.3. The game in Example 3.2 shows that the Shapley value
needs not to be individually rational (cf. Definition 1.27(i)); note that
Φ1 (v) = − 13 < 0 = v(1).
The terms after the summation sign in (3.2) are of the form
v (S ∪ {i}) − v (S), where S is a subset of N not containing i. Note
that there are exactly |S|! (n − 1 − |S|)! orderings for which one has P
σ (i) = S. The first factor |S|! corresponds to the number of orderings
(iii) Let uS be the unanimity game for S ⊂ N (cf. (1.1)). Then Φ(uS ) =
1 S
|S| e .
Proof. (Additivity) This follows from the fact that mσ (v+w) = mσ (v)+
mσ (w) for all v, w ∈ GN .
(Anonymity) We divide the proof into two parts.
(a) First we show that
(mρσ (v ρ ))ρσ(i)
= v ρ (ρσ(1), . . . , ρσ(i)) − v ρ (ρσ(1), . . . , ρσ(i − 1))
= v (σ(1), . . . , σ(i)) − v (σ(1), . . . , σ(i − 1))
= (mσ (v))σ(i) = ρ∗ (mσ (v))ρσ(i) .
(b) Take v ∈ GN and ρ ∈ π(N ). Then, using (a), the fact that
ρ → ρσ is a surjection on π(N ) and the linearity of ρ∗ , we obtain
1 1
Φ (v ρ ) = mσ (v ρ ) = mρσ (v ρ )
n! n!
σ∈π(N ) σ∈π(N )
⎛ ⎞
1 ∗ σ 1
= ρ (m (v)) = ρ∗ ⎝ mσ (v)⎠
n! n!
σ∈π(N ) σ∈π(N )
∗
= ρ (Φ (v)) .
Now, (3.5) and (3.7) imply (3.4). So, f (v) = Φ(v) for all v ∈ GN .
3.1 The Shapley Value 29
InSview of Theorem
1.33, the set of extreme points of [0, 1]n is equal
to e | S ∈ 2N .
30 3 The Shapley Value, the τ -value, and the Average Lexicographic Value
Proposition 3.8. Let v ∈ GN and f be as above. Then f eS = v(S)
for each S ∈ 2N .
i T i
Proof. Note that i∈S eT i∈N \S 1 − e = 1 if S = T and the
product is equal to 0 otherwise. Then by (3.9) we have
⎛ ⎞
T i
f e = ⎝ eT 1 − eT
i
⎠ v(S) = v(T ).
S∈2N i∈S i∈N \S
Hence,
1
(Dk f ) (t, t, . . . , t) dt
0
1
|S| n−|S|−1
= t (1 − t) dt (v (S ∪ {k}) − v(S)) .
S:k∈S
/ 0
3.2 The τ -value 31
Hence, v ∈ QN .
32 3 The Shapley Value, the τ -value, and the Average Lexicographic Value
(ii) For the Shapley value and for the τ -value we have Φ (v) =
(Φi (v))i∈{1,2} with Φi (v) = 12 v (i) + 12 (v (1, 2) − v (3 − i)), and
τ (v) = 12 (M (N, v) + m(v))
= 12 ((v (1, 2) − v (2) , v (1, 2) − v (1)) + v (1) , v (2))
= Φ (v) .
(iii) From (ii) it follows that Φ (v) = τ (v) = 12 f 1 + f 2 (cf. (2.1)),
which is in the middle of the core C(v).
Example 3.16. Let v be the 99-person game with
v(N ) = 1, v(S) = 12 if {1, 2} ⊂ S = N ,
v(2, 3, 4, . . . , 99) = v (1, 3, 4, . . . , 99) = 14 , and v(S) = 0 otherwise.
For the upper and lower vectors we have
3.3 The Average Lexicographic Value 33
3 3 1 1
M (N, v) = , , ,...,
4 4 2 2
and
m(v) = (0, . . . , 0) .
4
So, τ (v) = (1 − α) M (N, v) with 1 − α = 200 . Hence,
4 3 3 2 2 1
τ (v) = , , ,..., = (3, 3, 2, . . . , 2) .
200 4 4 4 4 200
Remark 3.17. The game in Example 3.16 shows that the τ -value may
6
not be in the core C(v) of a game: note that τ1 (v) + τ2 (v) = 200 < 12 =
v (1, 2).
Remark 3.18. For an axiomatic characterization of the τ -value the
reader is referred to [109].
The next two theorems give properties of the AL-value for two spe-
cial classes of balanced games, namely simplex games and dual sim-
plex games. A game v ∈ GN is a balanced simplex game (cf. [25]
and [26]) if its core C(v) equals its non-empty imputation set I(v).
A game v ∈ GN is a balanced dual simplex game (cf. [25] and [26]) if its
core C(v) is equal to its non-empty dual imputation set Id (v), where
Id (v) = co({g 1 (v), . . . , g n (v)}) with
∗
v (k) = v(N) − v(N \{k}) if i = k,
(g k (v))i = v(N ) − v ∗ (i) otherwise.
i∈N \{k}
1
n
Proof. Note that I(v) = co{f 1 (v), . . . , f n (v)} and CIS(v) = n f k (v)
k=1
where (f k (v))i = v(i) for i ∈ N \{k} and (f k (v))k = v(N )− v(i).
i∈N \{k}
3.3 The Average Lexicographic Value 35
For dual simplex games (also called 1-convex games) (cf. [26] and
[43]) we give without proof the following results.
4.1 Overview
v ∪ks=1 Ts − v ∪k−1
s=1 Ts |Tk | + v ∪ks=1 Ts − v ∪k−1
s=1 Ts |Tk+1 |
≥ v ∪k+1
s=1 Ts − v ∪s=1 Ts
k
|Tk | + v ∪ks=1 Ts − v ∪k−1
s=1 Ts |Tk | ,
v ∪ks=1 Ts − v ∪k−1
s=1 Ts |Tk+1 | ≥ v ∪k+1
s=1 Ts − v ∪s=1 Ts
k
|Tk | .
where the first inequality follows from the superadditivity of v and the
second inequality from the definition of Tm . Note that
vm (T ) v(S)
xi = max ≥
N \ ∪m−1
( s=1 Ts ) \{∅} |T | |S|
T ∈2
The next example provides a game for which the equal split-off set
is a strict subset of the equal division core.
Remark 4.9. Clearly, by Theorem 4.7, each equal split-off allocation for
a superadditive game is individually rational. As illustrated in Example
4.5, this needs not be the case for non-superadditive games.
5
Classes of Cooperative Crisp Games
The following theorem relates totally balanced games that are non-
negative (cf. Definition 1.12) and additive games (cf. Definition 1.13).
The class of totally balanced games includes the class of games with
a population monotonic allocation scheme (pmas). The latter concept
was introduced in [107]. The idea here is that because of the complexity
of the coalition formation process, players may not necessarily achieve
full efficiency (if the game is superadditive it is efficient for the players
to form the grand coalition). In order to take the possibility of partial
cooperation into account, a pmas specifies not only how to allocate
v(N ) but also how to allocate the value v(S) of every coalition S ∈
2N \ {∅}. Moreover, it reflects the intuition that there is “strength in
numbers”: the share allocated to each member is nondecreasing in the
coalition size.
(iv) All n! marginal vectors mσ (v) of v are elements of the core C(v) of
v;
(v) W (v) = C(v).
Proof. We show (i) ⇒ (ii), (ii) ⇒ (iii), (iii) ⇒ (iv), (iv) ⇒ (v), (v) ⇒
(i).
(a) Suppose that (i) holds. Take S1 , S2 , U ∈ 2N with S1 ⊂ S2 ⊂ N \ U .
From (5.1) with S1 ∪ U in the role of S and S2 in the role of T we
obtain (5.2) by noting that S ∪ T = S2 ∪ U , S ∩ T = S1 . Hence, (i)
implies (ii).
(b) That (ii) implies (iii) is trivial (take U = {i}).
Suppose that (iii) holds. Let σ ∈ π(N ) and take mσ . Then
(c)
n
). Toσ prove that m ∈ C(v) we have to show that
σ σ
k=1 mk = v(N
for S ∈ 2 : k∈S mk ≥ v(S).
N
v(S)
k
= (v (σ (i1 ) , . . . , σ (ir )) − v (σ (i1 ) , . . . , σ (ir−1 )))
r=1
k
≤ (v (σ (1) , . . . , σ (ir )) − v (σ (1) , . . . , σ (ir − 1)))
r=1
k
= mσσ(ir ) = mσk ,
r=1 k∈S
(d) Suppose that (iv) holds. Since C(v) is a convex set, we have C(v) ⊃
co {mσ | σ ∈ π(N )} = W (v). From Theorem 2.20 we know that
C(v) ⊂ W (v). Hence, (v) follows from (iv).
(e) Finally, we prove that (v) implies (i). Take S, T ∈ 2N . Then, there
is σ ∈ π(N ) and d, t, u ∈ N with 0 ≤ d ≤ t ≤ u ≤ n such that
S ∩ T = {σ (i1 ) , . . . , σ (d)}, T \ S = {σ (d + 1) , . . . , σ (t)}, S \ T =
{σ (t + 1) , . . . , σ (u)}, N \ (S ∪ T ) = {σ (u + 1) , . . . , σ (n)}. From
(v) follows that mσ ∈ C(v); hence,
v(S) ≤ mσi . (5.4)
i∈S
where
Ar = {σ (1) , . . . , σ (r)} ,
Ar−1 = Ar \ {σ (r)} ,
Bt+k = {σ (t + 1) , . . . , σ (t + k)} ,
and
Bt+k−1 = Bt+k \ {σ (t + k)} .
Combining (5.4) and (5.5) yields (5.1). This completes the proof.
and
aρi S = v N (ρ, i ) ∩ S − v N (ρ, i ) ∩ S \ i
= v N (ρ, i ) ∩ S − v ((N (ρ, i) ∩ S)) .
∪ {S | S ∈ L(v)} .
v(S1 ) v(S2 )
Proof. (i) Let α := maxC∈2N \{∅} v(C)
|C| and suppose |S1 | = α = |S2 |
for some S1 , S2 ∈ 2N \ {∅}. We have to prove that
v(S1 ∪ S2 )
= α and v(S1 ∩ S2 ) = α |S1 ∩ S2 | . (5.6)
|S1 ∪ S2 |
We have
5.2 Convex Games 51
v(S1 ∪ S2 ) + v (S1 ∩ S2 )
v(S1 ∪ S2 ) v(S1 ∩ S2 )
= |S1 ∪ S2 | + |S1 ∩ S2 |
|S1 ∪ S2 | |S1 ∩ S2 |
≤ α |S1 ∪ S2 | + α |S1 ∩ S2 | = α |S1 | + α |S1 |
= v(S1 ) + v(S2 ) ≤ v(S1 ∪ S2 ) + v(S1 ∩ S2 ),
where the first inequality follows from the definition of α and the
second inequality follows from v ∈ CGN . So everywhere we have
equalities, which proves (5.6).
(ii) This assertion follows immediately from (i) and the finiteness of
L(v).
Given these two lemmas, one can find the egalitarian allocation E (v)
of a game v ∈ CGN according to the following algorithm (cf. [46]).
In Step 1 of the algorithm one considers the game N1 , v1 with
N1 := N , v1 := v, and the per capita value v1|T(T| ) for each non-empty
subcoalition T of N1 . Then the largest element T1 ∈ 2N1 \ {∅} in
arg maxT ∈2N1 \{∅} v1|T(T| ) is taken (such an element exists according to
Lemma 5.19) and Ei (N, v) = v1|T(T| ) for all i ∈ T1 is defined. If T1 = N ,
then we stop.
In case T1 = N , then in Step 2 of the algorithm one considers the
convex game N2 , v2 where N2 := N1 \ T1 and v2 (S) = v1 (S ∪ T1 ) −
v1 (T1 ) for each S ∈ 2N2 \{∅} (cf. Lemma 5.20) takes the largest element
T2 in arg maxT ∈2N2 \{∅} v2|T(T| ) and defines Ei (v) = v2|T(T| ) for all i ∈ T2 .
If T1 ∪ T2 = N we stop; otherwise we continue by considering the
game N3 , v3 with N3 := N2 \ T2 and v3 (S) = v2 (S ∪ T2 ) − v2 (T2 ) for
each S ∈ 2N3 \ {∅}, etc. After a finite number of steps the algorithm
stops, and the obtained allocation E (v) ∈ Rn is called the constrained
egalitarian solution of the game v ∈ CGN .
52 5 Classes of Cooperative Crisp Games
Theorem 5.22. Let v ∈ CGN and let E (v) be the constrained egali-
tarian solution. Then E (v) ∈ C(v).
Proof. Suppose that S1 , . . . , Sm is the ordered partition of N on which
E (v) is based. So,
1
Ei (v) = v(S1 ) if i ∈ S1 ,
|S1 |
and for k ≥ 2:
1
Ei (v) = v ∪kr=1 Sr − v ∪k−1
r=1 Sr if i ∈ Sk ,
|Sk |
r=k Sr (k ≥ 1):
and for all T ⊂ ∪m
v ∪k−1
r=1 Sr ∪ T − v ∪r=1 Sr
k−1
v ∪kr=1 Sr − v ∪k−1
r=1 Sr
≤ . (5.7)
|T | |Sr |
n
First, we prove that E(v) is efficient, i.e. i=1 Ei (v) = v(N ). This
follows by noting that
n
m
Ei (N, v) = Ei (v) + Ei (v)
i=1 i∈S1 k=2 i∈Sk
m
= v(S1 ) + v ∪kr=1 Sr − v ∪k−1
r=1 Sr
k=2
= v (∪m
r=1 Sr ) = v(N ).
v(T1 )
m v ∪k−1
r=1 Sr ∪ Tk − v ∪r=1 Sr
k−1
≥ |T1 | + |Tk |
|T1 | |Tk |
k=2
5.2 Convex Games 53
m
≥ v(T1 ) + v ∪k−1
r=1 Tr ∪ Tk − v ∪r=1 Tr
k−1
k=2
= v (∪m
r=1 Tr ) = v(S),
where the first inequality follows from (5.7), and the second inequality
follows by the convexity of v by noting that ∪k−1
r=1 Sr ⊃ ∪r=1 Tr for all
k−1
k ∈ {2, . . . , m}.
Since the constrained egalitarian solution is in the core of the corre-
sponding convex game, it has been interesting to study the interrelation
between E(v) and every other core allocation in terms of the Lorenz
criterion introduced in Section 4.1. It turns out that for convex games
the constrained egalitarian solution Lorenz dominates every other core
allocation; for a proof the reader is referred to [46].
Finally, we mention the population monotonicity of the constrained
egalitarian solution on the domain of convex games (see [45] and [58]
for details).
So, C(v E ) = C(v) for each balanced game v and v E = v if and only
if v is exact. Note the following interesting property of the AL-value:
C(v) = C(w) = ∅ for v, w ∈ GN implies AL(v) = AL(w). This property
is equivalent to the invariance with respect to exactification: AL(v) =
AL(v E ) for each balanced game v ∈ GN .
The invariance with respect to exactification property of the AL-
value gives us the possibility to prove that for some games v ∈ GN
the AL-value of v coincides with the Shapley value of the exactification
v E of v. This is always the case for a game v ∈ GN for which its
exactification is convex.
Theorem 5.25. Let v ∈ GN .
(i) If v is a balanced 2-person game or 3-person game, then AL(v) =
Φ(v E );
(ii) If v is a simplex game, then AL(v) = Φ(v E );
(iii) If v is a dual simplex game, then AL(v) = Φ(v E ).
We show next that the equal split-off set (cf. Section 4.2) and the
core (cf. Definition 2.3) of a cooperative game have additional nice
properties when the game is convex. We start by proving that the
equal split-off set consists of a single allocation which is the Dutta-Ray
egalitarian solution of that game.
Let D1 , . . . , DP be the ordered partition of N according to the
Dutta-Ray algorithm for finding the constrained egalitarian solution
E(v) of a game v ∈ CGN . In each step p ∈ {1, . . . , P } of the Dutta-
Ray algorithm, the coalition Dp is the largest element in the set
v S ∪ ∪p−1
i=1 Di − v ∪p−1
i=1 Di
p
M := arg max .
p−1
S∈2N \∪i=1 Di \{∅}
|S|
Dp = ∪ {D | D ∈ M p } .
v Dp ∪ ∪p−1
r=1 Dr − v ∪p−1
r=1 Dr
dp := for each p ∈ {1, . . . , P } .
|Dp |
Suppose now that we are given a game v ∈ CGN , its ordered par-
tition D1 , . . . , DP according to the Dutta-Ray algorithm, and an al-
location x = (xi )i∈N in the equal split-off set ESOS(v) of v that is
generated by the suitable ordered partition T1 , . . . , TK (cf. Definition
4.1). Then we have the following
56 5 Classes of Cooperative Crisp Games
v1 (T1 )
Lemma 5.27. Let |T1 | = a1 and k1 ∈ {1, . . . , K} be the largest num-
vk1 (Tk1 )
ber for which = a1 . Then a1 = d1 and D1 = ∪kj=1
1
Tj .
|Tk1 |
Proof. Since T1 ∈ M 1 and D1 = ∪ D | D ∈ M 1 , we have T1 ⊆ D1
and a1 = v1|T(T1 1| ) = v(T 1) k1
|T1 | = d1 . Next we show that ∪j=1 Tj ⊆ D1 by
proving by induction that ∪kj=1 Tj ⊆ D1 for each k ∈ {1, . . . , k1 }.
For k = 1 the inclusion is correct. Suppose that for some k ∈
k +1
{1, . . . , k1 − 1} it holds that ∪kj=1 Tj ⊆ D1 . We show that ∪j=1 Tj ⊆ D1 .
We have
k +1
d1 |Tk +1 | = vk +1 (Tk +1 ) = v1 (∪j=1 Tj ) − v1 (∪kj=1 Tj )
# #
k +1 # #
= v1 (∪j=1 Tj ) − d1 #∪kj=1 Tj # ,
i.e., # #
# k +1 # k +1
d1 #∪j=1 Tj # = v1 (∪j=1 Tj ),
k +1
implying that ∪j=1 Tj ⊆ D1 . Hence, ∪kj=1
1
Tj ⊆ D1 .
k1
Next we prove that ∪j=1 Tj = D1 . Suppose that we have V = D1 \
k1
∪j=1 Tj = ∅. First, from the selection of k1 and Proposition 4.6 it follows
that
vk1 +1 (S) k1
< a1 = d1 for each S ∈ 2N \∪j=1 Tj \ {∅} ,
|S|
implying
vk1 +1 (V )
< d1 . (5.8)
|V |
On the other hand,
k∗
p vj (Tj )
∪j=k ∗ Tj = Dp and = dp . (5.9)
p−1 +1 |Tj |
For p = 1, let k1∗ = k1 where k1 ∈ {1, . . . , K} is the largest number for
vk1 (Tk1 )
which = a1 = v1|T(T1 1| ) . By Lemma 5.27 we have ∪kj=1
1
T j = D1
|Tk1 |
vj (Tj ) ∗
and |Tj | = d1 for each j ∈ {1, . . . , k1 }.
Suppose that for some p ∈ {1, . . . , P − 1} there exists kp∗ such that
kp−1 < kp∗ < K for which (5.9) holds. We show that there exists kp+1
∗ ∗ ,
k∗ vj (Tj )
such that kp∗ < kp+1
∗ ≤ K, for which ∪j=kp+1
∗ Tj = Dp+1 and =
∗ p +1 |Tj |
∗
dp+1 for each j ∈ kp + 1, . . . , kp+1 .
k∗
p
Notice that ∪j=1 Tj = ∪pl=1 Dl implying that the game vkp∗ +1 :
„ «
k∗
p
N \∪j=1 Tj
2 → R defined by
k∗
p p k∗
vkp∗ +1 (S) := v ∪j=1 Tj ∪ S − v ∪j=1 Tj ,
p
and the game vp+1 : 2(N \∪l=1 Dl ) → R defined by
vp+1 (S) := v ∪pl=1 Dl ∪ S − v ∪pl=1 Dl
coincide.
vkp∗ +1 (Tkp∗ +1 )
Let akp∗ +1 = ˛
˛
˛
˛ and kp+1 ∈ kp∗ + 1, . . . , K be the largest
˛Tkp∗ +1 ˛
vk (Tkp+1 ) ∗
number for which p+1 ˛
˛
˛
˛ = akp∗ +1 . Take kp+1 = kp+1 . Given the
˛Tkp+1 ˛
coincidence of the games vkp∗ +1 and vp+1 and their convexity (cf. [46]),
we can apply the same argument as in Lemma 5.27 to conclude that
(5.9) holds also for p + 1.
It follows then that the suitable ordered partition T1 , . . . , TK is a
refinement of D1 , . . . , DP of the form
58 5 Classes of Cooperative Crisp Games
$% & % & $ ''
T1 , . . . , Tk1∗ , Tk1∗ +1 , . . . , Tk2∗ , . . . , TkP∗ −1 +1 , . . . , TkP∗
$ '
with TkP∗ = TK , and for each partition Tkp−1 ∗ +1 , . . . , Tkp∗ of Dp , p ∈
∗
{1, . . . , P }, the members of each element Tk , k ∈ kp−1 + 1, . . . , kp∗
with k0∗ = 0, receive the same payoff dp . Thus, we have x = E(v)
implying that ESOS(v) = {E(v)} for v ∈ CGN .
Theorem 5.29. ([104]) Let v ∈ CGN . Then C(v) is the unique stable
set.
Then x ∈ I(v) and x domS y. To prove that x ∈ C(v), note first of all
that for T ∈ 2N with T ∩ S = ∅ we have
xi = (xi − yi ) + yi
i∈T ∩S i∈T ∩S i∈T ∩S
v(S) − yi
i∈S
= |T ∩ S| + yi
|S|
i∈T ∩S
≥ v(T ∩ S) − yi + yi
i∈T ∩S i∈T ∩S
= v(T ∩ S),
In fact, a clan game can be fully described by the shape of the core
as indicated in
Now, we focus on the AL-value (cf. Section 3.3) for big boss games.
Note that, according to Proposition 5.31, the extreme points of the
core of a big boss game v with n as big boss are of the form P T where
T ⊆ N \ {n} and PiT = Mi (v) if i ∈ T , PiT = 0 if i ∈ N \ (T ∪ {n}) and
PnT = v(N )− Mi (v). For each σ ∈ π(N ) the lexicographic maximum
i∈T
Lσ (v) equals P T (σ) , where T (σ) = {i ∈ N \ {n} | σ(i) < σ(n)}.
So, v E is a convex game (and also a big boss game) and the extreme
points of C(v) and of C(v E ) coincide. We obtain then that τ (v) =
AL(v) = AL(v E ) = Φ(v E ).
Then AL (v) = Φ v .
62 5 Classes of Cooperative Crisp Games
The subgames in a total clan game inherit the structure of the original
(clan) game. This leads to the following
Definition 5.35. A game v ∈ GN is a total clan game with clan
C ∈ 2N \ {∅, N } if vS is a clan game (with clan C) for every coalition
S ⊃ C.
Note that in Definition 5.35 attention is restricted to coalitions that
contain the clan C, since the clan property of v implies that in the
other subgames the characteristic function is simply the zero function.
The next theorem provides a characterization of total clan games.
The reader is referred to [122] for its proof.
Theorem 5.36. Let v ∈ GN and C ∈ 2N \{∅, N }. The following claims
are equivalent:
(i) v is a total clan game with clan C;
(ii) v is monotonic, every player i ∈ C is a veto player, and for all
coalitions S and T with S ⊃ C and T ⊃ C :
S ⊂ T implies v(T ) − v(S) ≥ Mi (T, v); (5.11)
i∈T \S
aiT − aiS
⎡ ⎤ ⎡ ⎤
= αi ⎣v(T ) − αj Mj (N, v)⎦ − αi ⎣v(S) − αj Mj (N, v)⎦
j∈T \C j∈S\C
⎡ ⎤
= αi ⎣v(T ) − v(S) − αj Mj (N, v)⎦
j∈T \S
⎡ ⎤
≥ αi ⎣v(T ) − v(S) − Mj (N, v)⎦
j∈T \S
⎡ ⎤
≥ αi ⎣v(T ) − v(S) − Mj (T, v)⎦
j∈T \S
≥ 0,
Proof. Take (αi )i∈N ∈ [0, 1]N as in the proof of Theorem 5.37. Define
for each S ⊃ C and i ∈ S :
αi M
( i (S, v) ) if i ∈ S \ C,
aiS =
αi v(S) − j∈S\C αj Mj (S, v) if i ∈ C.
We proceed to prove that (aiS )i∈S,S⊃C is a bi-mas. Since i∈C αi = 1,
it follows that i∈S aiS = v(S). Now let S ⊃ C, T ⊃ C and i ∈ S ⊂ T .
- If i ∈ N \ C, then aiS = αi Mi (S, v) ≥ αi Mi (T, v) = aiT by (5.12).
- If i ∈ C, then
aiT − aiS
⎡ ⎤ ⎡ ⎤
= αi ⎣v(T ) − αj Mj (T, v)⎦ − αi ⎣v(S) − αj Mj (S, v)⎦
j∈T \C j∈S\C
5.4 Convex Games versus Clan Games 65
⎡ ⎤
= αi ⎣v(T ) − v(S) − αj Mj (T, v)⎦
j∈T \S
⎡ ⎤
+ αi ⎣ αj (Mj (S, v) − Mj (T, v))⎦
j∈S\C
⎡ ⎤
≥ αi ⎣v(T ) − v(S) − αj Mj (T, v)⎦
j∈T \S
≥0
with a monotonic convex game, use its dual game and assign zero worth
to each coalition not containing a certain group of players as to reach a
total clan game with zero worth for the clan. Finally, the way in which
the corresponding games are constructed (“dualize and restrict” versus
“dualize and extend”) is also useful for providing relations between core
elements and elements of the Weber set of the corresponding games.
Since the player set on which a game v is played will be of special
importance for what follows, we write (N, v) for v ∈ GN .
Let us now focus on total clan games (cf. Definition 5.35) and their
characterization using suitably defined marginal games. For a clan game
(N, v) with clan C ∈ 2N \ {∅, N }, define P C := {S ⊆ N | C ⊆ S} as
5.4 Convex Games versus Clan Games 67
Proof. Let (N, v) ∈ M V N,C be a total clan game with clan C. Then
for i ∈ S ⊆ T ⊆ N we have
where the inequality follows from the C-concavity of (N, v). Hence,
(N, v) is a concave game.
Suppose now that N \ C, v C is a concave game. Let S1 , S2 ∈ P C ,
S1 ⊆ S2 , and i ∈ S1 \ C. Then
for each S ⊆ N \ T .
We have then the following result.
68 5 Classes of Cooperative Crisp Games
Proof. Notice that (a) ⇐⇒ (b) follows from Proposition 5.44, and (b)
⇐⇒ (c) holds by Remark 5.43. Finally, (c) ⇐⇒ (d) follows easily from
the definition of a C-based T -marginal game.
We present now a useful relation between total clan games with zero
worth for the clan and monotonic convex games, being interested in
transformations that work across these two classes of games. As it turns
out, we can always construct monotonic convex games from total clan
games with zero worth for the clan, and total clan games with zero
worth for the clan from monotonic convex games. We call the corre-
sponding transformation procedures “dualize and restrict” and “dualize
and extend”, respectively.
Let N = {1, . . . , n} and C ∈ 2N \ {∅, N } be fixed. We denote by
CLAN0N,C the set of all total clan games on N with clan C for which
v (C) = 0 is valid. The set of all games on N \C will be denoted by GN \C
and the set of all monotonic convex games on N \ C by M CON V N \C .
The “dualize and restrict” operator Dr : CLAN0N,C → GN \C is
defined by
Dr (N, v) ∈ M CON V N \C .
where
0 if C S,
v(S) =
w(N \ C) − w ((N \ C) \ (S ∩ (N \ C))) otherwise,
for all S ⊆ N .
De (N \ C, w) ∈ CLAN0N,C .
If C ⊆ S, then
We now show how to use the “dualize and restrict” and the “dualize
and extend” procedures to relate core elements and elements of the
Weber set (cf. Definitions 2.3 and 2.19) of corresponding (total clan
and monotonic convex) games.
In order to state our results, we will need some additional notation.
Let the player set N and C ∈ 2N \ {∅, N } be fixed, and let Π (C)
and Π (N \ C) denote the set of all permutations of C and N \ C,
respectively. For each (τ, σ) ∈ Π (C)×Π (N \ C), we write m(τ,σ) (N, v)
to denote the marginal contribution vector with respect to (N, v) ∈
CLAN0N,C and to the permutation (τ, σ) of N according to which the
set of all predecessors of each non-clan member includes the clan. We
let
!
W (N, v) := co m(τ,σ) (N, v) | (τ, σ) ∈ Π (C) × Π (N \ C) .
Finally, let m(τ,σ) (N, v)|N \C denote the projection of m(τ,σ) (N, v) on
N \ C and
!
W (N, v)|N \C := co m(τ,σ) (N, v)|N \C | (τ, σ) ∈ Π (C) × Π (N \ C) .
Proposition 5.49. Let (N, v) ∈ CLAN0N,C . Then Core (Dr (N, v)) =
W (N, v)|N \C .
mσ (N \ C, w) ∈ W (N \ C, w) ,
and let
σ (N \C,w)
!
X (N \C,w) = co xm | σ ∈ Π (N \ C) .
(b) i ∈ C. We have
(τ,σ) mσ (N \C,w)
mi (N, v) = v P (τ,σ) (i) ∪ {i} −v P (τ,σ) (i) = 0 = xi ,
we can identify the fuzzy coalitions with points in the hypercube [0, 1]N
and the crisp coalitions with the 2|N | extreme points (vertices) of this
hypercube. For N = {1, 2} we have a square with vertices (0, 0), (0, 1),
(1, 0), (1, 1). The corresponding geometric picture for N = {1, 2, 3} is
that of a cube.
For s ∈ F N we define the carrier of s by car(s) = {i ∈ N | si > 0}
and call s a proper fuzzy coalition if car(s) = N . The set of proper
78 6 Preliminaries
Definition 7.2. The Aubin core (cf. [4], [5], and [6]) C(v) of a fuzzy
game v ∈ F GN is the set
C(v) = x ∈ I(v) | si xi ≥ v(s) for each s ∈ F N .
i∈N
co e | k ∈ N, tk = 1 ⊂ C(ut ).
n
Conversely, x ∈ C(ut ) implies that ni=1 xi = 1 = u N
t (e ), i=1 ti xi
≥ 1 = ut (t), xi ≥ ut (ei ) ≥ 0 for each i ∈ N . So x ≥ 0, ni=1 xi (1 − ti ) ≤
0, which implies that xi (1−ti ) = 0 for all i ∈ N . Hence, {xi | xi > 0} ⊂
{i ∈ N | ti = 1} and, consequently, x ∈ co ek | k ∈ N, tk = 1 . So,
C(ut ) ⊂ co ek | k ∈ N, tk = 1 .
In what follows, we denote by F GN
∗ the set of fuzzy games with a
non-empty (Aubin) core.
7.2 Cores and Stable Sets 85
cr
Clearly, thecrisp core C S(v) of a fuzzy game v can
be also defined
as x ∈ I(v) | i∈S xi ≥ v(e ) for each S ∈ 2N \ {∅} and it is also the
core of the crisp game cr(v). One can easily see that both cores C P (v)
and C cr (v) are convex sets.
Let v ∈ F GN , x, y ∈ I(v) and let s ∈ F0N . We say that x dominates
y via s, denoted by x doms y, if
i > yi for all i ∈ car(s), and
(i) x
(ii) i∈N si xi ≤ v(s).
The two above conditions are interpreted as follows:
• xi > yi implies si xi > si yi for each i ∈ car(s), which means that
the imputation x = (x1 , ..., xn ) is better than the imputation y =
1 , ..., yn ) for all (active) players i ∈ car(s);
(y
• i∈N si xi ≤ v(s) means that the payoff i∈N si xi is reachable by
the fuzzy coalition s.
86 7 Solution Concepts for Fuzzy Games
xi + εi for each i ∈ car(s),
yi = i v(eN )−Pi∈N \car(s) v(ei )− v(s)
∗
v e + |N \car(s)|
s
+ δi for each i ∈
/ car(s).
Note that i∈N yi = v(eN ), yi > xi > v(ei ) for each i ∈ car(s) and,
since v(eN ) − i∈N \car(s) v(ei ) − v(s)
s∗ ≥ 0, we have yi ≥ v(e ) for each
i
i∈N \ car(s). Hence y ∈ I(v). Now, since yi > xi for all i ∈ car(s)
and i∈N si yi = v(s) we have y doms x; thus x ∈ I(v) \ DC(v).
= I(v), and C P (v) = DC(v) = I(v). Further, I(v) is the unique stable
set.
By using the average worth of a coalition s ∈ F0N in a game v ∈ F GN
(cf. (6.1)), we define another core concept for fuzzy games.
Definition 7.17. The equal division core EDC(v) of v ∈ F GN is
the set
x ∈ I(v) | s ∈ F0N s.t. α (s, v) > xi for all i ∈ car(s) .
So x ∈ EDC(v) can be seen as a distribution of the value of the
grand coalition eN , where for each fuzzy coalition s, there is a player i
with a positive participation level for which the payoff xi is at least as
good as the equal division share α (s, v) of v(s) in s.
Proposition 7.18. Let v ∈ F GN . Then
(i) EDC(v) ⊂ EDC(cr(v));
(ii) C(v) ⊂ EDC(cr(v)).
Proof. (i) Suppose x ∈ EDC (v).
Then by the definition of EDC(v)
there is no eS ∈ F0N s.t. α eS ,v > xi for all i ∈ car(eS ). Taking into
account that cr(v) (S) = v eS for all S ∈ 2N , there is no S = ∅ s.t.
cr(v)(S)
|S| > xi for all i ∈ S. Hence, x ∈ EDC (cr(v)).
(ii) Suppose x ∈/ EDC(v). Then there exists s ∈ F0N s.t. α (s, v) > xi
for all i ∈ car(s). Then
n
n
si xi < α (s, v) si = v(s)
i=1 i=1
The next example shows that EDC(v) and EDC(cr(v)) are not
necessarily equal.
√
Example 7.19. Let N = {1, 2, 3} and v(s1 , s2 , s3 ) = s1 + s2 + s3 for
each s = (s1 , s2 , s3 ) ∈ F {1,2,3} . For this game we have
√ √ √
3 3 3
EDC(cr(v)) = , , and EDC(v) = ∅.
3 3 3
Since p(1) = 1, the crisp p-core is the same as the crisp core C cr (v).
7.3 Generalized Cores and Stable Sets 91
Remark 7.21. It is easily noticed that Cp (v), CpP (v), and Cpcr (v)
(= C cr (v)) are all convex sets.
For the p-core and the proper p-core, the following properties hold.
tonicity of v.
v(eN ) − vp∗ (s) − v(ei ) ≥ 0
i∈N \car(p(s))
for each s ∈ PF N . Then CpP (v) = DCp (v), and thus DCp (v) is a
convex set.
Proof. By Theorem 7.27(i), CpP (v) ⊆ DCp (v). We show the converse
inclusion by proving that x ∈ / CpP (v) implies x ∈ / DCp (v). If I(v) =
Cp (v), then we easily have Cp (v) = DCp (v) since CpP (v) ⊆ DCp (v) ⊆
P P
I(v). We assume now CpP (v) ⊂ I(v) and take x ∈ I(v) \ CpP (v).
Then there is s ∈ PF N such that p(si )xi < v(s). Then
∗
i∈car(p(s))
i∈car(p(s)) p (s)xi < v(s), and thus xi < vp∗ (s). Hence, for
i∈car(p(s))
each i ∈ car(p(s)), we can take i > 0 such that i∈car(p(s)) (xi + i ) <
vp∗ (s) and i∈car(p(s)) p(si )(xi + i ) < v(s). Define y ∈ Rn by
xi + i if i ∈ car(p(s)),
P
yi = v(eN )−vp∗ (s)− j∈N \car(p(s)) v(ej )
v(ei ) + |N \car(p(s))| + δi if i ∈ N \ car(p(s)),
whereδi > 0 for all i ∈ N \ car(p(s)) are such that i∈N yi = v(eN ).
Since i∈car(p(s)) (xi +i ) < vp∗ (s), we can take such δi , i ∈ N \car(p(s)).
i ≥ v(e ) for each i ∈ car(p(s)). Furthermore, since
Note that yi > x i
∗
v(e ) − vp (s) − i∈\car(p(s)) v(ei ) ≥ 0, we have yi > v(ei ) for each
N
94 7 Solution Concepts for Fuzzy Games
The diagonal value is in fact the fuzzy value studied in [5], [6]. For
extensions of this value the reader is referred to [31].
96 7 Solution Concepts for Fuzzy Games
Let us consider paths in the hypercube [0, 1]N of fuzzy coalitions, which
connect e∅ with eN in a special
% way (cf. [19]). &
Formally, a sequence q = p0 , p1 , . . . , pm of m + 1 different points
in F N will be called a path (of length m) in [0, 1]N if
(i) p0 = (0, 0, . . . , 0), and pm = (1, 1, . . . , 1);
(ii) pk ≤ pk+1 for each k ∈ {0, . . . , m − 1};
(iii) for each k ∈ {0, . . . , m − 1}, there
is one i ∈ N (the acting
player
player in point pk ) such that pk j = pk+1 j for all j ∈ N \ {i},
k
p i < pk+1 i .
% &
For a path q = p0 , p1 , . . . , pm let us denote by Qi (q) the set of
points pk , where player i is acting, i.e. where pk i < pk+1 i . Given a
game v ∈ F GN and a path q, the payoff vector xq (v) ∈ Rn correspond-
ing to v and q has the i-th coordinate
xqi (v) = v(pk+1 ) − v(pk ) ,
k:pk ∈Qi (q)
Note that all paths q ∈ Q(N ) have length at least n. There are
n! paths with length exactly n; each of these paths corresponds to a
situation where one by one the players − say in the order σ(1), . . . , σ(n)
− increase their participation from level 0 to level 1. Let us denote such
a path along n edges by q σ . Then
$ '
q σ = 0, eσ(1) , eσ(1) + eσ(2) , . . . , eN .
7.5 Path Solutions and the Path Solution Cover 97
σ
Clearly, xq (v) = mσ (v). Hence,
σ
W (v) = co xq (v) | σ is an ordering of N ⊂ Q(v).
According to Proposition 7.29, the core of a fuzzy game is a subset
of the Weber set. Hence
Proposition 7.31. For each v ∈ F GN we have C(v) ⊂ W (v) ⊂ Q(v).
Example 7.32. Let v ∈ F G{1,2} be given by v(s1 , s2 ) = s1 (s2 )2 +
s1 + 2s2 for each s = (s1%, s2 ) ∈ F {1,2} 1and let q &∈ Q(N ) be the
1 q
path
1 of length 3 given
by (0, 0) , , 0
13 3 , , 1 , (1, 1) . Then 11 =
x (v)
2 q
v 3 , 0 − v (0, 0) + v (1, 1) − v 3 , 1 = 1 3 , x2 (v) = v 3 , 1 −
1 1 2 1
v 3 , 0 = 2 3 . So 1 3 , 2 3 ∈ Q(v). The two shortest paths of length 2
given by q (1,2) = (0, 0) , (1, 0) , (1, 1) and q (2,1) = (0, 0) , (0, 1) , (1, 1)
have payoff vectors m(1,2) (v) = (1, 3), and m(2,1) (v) = (2, 2), respec-
tively.
Keeping in mind the interrelations among the Aubin core, the fuzzy
Weber set and the path solution cover, one can try to introduce lower
and upper bounds for payoff vectors in these sets. A lower (upper)
bound is a payoff vector whose i-th coordinate is at most (at least) as
good as the payoff given to player i when a “least desirable” (“most
convenient”) situation for him is achieved. By using pairs consisting of
a lower bound and an upper bound, we obtain hypercubes which are
catchers of the Aubin core, the fuzzy Weber set, and the path solution
cover, respectively. In the next section we obtain compromise values
for fuzzy games by taking a feasible compromise between the lower
and upper bounds of the three catchers.
Formally, a hypercube in Rn is a set of vectors of the form
[a, b] = {x ∈ Rn | ai ≤ xi ≤ bi for each i ∈ N } ,
where a, b ∈ Rn , a ≤ b (and the order ≤ is the standard partial order in
Rn ). The vectors a and b are called bounding vectors of the hypercube
[a, b], where, more explicitly, a is called the lower vector and b the upper
vector of [a, b]. Given a set A ⊂ Rn we say that the hypercube [a, b] is
a catcher of A if A ⊂ [a, b], and [a, b] is called a tight catcher of A if
there is no hypercube strictly included in [a, b] which also catches A.
A hypercube of reasonable outcomes for a cooperative crisp game
plays a role in [72] (see also [51]) and this hypercube can be seen as a
tight catcher of the Weber set for crisp games (cf. Section 2.2). Also
in [108] and [116] hypercubes are considered which are catchers of the
core of crisp games.
98 7 Solution Concepts for Fuzzy Games
Our aim is to introduce and study catchers of the Aubin core, the
fuzzy Weber set and the path solution cover for games with a non-
empty Aubin core, i.e. games which belong to F GN∗ .
Let us first introduce a core catcher
and
!
uk (C (v)) = inf ε−1 v(eN ) − v eN − εek | ε ∈ (0, 1] .
∗ and each k ∈ N :
Proposition 7.33. For each v ∈ F GN
So,
xk ≤ ε−1 v(eN ) − v eN − εek
implying that
xk ≤ uk (C(v)) < ∞.
(ii ) For each ε ∈ (0, 1] we have εxk ≥ v εek . Hence,
!
xk ≥ sup ε−1 v εek | ε ∈ (0, 1] = lk (C (v)) > −∞.
and
!
uk (W (v)) = max v eS∪{k} − v eS | S ⊂ N \ {k} .
Then we have
which catches the path solution cover Q(v) as we see in Theorem 7.35,
where for k ∈ N :
lk (Q(v)) =
!
inf ε−1 v s + εek − v(s) | s ∈ F N , sk < 1, ε ∈ (0, 1 − sk ] ,
uk (Q(v)) =
!
sup ε−1 v s + εek − v(s) | s ∈ F N , sk < 1, ε ∈ (0, 1 − sk ] ,
Proof. This assertion follows from the fact that for each path q ∈ Q (N )
and any i ∈ N
xqi (v) = v pk + pk+1i − pki ei − v pk
k:pk ∈Qi (q)
≤ pk+1
i − pki ui (Q(v)) = ui (Q(v)) ,
k:pk ∈Qi (q)
and, similarly,
xqi (v) ≥ li (Q(v)) .
Note that the lower and upper bounds of the catcher of the fuzzy
Weber set are obtained by using a finite number of value differences,
where only coalitions corresponding to crisp coalitions play a role. The
calculation of the lower and upper bounds of the catchers of the Aubin
core and of the path solution cover is based on infinite value differences.
where the first inequality follows from x ∈ C(v) and the second in-
equality from the fact that z is an upper bound for C(v), and then
z ≥ x. Hence mvi (z) ≤ xi for each i ∈ N , which means that mv (z) is a
lower bound for C(v).
Now we are able to introduce the τ -like compromise values taking
into account that all upper vectors of HC(v), HW (v) and HQ(v) are
upper bounds for the Aubin core of v ∈ F GN∗ as follows from (7.1) and
(7.2).
102 7 Solution Concepts for Fuzzy Games
duced in [108] for cooperative crisp games (see Section 3.2), and the
compromise value valW τ (v) is in the spirit of the χ-value in [12], the
µ-value in [57] and one of the values in [29] and [30] for cooperative
crisp games.
8
Convex Fuzzy Games
Hence,
v(s) − v(s ∧ t) =
p r r−1
r=1 v s ∧ t +
σ(k) − v s ∧ t + σ(k)
k=1 εσ(k) e k=1 εσ(k) e ,
and
v(s ∨ t) − v(t) =
p r
σ(k) − v t +
r−1 σ(k)
r=1 v t + k=1 εσ(k) e k=1 εσ(k) e .
8.1 Basic Characterizations 107
From these equalities the relation (8.1) follows because IAMR im-
plies for each r ∈ {1, . . . , p} :
r
r−1
v s∧t+ εσ(k) eσ(k) − v s ∧ t + εσ(k) eσ(k)
k=1 k=1
r
r−1
≤v t+ σ(k)
εσ(k) e −v t+ σ(k)
εσ(k) e .
k=1 k=1
Proof. From the definition of the left derivative and by (M4) it follows
ε−1 (v(s + ε 1 ei ) − v(s)) = ε−1 ε1 D − v(s + xei )dx
1 ε1 − 1 0 i
≤ ε−11 0 Di v(s ε + ε1 ei )dx = D − v(s + ε ei ) ≤ D − v(s + ε ei )
i 1 i 2
= (ε3 − ε2 )−1 ε23 Di− v(s + ε2 ei )dx ≤ (ε3 − ε2 )−1 ε23 Di− v(s + xei )dx
ε
Proof. (i) → (ii): The validity of (M1), (M2), and (M3) in the definition
of MOPAD follows by CwC. To prove (M4) note first that for s1 with
s1i = 0 we have Di− v(s1 ) = −∞ ≤ Di− v(s2 ). If s1i > 0, then CwC
implies (cf. Proposition 8.6) that
for ε > 0 such that s1i − ε ≥ 0. By multiplying the left and right sides of
the above inequality with ε−1 and then taking the limit for ε going to
0, we obtain Di− v(s1 ) ≤ Di− v(s2 ). The second inequality in (M4) can
be proved in a similar way.
(ii) → (iii): Suppose that v satisfies MOPAD. We have to prove
that for each a, b ∈ [0, 1]N with a ≤ b, each i ∈ N, δ ∈ (0, 1 − ai ],
ε ∈ (0, 1 − bi ] such that ai + δ ≤ bi + ε ≤ 1 it follows that
Take a, b, i, δ, ε as above. Let c = a+(bi −ai )ei and d = b+(ai +δ −bi )ei .
We consider two cases:
(α) ai + δ ≤ bi . Then
δ
δ −1 (v(a + δei ) − v(a)) = δ −1 0 Di− v(a + xei )dx ≤
δ
δ −1 0 Di− v(a + δei )dx = Di− v(a + δei ) ≤ Di− v(b) ≤
ε−1 0 Di− v(b + xei )dx = ε−1 (v(b + εei ) − v(b)),
ε
Combining (8.6) and (8.7) via (8.8) (by using the transitivity property
of the inequality relation), (8.5) follows.
(iii) → (iv): Assume that v satisfies IAMR. Take a, b ∈ [0, 1]N with
a ≤ b and c, d ∈ [a, b] with c+d = a+b. Define h = b−c. Then b = c+h
and d = a + h. We nhave
v(b) − v(c) = r=1 (v(c + ri=1 hi ei ) − v(c + r−1 i=1 hi e )) ≥
i
n r r−1
i=1 hi e ) − v(a + i=1 hi e )) = f (d) − f (a),
i i
r=1 (v(a +
where the inequality follows by applying IAMR n times.
(iv) → (i): Let v satisfy DICOV. To prove that v satisfies CwC as
well, note that for s−i ∈ [0, 1]N \{i} and 0 ≤ p < 12 (p + q) < q ≤ 1, we
have (s−i 12 (p + q)) ∈ [(s−i p), (s−i q)]. So, (iv) with a = (s−i p),
b = (s−i q), c = d = (s−i 12 (p + q)) implies v(s−i p) + v(s−i q) ≥
2v(s−i 12 (p + q)).
To prove that v satisfies SM, let c, d ∈ [0, 1]N . Then c, d ∈ [c ∧ d,
c ∨ d]. By (iv) one obtains v(c ∨ d) + v(c ∧ d) ≥ v(c) + v(d).
Remark 8.16. For each r ∈ {1, . . . , m}, let µr be defined for each s ∈
1] by µr (s) = i∈N si µr 1(i}) with µr (i}) ≥ 0 for each i ∈ N and
[0, N
. / . /
α t1 + α t2 = v t1 + v t2 ≤ v t1 ∨ t2 + v t1 ∧ t2
. / . / . / . /
≤ α t 1 ∨ t2 + α t 1 ∧ t2 = α t 1 + α t 2 ,
where the first inequality follows from SM and the second inequality
followsfrom the
definition
. of/ α and the fact that v(e∅ ) = 0. This implies
that v t1 ∨ t2 = α t1 ∨ t2 , so t1 ∨ t2 ∈ A (N, v).
for each s = (s1 , s2 ) ∈ F {1,2} . For this game sups∈F {1,2} α (s, v) = ∞.
0
for each s = (s1 , s2 , s3 ) ∈ F {1,2,3} . For this game sups∈F {1,2,3} α (s, v) =
0
3, and arg sups∈F {1,2,3} α (s, v) = ∅.
0
for each s = (s1 , s2 ) ∈ F {1,2} . For this game maxs∈F {1,2} α (s, v) = 1,
0
arg maxs∈F {1,2} α (s, v) = [0, 1)×[0, 1)\{0}, but this set has no maximal
0
element w.r.t. ≥.
One can easily check that the games in Examples 8.18, 8.19, and 8.20
are supermodular, but not convex (CwC is not satisfied). For convex
fuzzy games all three questions mentioned above are answered affirma-
tively in Theorem 8.23. By using this theorem, the following additional
problems can also be overcome: “How to define the reduced games in
the steps of the adjusted algorithm, and whether this algorithm has
only a finite number of steps?”
In the proof of Lemma 8.21 we will use the notion of degree of
fuzziness of a coalition (cf. page 78). Note that for s ∈ F N
0S with
degree
of fuzziness ϕ (s) = 0 we have α (s, v) ≤ maxS∈2N \{∅} α e , v , because
s is equal to eT for some T ∈ 2N \ {∅}.
Proof. Take s ∈ F
N with ϕ (s) > 0, and i ∈ N such that s ∈ (0, 1).
0 i
Consider t = s , 0 and t1 = s−i , 1 . Note that ϕ t0 = ϕ t1 =
0 −i
From Lemma 8.21 it follows that for each s ∈ F0N , there is asequence
s0 , . . . , sk
in F0N , where
s 0 = s and k = ϕ (s) such that ϕ sr+1 =
ϕ (sr ) − 1, car sr+1 ⊂ car (sr ), and α sr+1 , v ≥ α (sr , v) for each
k
r ∈ {0, . . . , k − 1}. Since ϕ s = 0, sk corresponds to a crisp coalition,
say T . So, we have proved
114 8 Convex Fuzzy Games
Proof. (i) This assertion follows directly from Theorem 8.23 and the
adjusted Dutta-Ray algorithm given above.
(ii) Note that E (v) = E (cr(v)) ∈ C (cr (v)) = C (v), where the
first equality follows from (i), the second equality follows from Theorem
8.38(iii), and the relation E (cr(v)) ∈ C (cr (v)) is a main result in [46]
for convex crisp games.
(iii) It is a fact that E (cr (v)) Lorenz dominates every other element
of C (cr (v)) (cf. [46]). Since E (v) = E (cr (v)) and C (cr (v)) = C (v),
our assertion (iii) follows.
Example 8.26. Let N = {1, 2, 3} and T = {1, 2}. Consider the unanim-
ity fuzzy game ueT with
1 if s1 = s2 = 1,
ueT (s) =
0 otherwise,
Remark 8.27. Note that for each core element x ∈ C(vt ) we have xi = 0
for each i ∈
/ car(t). This follows from
0 = v(e∅ )
= vt (ei ) ≤ xi = xk − xk ≤ vt (eN ) − vt (eN \{i} ) = 0,
k∈N k∈N \{i}
where we use that i ∈/ car(t) in the second and last equalities, and that
x ∈ C(vt ) in the two inequalities.
In the next theorem we see that convex games have a pamas. More-
over, each core element is pamas extendable.
118 8 Convex Fuzzy Games
t−1 −1 σ
i ai,t = tσ(k) mσ(k) (vt )
k k−1
= t−1
σ(k) v tσ(r) eσ(r) − v tσ(r) eσ(r)
r=1 r=1
k k−1
−1
≥ sσ(k) v sσ(r) eσ(r)
−v sσ(r) eσ(r)
r=1 r=1
= s−1 σ −1
σ(k) mσ(k) (vs ) = si ai,s ,
φ(vt ) equals (4t1 (t1 − 2), 10(t2 )2 ), and the scheme (ai,t )i∈{1,2},t∈F N with
0
a1,t = 4t1 (t1 − 2), a2,t = 10(t2 )2 is a pamas extension of φ(v), with the
fuzzy Shapley value of vt in each row corresponding to t of the scheme,
so (ai,t )i∈{1,2},t∈F N is the total fuzzy Shapley value of v.
0
Example 8.40. Consider the public good game in Example 6.5. If the
functions g1 , . . . , gn and −k are convex, then we have v ∈ CF GN .
and the fuzzy games with a non-empty Aubin core form a cone.
On the set of convex fuzzy games the Aubin core turns out to be an
additive correspondence as we see in
Proposition 8.41. The Aubin core of a convex fuzzy game and the
fuzzy Shapley value are additive solutions.
Now, we study properties of other cores and stable sets for convex
fuzzy games (cf. [114]).
Proof. Take x, y ∈ I(v) and suppose x doms y for some s ∈ F0N with
car(s) = {i}. Then xi > yi and si xi ≤ v(si ei ). By the convexity of v,
i
we obtain si v(ei ) ≥ v(si ei ). Thus, we have yi < xi ≤ v(ssiie ) ≤ v(ei )
which is a contradiction with the individual rationality of y.
Theorem 8.43. Let v ∈ CF GN and w = cr(v). Then, for all x, y ∈
I(v) = I(w), we have x dom y in v if and only if x dom y in w.
Proof. First, we note that
I(v) = x ∈ Rn | xi = v eN , xi ≥ v(ei ) for each i ∈ N
i∈N
and
I(w) = x ∈ Rn | xi = w (N ) , xi ≥ w({i}) for each i ∈ N
i∈N
Proof. From the fact that v satisfies IAMR (cf. Proposition 8.8) it
follows that
!
lk (Q(v)) = inf ε−1 v εek − v(0) | ε ∈ (0, 1]
= Dk v(0),
and
!
uk (Q(v)) = sup ε−1 v eN − v eN − εek | ε ∈ (0, 1]
= D k v eN .
lk (C(v)) = v ek ,
uk (C(v)) = v eN − v eN \{k}
for each k ∈ N .
and
v ek − v(0) ≤ v eS + ek − v eS for each S ⊂ N \ {k} .
= v ek ,
8.4 Properties of Solution Concepts 125
valWσ (v).
ε−1 1 1 −1 2 2
1 (v(s ) − v(s − ε1 e )) ≥ ε2 (v(s ) − v(s − ε2 e )).
i i
Property (i) expresses the fact that the full participation level of all
clan members is a necessary condition for generating a positive reward
for coalitions.
Fuzzy clan games for which the clan consists of a single player are
called fuzzy big boss games, with the single clan member as the big
boss.
Remark 9.2. One can see a fuzzy clan game as a special mixed action-
set game, the latter being introduced in [34].
Example 9.4. (A fuzzy voting situation with a fixed group with veto
power) Let N and C be as in Example 9.3, and 0 < k < |N \C|. Let
v : [0, 1]N \C × {0, 1}C → R with
m
v(s) =
1 if sC = 1C and i=1 si ≥ k,
0 otherwise.
Then v has the veto power property for members in C and the mono-
tonicity property, but not the DAMR-property with respect to members
of N \C, hence it is not a fuzzy clan game. This game can be seen as
arising from a voting situation where to pass a bill all members
of C
have to (fully) agree upon and the sum of the support levels i∈N \C si
of N \ C should exceed a fixed threshold k, where si = 1 (si = 0) corre-
spond to full support (no support) of the bill, but also partial supports
count.
In the following the set of all fuzzy clan games with a fixed non-
empty set of players N and a fixed clan C is denoted by F CGN C . We
notice that F CGN is a convex cone in F G N , that is for all v, w ∈
C
F CGN C and p, q ∈ R+ , pv + qw ∈ F CGC , where R+ denotes the set of
N
Proof. First, note that for each s ∈ FCN with sC = 1C we have (t∗s)C =
1C , and then the veto-power property of v implies vt (s) = v(t ∗ s) = 0.
To prove the monotonicity property, let s1 , s2 ∈ FCN with s1 ≤ s2 . Then
vt (s1 ) = v(t ∗ s1 ) ≤ v(t ∗ s2 ) = vt (s2 ), where the inequality follows from
the monotonicity of v. Now, we focus on DAMR regarding non-clan
members. Let i ∈ N \C, s1 , s2 ∈ F1NC , and let ε1 > 0, ε2 > 0 such that
s1 ≤ s2 and 0 ≤ s1 − ε1 ei ≤ s2 − ε2 ei . Then
ε−1 2 2 −1 2 2
2 (vt (s ) − vt (s − ε2 e )) = ε2 (v(t ∗ s ) − v(t ∗ s − ti ε2 e ))
i i
≤ ε−1 1 1
1 (v(t ∗ s ) − v(t ∗ s − ti ε1 e ))
i
= ε−1 1 1
1 (vt (s ) − vt (s − ε1 e ),
i
where the inequality follows from the fact that v satisfies the DAMR-
property.
For each i ∈ N \C, x ∈ [0, 1] and t ∈ FCN , let (t−i || x) be the element
in FCN such that (t−i || x)j = tj for each j ∈ N \{i} and (t−i || x)i =
x. The function v : [0, 1]N \C × {0, 1}C → R is called coordinate-wise
concave regarding non-clan members if for each i ∈ N \ C the function
gt−i : [0, 1] → R with gt−i (x) = v(t−i || x) for each x ∈ [0, 1] is a
concave function. Intuitively, this means that the function v is concave
in each coordinate corresponding to (the participation level of) a non-
clan member when all other coordinates are kept fixed.
The function v : [0, 1]N \C × {0, 1}C → R is said to have the submod-
ularity property on [0, 1]N \C if v(s ∨ t) + v(s ∧ t) ≤ v(s) + v(t) for all
s, t ∈ F1NC , where s ∨ t and s ∧ t are those elements of [0, 1]N \C × {1C }
with the i-th coordinate equal, for each i ∈ N \ C, to max{si , ti } and
min{si , ti }, respectively.
i ∈ N \ C, 0 ≤ xi for
neach i ∈ C},N if |C| > 1;
(ii) C(v) = {x ∈ R | i=1 xi = v(e ), 0 ≤ xi ≤ Di v(eN ) for each
n
with
−1
m
Di v(eN )
t = |C| v(e ) −
N
,
2
i=1
which corresponds to the point with a central location in this geometric
structure. Note that b(v) is in the intersection of middle-hyperplanes
of all hyperbands Bi (v), i = 1, . . . , m, and it has the property that the
coordinates corresponding to clan members are equal.
Example 9.10. For a three-person fuzzy big boss game with player 3
as the big boss and v(e3 ) = 0 the Aubin core has the shape of a
parallelogram (in the imputation set) with vertices: (0, 0, v(eN )),
(D1 v(eN ), 0, v(eN ) − D1 v(eN )), (0, D2 v(eN ), v(eN ) − D2 v(eN )),
(D1 v(eN ), D2 v(eN ), v(eN ) − D1 v(eN ) − D2 v(eN )). Note that
D1 v(eN ) D2 v(eN ) N D1 v(eN ) + D2 v(eN )
b(v) = , , e −
2 2 2
is the middle point of this parallelogram.
For v ∈ CF GN we know that C(v) = C(cr(v)) (cf. Theorem 8.38(iii)).
This is not the case in general for fuzzy clan games as the next example
shows.
Example 9.11. Let N = {1, 2}, let v : [0, 1] × {0, 1} → R be given by
√
v(s1 , 1) = s1 , v(s1 , 0) = 0 for each s1 ∈ [0, 1], and let w = cr(v).
Then v is a fuzzy big boss 0 game
1 with player 2 as the big boss, and
1
C(v) = (α, 1 − α) | α ∈ 0, 2 , C(w) = {(α, 1 − α) | α ∈ [0, 1]}. So,
C(v) = C(w).
The next lemma plays a role in what follows.
Lemma 9.12. Let v ∈ F CGN C . Let t ∈ F1C and vt be the t-restricted
N
Proof. We only prove (i). Let t ∈ F1NC , with |C| > 1. Then, by the
definition of the Aubin core of a fuzzy game, C(vt ) = {x ∈ Rn | xi =
i∈N
vt (eN ), si xi ≥ vt (s) for each s ∈ FCN }. Since vt (eN ) = v(t) and
i∈N
since, by Proposition 9.5, vt is itself a fuzzy clan game,
we can apply
Theorem (ii)(i), thus obtaining C(vt ) = {x ∈ R | n xi = v(t), 0 ≤
i∈N
xi ≤ Di vt (eN ) for each i ∈ N \ C, 0 ≤ xi for each i ∈ C}. Now, we
apply Lemma 9.12.
for the clan member i from what is left for the group of clan members
in eN .
Theorem 9.17. Let v ∈ F CGN
C . Then
C → R is stable (i.e. ψ
(i) ψ α,β : F CGN n α,β (v) ∈ C(v) for each v ∈
F CGC ) and additive for each α ∈ [0, 1]m and each β ∈ ∆(C);
N
Proof. (i) ψ α,β (pv + qw) = pψ α,β (v) + qψ α,β (w) for all v, w ∈ F CGN C
and all p, q ∈ R+ , so ψ α,β is additive on the cone of fuzzy clan games.
The stability follows from Theorem (ii).
(ii) Clearly, each ψ α,β (v) ∈ C(v). Conversely, let x ∈ C(v). Then,
according to Theorem (ii), xi ∈ [0, Di v(eN )] for each i ∈ N \ C. Hence,
for each i ∈ {1, . . . , m} there is αi ∈ [0, 1] such that xi = αi Di v(eN ).
Now, we show that
m
v(e ) −
N
αi Di v(eN ) ≥ 0. (9.3)
i=1
Note that eC ∈ F1NC is the fuzzy coalition where each non-clan member
has participation level 0 and each clan-member has participation level
1. We have
i i−1
m
v(eN ) − v(eC ) = v ek + eC − v ek + eC
i=1 k=1 k=1
m
N m
≥ v e − v(e − e ) ≥
N i
Di v(eN )
i=1 i=1
m
≥ αi Di v(eN ),
i=1
m
(take β ∈ ∆(C) arbitrarily if v(eN ) − Di v(eN ) = 0, and βi =
N −1 i=1
xi v eN − m i=1 αi Di v e for each i ∈ C, otherwise). Hence,
α,β
x = ψ (v).
9.3 Bi-Monotonic Participation Allocation Rules 137
Theorem 9.21. Let v ∈ F CGN C , with N \C = {1, . . . , m}. Then for each
α ∈ [0, 1]m and β ∈ ∆(C) = ∆({m + 1, . . . , n}) the compensation-sharing
rule ψ α,β generates a bi-pamas for v, namely ψiα,β (vt ) N
.
i∈N,t∈F1
C
138 9 Fuzzy Clan Games
Proof. We treat only the case |C| > 1. In Theorem (ii)(i) we have
proved that for each t ∈ F1NC the Aubin core C(vt ) of the t-restricted
game vt is given by C(vt ) = {x ∈ Rn | i∈N xi = v(t), 0 ≤ xi ≤
ti Di v(t) for each i ∈ N \ C, 0 ≤ xi for each i ∈ C}. Then, for each
non-clan member i the α-based compensation (regardless of β) in the
“grand coalition” t of the t-restricted game vt is ψiα,β = αi ti Di v(t),
i ∈ {1, . . . , m}. Hence, ψiα,β = βi (v (t) − m i=1 αi ti Di v (t)) for each
i ∈ {m + 1, . . . , n}.
First, we prove that for each non-clan member i the compensation
per unit of participation level is weakly decreasing when the coalition
containing all clan members with full participation level and in which
player i is active (i.e. si > 0) becomes larger.
Let s, t ∈ F1NC with s ≤ t and i ∈ car(s) ∩ (N \C). We have
Now, denote by Rα (vt ) the α-based remainder for the clan members
in the “grand coalition” t of the t-restricted game vt . Formally,
Rα (vt ) = vt (eN ) − αi Di vt (eN ) = v(t) − αi Di v(t).
i∈N \C i∈N \C
where the first inequality follows from Lemma 9.7 and the second in-
equality from Lemma 9.20. This implies
m
m
v(t) − tk αk Dk v(t) ≥ v(s) − sk αk Dk v(t)
k=1 k=1
m
≥ v(s) − sk αk Dk v(s),
k=1
where the last inequality follows from Lemma 9.20. So, we proved that
Rα (vt ) ≥ Rα (vs ) for all s, t ∈ F1NC with s ≤ t.
Now, note that inequality (9.4) implies that for each clan member
the individual share (of the remainder for the whole group of clan
members) in vt , that is βi Rα (vt ), is weakly increasing when non-clan
members increase their participation level.
In the next theorem we show that each core element of a fuzzy clan
game is bi-pamas extendable.
Multi-Choice Games
In a multi-choice game each player has a finite number of activity
levels to participate with when cooperating with other players. Roughly
speaking, cooperative crisp games can be seen as multi-choice games
where each player has only two activity levels: full participation and no
participation at all.
Multi-choice games were introduced in [60], [61] and extensively
studied also in [23], [24], [28], [33], [32], [40], [53], [54], [65], [81], [82],
and [88]. In this part we basically follow [23], [24], [28], and [82].
This third part of the book is organized as follows. Chapter 10
contains basic notation and notions for multi-choice games. In Chapter
11 solution concepts for multi-choice games are introduced inspired
by classical solution concepts for crisp games. In Chapter 12 balanced
multi-choice games, convex multi-choice games and multi-choice clan
games are presented and special properties of solution concepts on these
classes of games are studied.
10
Preliminaries
s ≤ u. For t ∈ MN we also need the notation Mit = {1, ..., ti } for each
+
i ∈ N and MN t = i∈N Mi . A characteristic function v : M
t N → R
for all t ∈ MN .
For two sets A and B in the same vector space we set A + B =
{x + y | x ∈ A and y ∈ B}. By convention, the empty sum is zero.
N,m . We define M := {(i, j) | i ∈ N, j ∈ M } and M + :=
Let v ∈ M C i
(i, j) | i ∈ N, j ∈ Mi+ . A (level) payoff vector for the game v is a
function x : M → R, where, for all i ∈ N and j ∈ Mi+ , xij denotes the
increase in payoff to player i corresponding to a change of activity level
j − 1 to j by this player, and xi0 = 0 for all i ∈ N .
Let x and y be two payoff vectors for the game v. We say that x is
weakly smaller than y if for each s ∈ MN ,
si
si
X(s) := Xisi = xik ≤ yik = Yisi =: Y (s).
i∈N i∈N k=0 i∈N k=0 i∈N
Note that this does not imply that xij ≤ yij for all i ∈ N and j ∈ Mi .
The next example illustrates this point. To simplify the notation in the
example we represent a payoff vector x : M → R by a deficient matrix
[aij ] with i = 1, . . . , n and j = 1, . . . , max {m1 , . . . , mn }. In this matrix
aij := xij if i ∈ N and j ∈ Mi+ , and aij is left out (∗) if i ∈ N and
j > mi .
148 10 Preliminaries
Then x is weakly smaller than y, since X ((1, 0)) ≤ Y ((1, 0)), X ((1, 1))
≤ Y ((1, 1)) and X (s) ≤ Y (s) for all other s. The reason here is that
player 1 gets 3 for playing at his second level according to both payoff
vectors , while according to y player 1 gets 2 for playing at his first
level and according to x player 1 gets only 1 at the first level.
Let v ∈ M C N,m
. A payoff vector x : M → R is called efficient if
X(m) = i∈N m i
j=1 ij = v(m) and it is called level-increase rational
x
if, for all i ∈ N and j ∈ Mi+ , xij is at least the increase in worth
that player i can obtain when he works alone
and changes
his activity
from level j − 1 to level j, i.e. xij ≥ v jei − v (j − 1) ei . Notice
that the level increase rationality property for (level) payoff vectors is
the analogue of the individual rationality property of payoff vectors for
cooperative crisp games (cf. Definition 1.27(i)).
In Theorems 11.6, 11.8 and 11.9 we deal with the relations between
the core and the dominance core of a multi-choice game.
for all s ∈ MN .
Now, suppose v(s) ≤ v(m) for all s ∈ MN . Since C(v) ⊂ DC(v)
(cf. Theorem 11.6), it suffices to prove that x ∈ / DC(v) for all x ∈
I(v) \ C(v). Let x ∈ I(v) \ C(v) and s ∈ MN + such that X(s) < v(s).
+
Define y : M → R as follows
⎧
⎨ xij + v(s)−X(s)
P if i ∈ N and j ∈ {1, . . . , si } ,
k∈N sk
yij :=
⎩ P (m −s ) if i ∈ N and j ∈ {si + 1, . . . , mi } .
v(m)−v(s)
k∈N k k
Using Theorems 11.6 and 11.8 we can easily prove Theorem 11.9.
Note that this theorem also holds for cooperative crisp games, because
the class of multi-choice games contains the class of cooperative crisp
games.
Other sets of payoff vectors for multi-choice games which are based
on the notion of domination are introduced in [81] as follows.
Let v ∈ M C N,m and 2I(v) := {A | A ⊂ I(v)}. We introduce two
maps, D : 2I(v) → 2I(v) and U : 2I(v) → 2I(v) , given for all A ⊂ I(v) by
The set D(A) consists of all imputations that are dominated by some
element of A. The set U (A) consists of all imputations that are undom-
inated by elements of A. Hence, DC(v) = U (I(v)).
A set A ⊂ I(v) is internally stable if elements of A do not dom-
inate each other, i.e. A ∩ D(A) = ∅, and it is externally stable if
all imputations not in A are dominated by an imputation in A, i.e.
I(v) \ A ⊂ D(A). A set A ⊂ I(v) is a stable set (cf. [78]) if it is both
internally and externally stable.
It can be easily seen that a set A ⊂ I(v) is stable if and only if A is a
fixed point of U , i.e. U (A) = A. The following theorem is an extension
towards multichoice games of Theorem 2.12.
It has been shown in [68] that there exist cooperative crisp games
without a stable set. Therefore, since all our definitions are consistent
with the corresponding definitions for cooperative crisp games, we may
conclude that multi-choice games do not always have a stable set.
In the following, we introduce the multi-choice version of the equal
division core for traditional
n games (cf. [28]). Let v ∈ M C N,m and s ∈
M . Let s1 = i=1 si be the cumulate number of levels of players
N
The next theorem copes with the relation between the equal division
core of a game v ∈ M C N,m and the precore of that game.
Theorem 11.14. Let v ∈ M C N,m . Then PC(v) ⊂ EDC(v).
Proof. We show that x ∈ / EDC(v) implies x ∈ / PC(v). Suppose x ∈ /
EDC(v). Then there exists s ∈ MN + such that α(s, v) > xij for all
i ∈ car(s) and j ∈ {1, ..., si }. We obtain
si
Xisi = xij < si α(s, v),
j=1
implying that
X(s) = Xisi < si α(s, v) = α(s, v) si = v(s).
i∈N i∈N i∈N
So, x ∈
/ PC(v).
sσ,k
i := max ({j ∈ Mi | σ ((i, j)) ≤ k} ∪ {0})
σ
wij := v sσ,σ((i,j)) − v sσ,σ((i,j))−1
and
X je1 ≥ v je1 = Y je1 for all j ∈ {1, . . . , m1 } .
Hence, y is weakly smaller than x.
(ii) Let v ∈ M C {1,2},m with m = (1, 1). Then there are two marginal
vectors,
11.2 Marginal Vectors and the Weber Set 157
2 1 3 2 1 3
2 − v e2
1 v e and y =
2 v e
+ e
y = .
v e1 + e2 − v e1 v e2
"
Suppose x ∈ C(v). Then
1
x11 ≥ v e , x21 ≥ v e2 and x11 + x21 = v e1 + e2 .
xu : {(i, j) | i ∈ N, j ∈ {0, . . . , ti }} → R
and
xw : {(i, j) | i ∈ N, j ∈ {0, . . . , mi − ti }} → R
defined by
and
xi,j+ti if i ∈ N and j ∈ {1, . . . , mi − ti } ,
xw :=
ij 0 if i ∈ N and j = 0.
"
Now, xu ∈ C(u) because X u (t) = X(t) = v(t) = u(t) and X u (s) =
X(s) ≥ v(s) = u(s) for all s ∈ MN with s ≤ t. Further, xw ∈ C(w)"
because
158 11 Solution Concepts for Multi-Choice Games
i −ti
m
X w (m − t) = xi,j+ti
i∈N j=1
= X(m) − X(t) = v(m) − v(t) = w(m − t)
and
si
w
X (s) = xi,j+ti
i∈N j=1
= X(s + t) − X(t) ≥ v(s + t) − v(t) = w(s)
z 1 : {(i, j) | i ∈ N, j ∈ {0, . . . , ti }} → R
z 2 : {(i, j) | i ∈ N, j ∈ {0, . . . , mi − ti }} → R
for w one defines the payoff vector z 1 , z 2 : M → R for v as follows:
1
1 2 zij if i ∈ N and j ∈ {0, . . . , ti } ,
z , z ij := 2 if i ∈ N and j ∈ {t + 1, . . . , m } .
zij i i
We prove that
(W (u), W (w)) := z 1 , z 2 | z 1 ∈ W (u), z 2 ∈ W (w)
is a subset of W (v). Note that (W (u), W (w)) and W (v) are convex sets.
Hence, it suffices to prove that the extreme points of (W (u), W (w)) are
elements of W (v). Suppose z 1 , z 2 is an extreme point of (W (u),W (w)).
Then, obviously, z 1 is a marginal vector of u and z 2 is a marginal vector
of w. Let σ ∈ Ξ(u) and ρ ∈ Ξ(w) be such that z 1 is the marginal vector
of u corresponding 2
1 to2 σ and z is the marginal vector of w correspond-
ing to ρ. Then z , z is the marginal vector of v corresponding to the
admissible ordering τ for v defined by τ ((i, j)) := σ ((i, j)) if i ∈ N
and j ∈ {1, . . . , ti }, and τ ((i, j)) := ρ ((i, j − ti )) + i∈N ti if i ∈ N
and j ∈ {ti+ 1, . . . , mi }.
Hence, z 1 , z 2 ∈ W (v) and this completes the proof.
11.3 Shapley-like Values 159
It turns out that there is more than one reasonable extension of the
definition of the Shapley value for cooperative crisp games to multi-
choice games. First, we present the solution proposed in [82] where the
average of the marginal vectors of a multi-choice game is considered to
obtain an extension of the Shapley value for crisp games to multi-choice
games.
+
• An allocation rule γ : M C N,m → RM satisfies the hierarchical
strength property if for each v ∈ M C N,m which is a multiple of a
minimal effort game, say v = βus with s ∈ MN + and β ∈ R, we
have that for all (i1 , j1 ) , (i2 , j2 ) ∈ M +
γ (v + w) = γ (v) + γ(w).
ti
γij (v) = v(m).
i∈car(t) j=1
160 11 Solution Concepts for Multi-Choice Games
v (0) : = 0 (11.6)
v (s) : = v(s) − v (t).
t≤s,t=s
γij (v) = 0.
Hence, if we want to find weights w such that Ψ w (v) = Φ(v), then these
weights should satisfy the conditions 0 < w1 < w2 < w3 , w2 = 4w1 ,
w3 = 4w2 and w3 = 19w1 . Clearly, it is impossible to find weights
satisfying all these conditions.
The Shapley value Φ was further studied in [33] where the focus is
on players’ total payoffs instead of level payoff vectors. It is shown there
that Φ corresponds to the discrete Aumann-Shapley method proposed
in [75], and that the Aumann-Shapley value for games with a continuum
of players (cf. [7]) can be obtained as the limit of multi-choice values
Φ for admissible sequences of multi-choice games that converge to the
continuum game.
Another extension of the Shapley value for crisp games to multi-
choice games, the Shapley value Θ, was introduced in [40]. In [65] it
is proved that Θ can be seen as the (level) payoff vector of average
marginal contributions of the elements in MN + and it is shown via
an example that in some situations Θ seems to be more appropriate
than Φ. The Shapley value Θ was axiomatically characterized in [81]
by extending the characterization for the Shapley value for crisp games
provided in [128]. Several other characterizations of Θ were provided
in [65].
A fourth Shapley-like value for multi-choice games is the egalitarian
multi-choice solution ε introduced in [88]. We notice that this Shapley
value makes incomplete use of information regarding the characteristic
function. Specifically, the solution ε is defined using the values of those
multi-choice coalitions where only one player acts at an intermediary
level, while the other players are either inactive (i.e. their participation
level is 0) or act at their maximum participation level. This value was
axiomatically characterized in [88] by the properties of efficiency, zero
contribution, additivity, anonymity, and level-symmetry.
Finally, we refer the reader to [53] for other reasonable extensions
of the definition of the Shapley value for crisp games to multi-choice
games.
11.4 The Equal Split-Off Set for Multi-Choice Games 163
{tk−1
i + 1, . . . , tki }, where for each (i, j) ∈ T k , eij = αk , and the coali-
tion t − tk−1 is the maximal participation profile in the ”box” T k with
k
it holds that s∈MN λ(s)v0 (s) ≤ v0 (m), where v0 is the zero-normaliza-
+
tion of v.
Note that this definition coincides with the familiar definition of bal-
ancedness for cooperative crisp games v ∈ M C N,m with m = (1, . . . , 1)
(cf. Definition 1.19).
The next theorem is an extension to multi-choice games of a theorem
proved in [16] and [103] which gives a necessary and sufficient condition
for the nonemptiness of the core of a game.
Then, obviously, y ∈ C(v). Further, one can identify y with the vector
(y11 , . . . , yn1 ). This proves that C(v) = ∅ if and only if there exist
z1 , . . . , zn ∈ R+ such that
zi = v(m) (12.2)
i∈N
and
zi ≥ v(s) (12.3)
i∈car(s)
source and the sink. For each arc there are a capacity constraint and
a constraint with respect to the allowance to use that arc. If l is an
arc in the network and w is the (simple) control game for arc l, then a
coalition s is allowed to use arc l if and only if w(s) = 1. The capacity
of an arc l in the network is denoted by cl ∈ (0, ∞). The flow game
corresponding to a flow situation assigns to a coalition s the maximal
flow that coalition s can send through the network from the source to
the sink.
For cooperative crisp games it was shown in [64] that a nonnegative
cooperative crisp game is totally balanced if and only if it is a flow
game corresponding to a flow situation in which all arcs are controlled
by a single player (cf. Theorem 5.4). The corresponding definitions of
a dictatorial simple game and of a totally balanced game for the multi-
choice case are given below.
p
p
Y (s) = cr X (s) ≥
r
cr wr (s) ≥ v(m), (12.7)
r=1 r=1
for all s ∈ MN .
Now, let i ∈ N and j ∈ Mi+ . Since cr ≥ 0 and xrij ≥ 0 for all
r ∈ {1, . . . , p} it easily follows that
p
yij = cr xrij ≥ 0. (12.8)
r=1
or # # # #
# s ∈ MN | v(s) > 0 # < # s ∈ MN | v(s) > 0 # .
for all s, t ∈ MN .
For a convex game v ∈ M C N,m it holds that
Proof. Note that convexity of both C(v) and W (v) implies that it suf-
fices to prove that wσ ∈ C(v) for all σ ∈ Ξ(v). So, let σ ∈ Ξ(v).
Efficiency of wσ follows immediately from its definition. That wσ is
level increase rational follows directly when we use expression (12.10).
Now, let s ∈ MN . The ordering σ induces an admissible
ordering
σ : {(i, j) | i ∈ N, j ∈ {1, . . . , si }} → 1, . . . , i∈N si in an obvious
way. Since sσ ,σ ((i,j)) ≤ sσ,σ((i,j)) for all i ∈ N and j ∈ {1, . . . , si }, the
convexity of v implies wij σ ≤ w σ for all i ∈ N and j ∈ {1, . . . , s }.
ij i
Hence,
si si
σ
σ
wij ≥ wij = v(s).
i∈N j=0 i∈N j=0
In contrast with convex crisp games for which C(v) = W (v) holds
(cf. Theorem 5.10(v)), the converse of Theorem 12.11 is not true for
convex multi-choice games. We provide an example of a game v ∈
CM C N,m with W (v) ⊂ C(v), W (v) = C(v).
Some
2 3 calculation shows that C(v) = co {w1 , w2 , w3 , x}, where x =
30
. We see that x ∈
/ co {w1 , w2 , w3 } = W (v).
0∗
The core element x in Example 12.12 seems to be too large: note
that w3 is weakly smaller than x and w3 is still in the core C(v). This
inspires the following
Definition 12.13. For a game v ∈ M C N,m the set Cmin (v) of mini-
mal core elements is defined as follows
Proof. We start by proving that all marginal vectors are minimal core
elements. Let σ ∈ Ξ(v). Then wσ ∈ C(v) (cf. Theorem 12.11). Suppose
y ∈ C(v) is such that y = wσ and y is weakly smaller than wσ . Let
j
i ∈ N and j ∈ Mi+ be such that Y jei < σ
l=1 wil and consider
t := sσ,σ((i,j)) . Then,
tk
Y (t) = Y tk ek < σ
wkl = v(t), (12.11)
k∈N k∈N l=0
where the inequality follows from the fact that ti = j and the last
equality follows from the definitions of t and wσ . Now, (12.11) implies
that y ∈/ C(v). Hence, we see that wσ ∈ Cmin (v). This immediately
implies that
W (v) ⊂ co (Cmin (v)) . (12.12)
Now, let x be a minimal core element. We prove that x ∈ W (v).
According to Theorem 11.17 we can find a payoff vector y ∈ W (v) that
is weakly smaller than x. Using (12.12) we see that y ∈ co (Cmin (v)) ⊂
C(v). Since x is minimal we may conclude that x = y ∈ W (v). Hence,
W (v) = co (Cmin (v)).
Note that Theorem 12.14 implies that for a convex crisp game the
core coincides with the Weber set. The converse of Theorem 12.14 also
holds, as shown in
Theorem 12.15. Let v ∈ M C N,m with W (v) = co (Cmin (v)). Then
v ∈ CM C N,m .
Proof. Let s, t ∈ MN . Clearly, there is an order σ that is admissible
for vand that has the property that there exist k, l with 0 ≤ k ≤
l ≤ i∈N mi such that s ∧ t = sσ,k and s ∨ t = sσ,l . Note that for the
corresponding marginal vector wσ we have that wσ ∈ co (Cmin (v)) ⊂
C(v). Using this we see
si
ti
v(s) + v(t) ≤ σ
wij + σ
wij
i∈N j=1 i∈N j=1
(s∧t)i
(s∨t)
i
σ σ
= wij + wij
i∈N j=1 i∈N j=1
= v (s ∧ t) + v (s ∨ t) ,
where the last equality follows from the definition of wσ . Hence, v is
convex.
12.2 Convex Multi-Choice Games 173
not later than the same turn in the maximal chain generated by σt ,
implying that (u−i , j) ≤ (ū−i , j). Furthermore, (ū−i , j) ≤ m. Then,
The set A(v) is closed with respect to the join operator ∨ and there exists
a unique element in arg maxs∈MN α(s, v) with the maximal cumulate
+
number of levels.
where the first inequality follows from the convexity of v, and the second
inequality follows from the definition of ᾱ and the fact that v(0) = 0
(in case t1 ∧ t2 = 0). This implies that v(t1 ∨ t2 ) = ᾱt1 ∨ t2 1 . Hence,
t1 ∨ t2 ∈ A(v), in case t1 ∧ t2 ∈ A(v) as well as in case t1 ∧ t2 1 = 0.
We can conclude that for any t1 , t2 ∈ A(v) not only t1 ∨ t2 ∈ A(v) holds
true, but also t1 ∧ t2 ∈ A(v) if t1 ∧ t2 = 0. Further, A(v) is closed with
respect to finite ”unions”, where t1 ∨ t2 is seen as the ”union” of t1 and
t2 . Now, we note that the set A(v) ∪ {0} has a lattice structure and
5
t∈A(v) t is the largest element in A(v).
(2.4, 2.4, 2.4, 2.4, 2.4). Note that d13 = 2.4 < v(3e1 )−v(2e1 ) = 5−2 = 3.
Hence, d(v) ∈ / I(v).
Remark 12.21. Note that the above described Dutta-Ray algorithm
determines in P steps for each v ∈ CM C N,m a unique sequence
of (per one-unit level increase) average values α1 , α2 , . . . , αP with
αp := α(sp , vp ) for each p ∈ {1, . . . , P }, and a unique sequence of multi-
choice coalitions in MN 1 1 2 1 2
+ , which we denote by t := s , t := s + s ,...,
p 1 p P 1 P
%t 0:=1 s + .P. .&+ s ,..., 0t := s + . . . + s = m. Thus, a unique path
t , t , . . . , t , with t = 0 from 0 to m is obtained, to which we can
associate a suitable ordered partition D1 , D2 , . . . , DP of M , such that
for all p ∈ {1, . . . , P },
!
Dp := (i, j) | i ∈ car(tp − tp−1 ), j ∈ {tp−1 i + 1, . . . , tpi } ,
where for each (i, j) ∈ Dp , dij = αp , and the coalition tp − tp−1 is the
maximal participation profile in the ”box” Dp with average worth αp .
Note that each other participation profile in Dp can be expressed as
s ∧ tp − s ∧ tp−1 + tp−1 , where s ∈ MN + . Clearly, the average worth of
such a participation profile is weakly smaller than αp , and Proposition
11.28 holds true, too. Hence, αp ≥ αp+1 for all p ∈ {1, ..., P − 1}.
Next, we prove in Theorem 12.23 that the constrained egalitarian
solution for convex multi-choice games has similar properties as the
constrained egalitarian solution for traditional convex games. We need
the following lemma.
Lemma 12.22. Let v ∈ CM C N,m . Let P be the number of steps in
the Dutta-Ray algorithm for constructing the constrained egalitarian
solution d(v) of v, and let t1 , t2 , . . . , tP be the corresponding sequence
of multi-choice coalitions in MN + . Then, for each s ∈ M+ and each
N
p ∈ {1, ..., P },
v(s ∧ tp − s ∧ tp−1 + tp−1 ) − v(tp−1 ) ≥ v(s ∧ tp ) − v(s ∧ tp−1 ).
Proof. First, notice that, for each i ∈ N ,
min{si , tp−1
i } = min{min{si , tpi }, tp−1
i }
implying that
s = (s ∧ t1 ) + (s ∧ t2 − s ∧ t1 ) + . . . + (s ∧ tP − s ∧ tP −1 ),
where some of the terms could be zero. Then, by definition of D(s) and
αp , p ∈ {1, . . . , P }, D(s) can be rewritten as follows:
si
D(s) = dij
i∈N j=1
= s ∧ t 1 α1 + s ∧ t2 − s ∧ t1 1 α2 + . . . + s ∧ tP − s ∧ tP −1 1 αP
1
v(t1 )
D(s) ≥ s ∧ t1 1
s ∧ t1 1
v((s ∧ t2 ) − (s ∧ t1 ) + t1 ) − v(t1 )
+s ∧ t2 − s ∧ t1 1 + ...
s ∧ t2 − s ∧ t1 1
v((s ∧ tP ) − (s ∧ tP −1 ) − tP −1 ) − v(tP −1 )
+s ∧ tP − s ∧ tP −1 1
s ∧ tP − s ∧ tP −1 1
1
v(s ∧ t ) 2 1
1 v(s ∧ t ) − v(s ∧ t )
≥ s ∧ t1 1 + s ∧ t 2
− s ∧ t 1 + ...
s ∧ t1 1 s ∧ t2 − s ∧ t1
v(s ∧ tP ) − v(s ∧ tP −1 )
+s ∧ tP − s ∧ tP −1 1
s ∧ tP − s ∧ tP −1 1
= v(s ∧ t1 ) + (v(s ∧ t2 ) − v(s ∧ t1 )) + . . .
+(v(s ∧ tP ) − v(s ∧ tP −1 ))
= v(s ∧ tP ) = v(s),
where the last inequality follows from Lemma 12.22. Hence, D(s) ≥
v(s) for each s ∈ MN + . Finally, D(m) = v(m) follows from the con-
structive definition of d, too.
(ii) Let x ∈ PC(v). We notice that the Lorenz domination relation
(cf. Section 4.1) can be directly extended to level payoff vectors and
prove by backward induction that x L d implies x = d. Suppose
that 0 = t0 , t1 , . . . , tP = m is the sequence of the Dutta-Ray multi-
choice coalitions in MN for d (see Remark 11.26). First, we prove the
induction basis, i.e.,
dij = xij for each (i, j) ∈ (tP −1 , tP ],
i.e., for all j s.t. tPi −1 < j ≤ tPi , i ∈ N. (12.13)
By Proposition 11.28 (see Remark 12.21), the smallest elements of
d = (dij )i∈N,j∈M + correspond precisely to elements (i, j) ∈ (tP −1 , tP ],
i
and there
v(tP ) − v(tP −1 )
dij = = αP .
tP − tP −1 1
Since x L d, it follows that xij ≥ dij for all (i, j) ∈ (tP −1 , tP ], implying
that
x((tP −1 , tP ]) = xij
(i,j)∈(tP −1 ,tP ]
≥ dij = d((tP −1 , tP ])
(i,j)∈(tP −1 ,tP ]
= αP tP − tP −1 1 .
12.2 Convex Multi-Choice Games 179
Since x ∈
/ C(v) it holds that
# #
#car(s)−1 # (v(s) − X(s)) > 0. (12.15)
Proof. We denote by B(v) the set in the right-hand side of the above
equality. We prove first that C(v) ⊂ B(v). Let v ∈ M CCN,m and let
x ∈ C(v). Note that non-negativity of x follows from the clan property
and the monotonicity property; so, xij ≥ 0 for all i ∈ N and j ∈
Mi+ . Clearly, the efficiency condition holds true. To prove the upper
boundness of the cumulate payoffs for each bundle of highest levels of
each non-clan member, we note first that the payoff of each multi-choice
coalition s̃ = (m−i , j − 1) ∈ MN,1C , i ∈ N \ C, j ∈ {1, . . . , mi }, can be
expressed as
mi
mi
X(s̃) = X(m) − xik = v(m) − xik ,
k=j k=j
or, equivalently,
mi
xik ≤ v(m) − v(m−i , j − 1).
k=j
Hence, x ∈ B(v).
184 12 Classes of Multi-Choice Games
Further,
mi
X(s) + xik − v(s) = X(m) − v(s) = v(m) − v(s)
i∈N \C k=si +1
≥ wis+ (m, v),
i
i∈N \C
implying that
mi
X(s) ≥ v(s) + (wis+ (m, v) − xik ).
i
i∈N \C k=si +1
mi
Note that wis+ (m, v) = v(m) − v(m−i , si ) ≥ xik , for each i ∈
i
k=si +1
mi
N \ C, since x ∈ B(v). Therefore, we obtain wis+ (m, v) − xik ≥ 0
i
k=si +1
for each i ∈ N \ C. Hence, X(s) ≥ v(s) for each s ∈ MN,1C .
Multi-choice clan games for which the clan consists of one player are
called multi-choice big boss games; we notice that in case mN \C = 1N \C
these games are big boss games in the terminology of [27]. The model
of a multi-choice clan game where the clan consists of at least two
members is an extension of the model of a clan game (cf. [122]).
In the rest of this section, we focus on total clan games with multi-
choice coalitions.
Proof. (i)↔(ii): Relation (12.18) simply writes out the (level) union
property of multi-choice subgames. In the sequel, we refer to relation
(12.18) as the total (level) union property of v.
(ii)→(iii): It suffices to prove that (12.18)→(12.19). We note that
inequality (12.19) expresses a total concavity property of v which reflects
the fact that the same one-unit level decrease of a non-clan member
in coalitions containing at least all clan members at participation level
1 and where that non-clan member has the same participation level,
could be more beneficial in smaller such coalitions than in larger ones.
186 12 Classes of Multi-Choice Games
q
≥ wi,ik (t, v) = wis+ (t, v).
i
i∈car(tN \C ) k=1 i∈car(tN \C )
Proof. (i) Let α ∈ [0, 1]N \C and β ∈ ∆(C). For all v, w ∈ M CCN,m and
all p, q ∈ R+ , it holds
Therefore,
v(t) − v(s) − αi wi (t, v)
i∈car((t−s)N \C )
≥ v(t) − v(s) − wi (t, v) ≥ 0.
i∈car((t−s)N \C )
Proof. Let α ∈ [0, 1]N \C and β ∈ ∆(C). For each t ∈ MN,1C , in the
subgame vt , the α-based compensation (regardless of β) for each non-
clan member i ∈ car(tN \C ), αi wi (t, v), is fully assigned as payoff to
level 1 of that player. So, the α-based compensation for each other
level of each non-clan member i ∈ car(t
N \C ) is simply equal to 0. The
amount left for the clan, v(t) − αj wj (t, v), is shared based
j∈car(tN \C )
Rα (vt ) − Rα (vs )
⎛ ⎞ ⎛ ⎞
= ⎝v(t) − αi wi (t, v)⎠ − ⎝v(s) − αi wi (s, v)⎠
i∈car(tN \C ) i∈car(sN \C )
⎛ ⎞
= ⎝v(t) − v(s) − αi wi (t, v)⎠
i∈car((t−s)N \C )
+ αi (wi (s, v) − wi (t, v))
i∈car(sN \C )
≥ v(t) − v(s) − αi wi (t, v) ≥ 0,
i∈car((t−s)N \C )
where the first inequality follows from (12.23) and the non-negativity
of αi , and the last inequality follows from Lemma 12.35.
Hence, relation (12.24) holds true. Now, from the non-negativity of
α,β α,β
βi and (12.24) we obtain ψi1 (vt ) ≥ ψi1 (vs ), for each i ∈ C.
where αij ∈ [0, 1] for each i∈ N \ C and j ∈ Mi+ , and β ∈ ∆(C),
i.e. βi ≥ 0 for each i ∈ C and βi = 1.
i∈C
Consider the particular matrix α = (αij )i∈N \C,j∈M + with αij = 0
i
for each i ∈ N \ C and each j ∈ Mi+ \ {1}. Denote (αi1 )i∈N \C by α̃.
192 12 Classes of Multi-Choice Games
N,1
C
By Theorem 12.27, [asij ]s∈M
i∈N \C,j∈M +
is a bi-limas. Now, note that b̃ij =
i
+
ij for each i ∈ N \C and each j ∈ Mi . Hence, b̃ is bi-limas extendable.
am
34. Calvo, E. and J.C. Santos (2001): A value for mixed action-set games,
International Journal of Game Theory 30, 61-78.
35. Choquet, G. (1953/54): Theory of capacities, Annales de l’Institut
Fourier 5, 131-295.
36. Curiel, I. (1997): Cooperative Game Theory and Applications: Coopera-
tive Games Arising from Combinatorial Optimization Problems, Kluwer
Academic Publishers, Dordrecht.
37. Curiel, I. and S. Tijs (1991): The minimarg and the maximarg operators,
Journal of Optimization Theory and Applications 71, 277-287.
38. Derks, J. (1992): A short proof of the inclusion of the core in the Weber
set, International Journal of Game Theory 21, 149–150.
39. Derks, J. and J. Kuipers (2002): On the number of extreme points of the
core of a transferable utility game, in: P. Borm and H. Peters (Eds.),
Chapters in Game Theory. In Honor of Stef Tijs, Kluwer Academic
Publishers, pp. 83-97.
40. Derks, J. and H. Peters (1993): A Shapley value for games with restricted
coalitions, International Journal of Game Theory 21, 351-360.
41. Dragan, I., J. Potters, and S. Tijs (1989): Superadditivity for solutions
of coalitional games, Libertas Mathematica 9, 101-110.
42. Driessen, T. (1988): Cooperative Games, Solutions and Applications,
Kluwer Academic Publishers, Dordrecht.
43. Driessen, T. and S. Tijs (1983): The τ -value, the nucleous and the core
of a subclass of games, Methods of Operations Research 46, 395-406.
44. Driessen, T. and S. Tijs (1985): The τ -value, the core and semiconvex
games, International Journal of Game Theory 14, 229-247.
45. Dutta, B. (1990): The egalitarian solution and reduced game properties
in convex games, International Journal of Game Theory 19, 153-169.
46. Dutta, B. and D. Ray (1989): A concept of egalitarianism under partic-
ipation constraints, Econometrica 57, 403-422.
47. Dutta, B. and D. Ray (1991): Constrained egalitarian allocations,
Games and Economic Behavior 3, 403-422.
48. Ford, L.R. and D.R. Fulkerson (1956): Maximal flow through a network,
Canadian Journal of Mathematics 8, 399-404.
49. Faigle, U. and W. Kern (1992): The Shapley value for cooperative games
under precedence constraints, International Journal of Game Theory 21,
249-266.
50. Fukuda, E., S. Ishihara, S. Muto, S. Tijs, and R. Branzei (2005): Coop-
erative fuzzy games arising from economic situations, Fuzzy Economic
Review 10, 3-15.
51. Gerard-Varet, L.A. and S. Zamir (1987): Remarks on the set of reason-
able outcomes in a general coalition function form game, International
Journal of Game Theory 16, 123-143.
52. Gillies, D.B. (1953): Some Theorems on n-person Games, Ph.D. Thesis,
Princeton University Press, Princeton.
196 References
112. Tijs, S. and R. Branzei (2002): Additive stable solutions on perfect cones
of cooperative games, International Journal of Game Theory 31, 469-
474.
113. Tijs, S. and R. Branzei (2004): Various characterizations of convex fuzzy
games, TOP 12, 399–408.
114. Tijs, S., R. Branzei, S. Ishihara, and S. Muto (2004): On cores and stable
sets for fuzzy games, Fuzzy Sets and Systems 146, 285-296.
115. Tijs, S., R. Branzei, S. Muto, S. Ishihara, and E. Fukuda (2004): Fuzzy
clan games and bi-monotonic allocation rules, Fuzzy Sets and Systems
146, 271-284.
116. Tijs, S. and F.A.S Lipperts (1982): The hypercube and the core cover of
n-person cooperative games, Cahiers du Centre d’Études de Researche
Opérationelle 24, 27-37.
117. Tijs, S., A. Meca, and M.A. Lopez (2005): Benefit sharing in holding
situations, European Journal of Operational Research 162, 251-269.
118. Tijs, S. and G.J. Otten (1993): Compromise values in cooperative game
theory, TOP 1, 1-51.
119. Tsurumi, M., T. Tanino, and M. Inuiguchi (2000): The core and the
related solution concepts in cooperative fuzzy games, Journal of Japan
Society for Fuzzy Theory and Systems 12, 193-202.
120. Tsurumi, M., T. Tanino, and M. Inuiguchi (2001): A Shapley function
on a class of cooperative fuzzy games, European Journal of Operational
Research 129, 596-618.
121. Tsurumi, M., T. Tanino, and M. Inuiguchi (2004): Axiomatic character-
izations of the Shapley function on a class of cooperative fuzzy games,
Central European Journal of Operations Research 12, 47-57.
122. Voorneveld, M., S. Tijs, and S. Grahn (2002): Monotonic allocation
schemes in clan games, Mathematical Methods of Operations Research
56, 439-449.
123. Webb, N.J. (2007): Game Theory. Decisions, Interaction and Evolution,
Springer-Verlag, Heidelberg.
124. Weber, R. (1988): Probabilistic values for games, in: Roth, A.E. (Ed.),
The Shapley Value: Essays in Honour of Lloyd S. Shapley, Cambridge
University Press, Cambridge, pp. 101-119.
125. Weiß, C. (1988): Die Erweiterung nach Choquet und der Shapley-Wert
auf Fuzzy-Spielen, Master Thesis, University of Bielefeld.
126. Weiß, C. (2003): Games with Fuzzy Coalitions: Concepts Based on the
Choquet Extension, PhD Thesis, University of Bielefeld.
127. Yanovskaya, E. (2006): Consistency of the egalitarian split-off set for
TU and NTU games, Discussion Paper, St. Petersburg Institute for
Economics and Mathematics, Russian Academy of Sciences.
128. Young, H.P. (1985): Monotonic Solutions of Cooperative Games, Inter-
national Journal of Game Theory 14, 65-72.
Index