On the Usefulness of Cooperation in Person Games

Abstract

The person games in which each player maximizes his payoff function are considered. We have studied an interesting question for the cooperative game theory about the usefulness of uniting the players in a union. The aim of such cooperation is for each player to get a positive increase to his guaranteed payoff. We have obtained some effective sufficient conditions under which the joining of the players in union is useful for each player. The linear case, specially, is being considered. In the second part of the paper, we have studied the question about the usefulness of cooperation of the players in the presence of the th player, an ill-intentioned destructive player, whose whole aim is not to win but to harm each player individually, and also the union of these players, for example, global terrorism. It should be noted that the considered situation in the second part is related to A. V. Kryazhimskiy’s talk delivered in the summer of 2014. We obtain constructive conditions under which the union of the players is beneficial in this situation as well.

1. Introduction

In the game theory (see, e.g., [1–3]), much attention is given to the cooperative game theory of person. In [4, 5], we considered the games of two and three persons from the point of view of the usefulness of combining them in an alliance in order to get additional dividends. In the first part of this paper, we considered person games in terms of usefulness of uniting players in union in which the choice of strategies is made in concert in order to maximize the sum of payoffs of the players. In the second part, players games with perturbing factors of an ill-intentioned destructive player are considered. Here we studied the feasibility of joining (cooperation) the players in union to counter the possible troubles from the ill-intentioned destructive player. For the different aspects of the theory of cooperation see, for example, [6–9].

2. Usefulness of Cooperation in Person Game

Let ; in the Euclidean arithmetical spaces     —dimensions of the spaces) fixed nonvoid compact set , respectively, and on we define the continuous scalar functions . We denote . In the considered game the th player chooses the vector and strives to maximize his payoff , . The players make the choice of vectors independently of each other. As we know from the game theory (see, e.g., [1–3]) each th player can guarantee a payoff where (in this formula, it is considered that if the minimization is carried out over and if the minimization is carried out over ), if he chooses a vector according to the requirementwhere (in this formula, it is considered that if the minimization is carried out over for and if the minimization is carried out over for ). It is assumed that the payoffs , , are measured in the same physical units (in economic applications, e.g., payoffs , , are usually measured in monetary units). In this kind of assumption, the value has also a physical sense. If players are joined together in a union (coalition), then acting concertedly (i.e., choosing in ) they can use the quantity where . It is easy to prove that (see (1))Ifthen the joining of the players in a union (coalition) is advantageous to all players, since the positive quantitycan be distributed in the form of positive addition to guaranteed payoffs . To know how actually this distribution is reasonable to do, see, for example, [10, c. 181–186].

There arises an interesting question for the game theory and its applications of finding constructive conditions on the elements of the game considered by us under which strict inequality (6) holds. We consider two cases, in which it is possible to indicate such conditions.

2.1. Case A

The continuous functions have on a separated form: where the functions are continuous on , .

In what follows, let us agree to write operations instead of the operations , respectively. Similarly, we write instead of the operations , respectively. Investigated inequality (6) can be rewritten as We consider separately for the inequalityIn this formula, it is considered that the right-hand side if has the formand if has the form

It is easy to prove the following lemma.

Lemma 1. Under assumptions (8) and (9) for each inequality (10) holds.
Note that, in general, for each inequality (10) is not necessarily fulfilled strictly. However one has the following.

Lemma 2. For a given , there exists a point of the set , which does not belong to at least one of the sets , where and is not equal to . Then inequality (10) holds in the strict sense.

Proof. It is evident that for a given the left-hand side of inequality (10) for is greater than or equal to the valuewhere it is not difficult to see that it is greater than or equal to the right side of inequality (10). Further, by using the hypotheses of Lemma 2, it is easy to prove that this value is strictly greater than the right-hand side of inequality (10). From what has been said, Lemma 2 follows.

Remark 3. The symbols and denote, respectively, the sets of points of maximum and minimum of the function on .

From the above we get the following.

Theorem 4. If at least for one number the conditions of Lemma 2 are realized, then one has strict inequality (9) and, therefore, strict inequality (6).

2.2. Case B (Subcase of Case A)

