Abstract

We give recursive definitions for the Banzhaf Value and the Semivalues of cooperative TU games. These definitions were suggested by the concept of potential for the Shapley Value due to Hart and Mas-Colell and by some results of the author who introduced the potentials of these values and the Power Game of a given game.

1. Introduction

After some notations and concepts needed in this paper, as well as some references including earlier results, we give a new proof for the recursive definition of the Shapley Value in the second section. The Banzhaf Value is discussed in the third section and the last section is devoted to the Semivalues and generalizations of both the Shapley Value and the Banzhaf Value.

As will be seen below, the proofs for these new characterizations are using different tools and auxiliary results, interesting by themselves. Let be a set of players, ; a cooperative transferable utilities game (or TU game) is a function , with . Here, denotes the Power Set of , that is the set of all subsets of . It is well known that the set of all games with the set of players , denoted by , with the two operations, addition and scalar multiplication, is a vector space of dimension . Let be any coalition in and denote by the space of games with the set of players . If , then the restriction of to is a game in . To avoid more difficult notations, if is denoted by , then the restriction to is denoted by . Denote by the union of spaces for all , . A value on is a functional on , with values in for all games and all . In particular, for the value gives -vectors for all subgames of . But, we have , for , when . This agrees with the game theoretic meaning of the value as a payoff; the win of player , in the subgame , which is in general different of the win of the same player in the game . A value on is a linear value, if for any game which is a linear combination, with , , we have .

Recall that a recursive definition of the Shapley Value is due to Sprumont, [1]. The Shapley Value [2] and the Banzhaf Value [3] are the two most popular linear values for TU games, (see also, [4]). Instead the Semivalues, due to Dubey et al. [5], cannot be found in all books on cooperative game theory. The main tools in the present work are some results of Linear Algebra, a concept of potential of the Shapley Value, due to Hart and Mas-Colell, [6], as well as earlier results of the author [79], that will be individually mentioned in connection with the new results.

2. A Recursive Definition for the Shapley Value

One of the central problems of Game Theory, that of dividing fairly among players the win of the grand coalition, got an early solution by the axiomatic definition of a value introduced by Shapley [2]. This led, for the cooperative TU games, to the Shapley Value formula for all , , where , . Another axiomatization has been given by Hart and Mas-Colell [6], based upon the concept of potential of the Shapley Value they have introduced. To make the paper self-contained, let us define the potential and state a major result to be used later. For an arbitrary game , the potential of the Shapley Value is the functional , recursively defined on by Obviously, the one-to-one correspondence on may be expressed by where . Formulas (3) and (4) will be used later, together with the following result.

Theorem 1 (Hart-Mas-Colell). If is the potential of the Shapley Value given by (3), or (4), then one has for each the equalities

On the other hand, let be the value on , recursively defined by for each subgame with , where .

Example 2. To illustrate (3), consider the game For the singletons we obtain the potentials and for the higher size coalitions, we get Now, by formulas (5), we have As it will be seen below, this is the Shapley Value. Indeed, we may check that formulas (7) give us the same components of the Shapley Value. Note that (7) allows the computation of a component by using only the worth of the characteristic function for the coalitions that contain this player. Note also that (7) uniquely defines a value.

Theorem 3 (see [10]). The value uniquely defined by (7) is the Shapley Value.

Proof. By induction over the size of , if , then we get from (1) that , which gives from (7) that . For a fixed , assume that , ; we compute the right hand side in (7). From (5) we get From (4), written for and , we obtain By adding up (12) and (13), we have where the last equality follows again from the Hart/Mas-Colell theorem. So, formula (7) gives , that proves the theorem.

We conclude that the characterization offered by the last Theorem is allowing us to consider that (7) gives a recursive definition of the Shapley Value.

3. A Recursive Definition for the Banzhaf Value

The Banzhaf Value [3] is another well known value, given by the formula The axioms for the Banzhaf Value can be derived from the axioms for the Shapley Value, by replacing the efficiency with similar axioms. This suggests that a recursive definition may also be derived like above, but we give a more elegant approach, by using an earlier result of the author in [7]. Let us start just by giving this result. For a game , one may compute the Banzhaf Value for each subgame , for all coalitions , . In this way, based upon formula (15), we shall build a new game , called the Power Game of , relative to the Banzhaf Value; this is given by and it was used by the author [7], in connection with the potential, as well as in discussing the relationship between the Shapley Value and the Banzhaf Value [8]. Note that the functional (16) gives a one-to-one correspondence, defining a unique game The above-mentioned result is