The sets , convex compact, and the continuous functions have on linear formwhere are fixed vectors in , ; the symbol denotes the standard scalar product in , respectively. As the functions have a separated form (cf. (8)), you can use the results that we obtained in Case . In considered linear Case , strict inequality (10) can be rewritten for each in the form In what follows we need some auxiliary information.

In the Euclidean space () we denote , where mean standard length of the vector . The following will be useful.

Definition 5. A nonvoid convex compact set () with nonvoid interior is called an -set, if(1)for any in there exists only one vector , maximizing on the scalar product ;(2)for each boundary point of the compact set there exists only one support hyperplane, passing through the point .

Remark 6. Here and further, we use some notions of convex analysis (see, e.g., [11, 12]). We note that for each the point belongs to the boundary of the set . Using the terminology of convex analysis, we can say that the -set is a strictly convex set and also a convex body.

In [4] is proved the following.

Lemma 7. Let the set    be an -set, and let vectors and be some nonzero vectors in , such thatThen,

Lemma 8. For a given , the set    is an -set, and the vectors are nonzero and the vector is not equal to at least one of the vectors where and is not equal to . Then for this number one has strict inequality (15).

Proof. Under the above assumptions, for a given , the vector that is maximizing the function on is uniquely defined. Thus,Let the vector be not equal to the vector , where and is not equal to . From Lemma 7 we obtain the following inequality: where means the maximizer of the function for .
We can show thatFrom relations (20) and (21) we obtain the inequalityHence it follows that From the above and Lemma 2, it follows that strict inequality (15) holds.

On the basis of the above, we obtain the following theorem.

Theorem 9. If for at least one number the conditions of Lemma 8 are realized, then for the functions , , one has strict inequality (9) and hence strict inequality (6).

Remark 10. The payoff functions, having a separated form (see (8)), are often considered in the game theory (see, e.g., [10]).

3. Usefulness of Cooperation in Person Game in Presence of an Ill-Intentioned Destructive Player

In this part, we briefly studied some more general game models than in the first part which considers the existence of the th player, an ill-intentioned destructive player. The statement of the considered problem here was motivated by A. V. Kryazhimskiy’s talk.

We consider the person game in a form almost classical, where . The payoff function of the th player is a continuous function where , and , are nonvoid compact sets in the corresponding finite dimensional Euclidean spaces. The th player selects within order to maximize The vector is selected by the ill-intentioned destructive player, whose objectives are not to win, but to harm the players. We want to prove that sometimes it is advantageous for the players to be united in a coalition and fight together with the possible actions of the ill-intentioned destructive player.

We will study the game, for which Here and further in similar inequalities , .

Note that when inequality (26) is fulfilled, it is advantageous for the players to be united in a coalition in order to get greater payoff through bargaining than in a two-person zero-sum game. In fact, in inequality (26) we use the notion of the characteristic function from cooperative game theory. Our study is greatly simplified if where the functions ,,, are continuous on , while the functions are continuous on

By using (27) relation (26) can be rewritten in the form

Note that the following inequality holds:

Proof of Inequality (29). We haveApplying to both parts of the operation we obtain the required inequality.
From (29) it follows that for the fulfillment of inequality (28) it is sufficient to guarantee the inequality Note that in the general case Therefore, for inequality (31) to be realized, it is necessary that inequality (32) must become strict.
It is proved by contradiction that strict inequality (31) holds if

Note that the fulfillment of condition (33) is independent of the choice of the functions . Thus, it follows from the above that, for strict inequality (28) to be fulfilled, it is sufficient that relation (33) is fulfilled.

4. Conclusion

This article relates to the theme of the theory of person games. In this theory, a distinction of noncooperative and cooperative games is made. The formulations of considered problems are related to the cooperative games theory (see, e.g., [1–3]). Note that the problems we are studying are directly related to the study of the properties of the characteristic function of person cooperative games theory, where all the players formed a union. The specific participants of the union may be firms, states, and so forth. In the article we have considered the general case of nonlinear payoff functions in the separable form and a subcase of these functions in the linear form. Effective sufficient conditions which ensure the usefulness of the union of all the players in coalition have been obtained. A method of studying -person games has also been proposed in which players are active and the th player is an ill-intentioned destructive player, whose aim is not to win, but to harm others.

Competing Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to thank Professor V. I. Zhukovskii for his valuable comments and suggestions, which improve the presentation of this paper.