Theorem 4 (see [8]). If is the Power Game of , relative to the Banzhaf Value, given by formula (16), then one has where and are the Banzhaf Value and the Shapley Value.

Example 5. Consider the game a so-called constant sum game. We compute the Banzhaf Value for each subset of the player set, to find its Power Game. For the singletons, we get For the subgames with the sets of players of size two, we get while for the game itself, we get For we used the Banzhaf Value of the given game and formula (16). Now, we may compute the Shapley Value of the Power Game, by using formula (1), to get so that we illustrated the theorem. We did not consider the same game as in Example 2, because for that game the Banzhaf Value is efficient, so that the illustration would not be significant.

Taking into account our earlier result we may prove the following.

Theorem 6. The value , recursively defined by where is the Power Game of relative to the Banzhaf Value, is the Banzhaf Value.

Proof. By induction over the size of , if we have , then , which gives , . For a fixed , assuming that we have already , , we compute the right hand side in (24). From (17), via (7) and the induction hypothesis, we get where the last equality is given by the theorem stated above [8]. So, formula (24) gives and the induction proves the result.

If we look at (24), we notice that this is not a recursive formula, because our enters also the right hand side in . However, this objection can be removed, if we take proved by the author in [7]. Moreover, from (27) one can derive a formula for the first two terms; for each , we have a formula proved also earlier by the author in [7].

In this way, we obtain from (24), via (27), the recursive definition of the Banzhaf Value: for all , coalitions of size two, at least.

Example 7. Consider the general game with three players, and assume that we use (29) and (30), and we want to find . From (30), we get and from these last two equalities, again via (30), we obtain that is the usual formula (15) with , for the Banzhaf Value.

4. A Recursive Definition for the Semivalues

Both the Shapley Value and the Banzhaf Value are particular cases of a class of values, called the Semivalues, due to Dubey et al. [5]. Let us remember that the Semivalues were axiomatically defined for all cooperative games, but for TU games the authors proved an explicit formula. This formula may be used as an approach to introduce the Semivalues, and this is the procedure used here below. Consider the weight vector , a positive vector which is normalized by Then the functional given by is a Semivalue on . To extend the Semivalue to , denote the weights by , , and introduce the weights to define the functional on a space with by a formula similar to (34). Notice that the new weight vector satisfies a normalization condition like (33), due to the relationships between the two weight vectors. As this is very similar to the Pascal triangle relationships, we call (35) the inverse Pascal triangle relationships. This process may continue up to two person coalitions, and finally, it is enough to take the Semivalues of the singletons equal to the individual worth, to get the family of Semivalues defined on . For the axiomatization of Semivalues and the definition for more general classes of games see the above-mentioned paper by Dubey et al. [5]; notice that in that paper the symbol has a different meaning. Note also that the Shapley Value is the Semivalue with weights , while the Banzhaf Value is the Semivalue with the weights , for all . It is easy to see that the normalization conditions (33) hold in these cases and we may use the inverse Pascal triangle relationships to extend the definition on the entire space.

As in the case of the Banzhaf Value, to be able to prove a recursive definition of Semivalues, auxiliary results were needed. A relationship between the Banzhaf Value and the Shapley Value has been used in the previous section to prove the recursion formula; the same approach will be used here. To derive a recursive formula we needed also the computational formula for the Power Game; a formula, similar to (28) will be needed here too. Let us give first the Power Game formula for a Semivalue , associated with a weight vector denoted by where the weight vectors for the Semivalues of the subgames are given by (35)

Example 8. For any general three-person game, consider a vector of weights , which satisfies (33), and compute by (35) the weight vector , which is also satisfying (33). Use (36) and the weight vectors to get the Power Game , relative to the Semivalue defined by the weight vector . We obtain

Notice that the worth of the characteristic function for any coalition is expressions in the sum of the worth of coalitions of the same size. We need the formula providing the coefficients of these combinations.

Lemma 9. For any game , the Power Game (36) of relative to a Semivalue defined by a weight vector is given by where is the sum of the worth of coalitions of size in the subgame , for , and is an arbitrary number.

Proof. If in (34) we replace by and by , and we make the sum (36), then for each , , any coalition with size occurs with a coefficient in all components with , and with a coefficient ; in all components with . This proves the formula.

Example 10. If we return to our three person game of Example 8, we get

which for , gives the numbers computed above, as Note that formula (40) is a general formula, which gives among other particular expressions the formula (27) for the Power Game of the Banzhaf Value, when we take , . Recall that (27) has been used to make formula (24) a recursive formula; the same will happen in the case of the Semivalues. Now, we need a formula similar to (24), from which a much nicer recursive formula will be derived. Recall that to get (24), we used a relationship between the Shapley Value and the Banzhaf Value, proved earlier by the author. In the case of Semivalues we do not have a similar result proved in the past. Hence, first we should show the following result.

Theorem 11. Let be a nonnegative weight vector satisfying (33) and define the sequence of vectors , , by (35). Let , , be the Semivalue associated with these parameters; that is, and the Power Game of relative to , denoted , be (36). Then, one has

Proof. We intend to prove (44) componentwise; let be fixed and suppose that the right hand side is given by the average per capita formula, due to the author in [9]. We have where is the average worth of coalitions of size , and is the average worth of coalitions of size which do not contain player . From (43) it is clear that for a fixed coalition , , the coefficient of in is if , or if . We shall prove by Lemma 9 that the coefficient of in the right hand side of (44) is the same. Obviously, with two cases may occur: (a) or (b) .
(a) If , then cannot occur in any with , , ; hence will not occur in . Instead, will occur in each with , whenever ; precisely, will occur in once with a coefficient equal to there are such coalitions , for . Hence, the total coefficient of in will be Now, in the sum giving the coefficient of for is We can show now that . Indeed, take in (47), to get a nicer form for the factor in front of the bracket. We obtain Obviously, the sum has terms; denote by the partial sum of the first terms. We claim that From (48) for we get that is the same as the number obtained from (49). Further, we assume that (48) holds for and obtain In replace , and a simple computation will give Hence our claim is correct. For we obtain the value of the entire sum, so that this is .
(b) If , then will occur in with , for , , but also in with , for , , . Therefore, will occur in and also in . The coefficient of in has been computed above, so that from that coefficient we have to subtract the coefficient found in . To compute the last one, we use the same strategy; now will occur in each with , for , whenever ; precisely, will occur in once, with a coefficient equal to . The change is that now we have coalitions with , . Hence, the total coefficient in the average , due to (46), will be whenever . Notice that has been excluded, because contains . Now, in the sum giving , the coefficient of for will be To compute the sum, take in (53) and get a factor in front of the bracket, similar to that shown in (51). We obtain Fortunately, the sum in (54) is almost the same as the sum in (51), the difference is that the last term is missing. In other words, the sum (54) is the partial sum . Hence, from (52) we have The result is proved.

Example 12. To illustrate Theorem 11, consider the three person general game from Example 8, for which the Power Game has been computed in formulas (38). Compute the Shapley Value of the Power Game; for fixed, we have Similar computations give the other two components of the Shapley Value, and this illustrates formula (44) of Theorem 11.

Now, with this result being available, we can prove a recursive definition for the Semivalues, by using the same approach as in the case of the Banzhaf Value, now based upon Theorem 11. This may be stated as follows.

Theorem 13. Let be a nonnegative vector satisfying (33) and define the sequence of vectors by (35). For any , the value , recursively defined on by for all with , where is the Power Game of , is the Semivalue with weights obtained from by (35).

Proof. By induction over the size of , if , then from (43) we have , which gives . For a fixed , assuming that we already have , , we compute the right hand side in (58). From (44) we get via Theorem 11 that Hence, formula (57) gives , and the induction proves the result.

By Theorem 13, the Semivalues are uniquely defined by for each , where is the Power Game relative to the Semivalue. Like in the case of the Banzhaf Value, despite the nice symmetry of the formula, this is not a recursive formula, because our is also in the right hand side in . However, this objection can be removed, as the value of the Power Game is given by Lemma 9. Now, the second term in the bracket has already been computed, but in the case of Semivalues we notice that this term cannot be put together nicely with the previous one, like in the case of the Banzhaf Value, as it will be seen in the next example.

Example 14. Return to the game considered in Example 8, and use this time the results given by formulas (38). From (60) and (38) for coalitions of size two we get because for singletons the Power Game equals to the values of characteristic function. Now, by using (40) compute and ; then again via (60), we obtain that is the expression given by formula (34). A similar computation gives the outcomes for the other two players, in which appear on the one hand the Semivalues of coalitions containing the new player and on the other hand the Power Game for coalitions that do not contain the new player.

As it was mentioned above, the marginal contribution of a player in the Power Game is not given by a nice formula; from (40) written for we obtain the marginal contribution of player , by taking the difference found from (40) and (64); that is, By substituting the difference given in (65) into (60), we obtain finally the recursive formulas for Semivalues: Note that these formulas, as the ones obtained for the Banzhaf Value, do not reduce the complexity of computations for the considered values but allow the computations componentwise. Obviously, the last fact may be written as a theorem, similar to the result obtained for the Banzhaf Value.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.