Example of a finite game with no Berge equilibria at all

07/16/2018 ∙ by Jaroslaw Pykacz, et al. ∙ Apple, Inc. University of Gdańsk 0

The problem of the existence of Berge equilibria in the sense of Zhukovskii in normal form finite games in pure and in mixed strategies is studied. The example of a three-player game that has Berge equilibrium neither in pure nor in mixed strategies is given.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

The idea of a solution concept that nowadays is usually called Berge equilibrium (in the sense of Zhukovskii) was launched by the French mathematician Claude Berge in his book Théorie générale des jeux à n personnes [1]. Unfortunately this book remained virtually unnoticed in the English-speaking world. However, Berge’s book was translated into Russian in 1961 and, maybe because the very idea of Berge equilibrium fits very well to the most basic idea of communist ideology, it gained remarkable popularity in the former Soviet Union. In particular, numerous students from Arabic countries that studied there got acquainted with this idea and, after coming back from the Soviet Union, they continued studies on this valuable idea and returned it to the French- and English-speaking world111Brief description of historical development of the idea of Berge equilibrium can be found in a paper [2]. See also very extensive review of literature on Berge equilibria [5].

Actually, the idea of Berge equilibrium is in a sense opposite to the idea of Nash equilibrium. While Nash equilibrium is based on egoism: each player aims to maximize his own payoff, Berge equilibrium is based on altruism: each player’s aim is to maximize payoffs of all the other players, so when every player does so, everyone is better off. This explains why, in general, Berge equilibria yield to players higher payoffs than Nash equilibria.

However, it seems that Nash equilibria outperform Berge equilibria in one respect: the historic theorem stated in [7] assures that in any finite game there exists at least one Nash equilibrium - in pure or mixed strategies. In the case of Berge equilibria this problem is still a subject of a debate. The aim of this paper is to give an example of a three-player game that has no Berge equilibria at all: neither in pure nor in mixed strategies. The importance of this example follows from two facts: (i) According to the results of [2] extended to mixed strategies, in a finite two-player game Nash equilibria in the original game and Berge equilibria in a game with interchanged payoffs are in 1–1 correspondence. Therefore, due to the Nash theorem [7], every two-player finite game has at least one Berge equilibrium – in pure or mixed strategies. The problem whether we should expect the same in games with a bigger number of players was posed as the Open Problem No. 1 in [5]. Our counterexample shows that already among three-person games there exist games with no Berge equilibria at all. (ii) Zhukovskii et al., [9] proved the existence of Berge equilibrium (in pure or mixed strategies) in -player games with compact sets of strategies and continuous payoff functions, however, with additional constraints. Our counterexample shows that this result cannot be extended to the class of the most interesting games: -player finite games.

The studies of proposed solutions to the problem of the existence of Berge equilibria in pure and mixed strategies are a little bit difficult because it is rather rare that the authors declare openly, like in the papers [2] and [4], that they study these equilibria in pure strategies only. More common is the attitude encountered, e.g., in the paper [6] that only after careful reading of these papers a reader can find some fragments of a text from which he can infer that these papers deal with equilibria in pure strategies only222Take a look on the line 10 from the top on the page 1250005-5 of the paper [6]. The authors write: “The unique Nash equilibrium is (D,E)” while actually in this game there are also numerous Nash equilibria in mixed strategies. From this a careful reader can infer that the authors deal exclusively with equilibria in pure strategies, although they do not write this explicitly.. This is a serious drawback of numerous papers on Berge equilibria and the present authors appeal to all the scholars active in this field to make this issue clear in the very beginning of all the papers they write.

2 Basic Notions and Definitions

Noncooperative finite game in normal form is a triple:

(1)

where denotes the set of players, is a finite set of pure strategies of a player , and is a function from into the set of real numbers that describes payoffs possible to obtain by the player . Mixed strategy of the player

is identified with a probability distribution defined on the set

of his pure strategies. The set of all mixed strategies of the player is denoted . When at least one player chooses a “genuine mixed” (i.e., non-pure) strategy, payoffs are understood as suitable expected values, and the real-valued function they form, defined on , will be denoted . We do not distinguish between a game and its mixed extension, and when we write strategy we mean a general mixed strategy, with pure strategies being special cases of mixed ones. Let be a strategy profile, then by we denote the incomplete strategy profile . By a small abuse of symbols we make an identification .

Definition 1

A strategy profile is a Berge equilibrium (in the sense of Zhukovskii) of the game if:

(2)

Let us compare this notion with the notion of Nash equilibrium:

Definition 2

A strategy profile is a Nash equilibrium of the game if:

(3)

In small games all Nash equilibria can be easily found as intersections of graphs of the best reply correspondences (see, for example, [8]). Musy et al. in the work [6] introduced an analogous notion of the best support correspondence which enables one to find, at least in small games, all Berge equilibria. Although, as we mentioned, after a careful reading of their paper it becomes clear that they deal with Berge equilibria in pure strategies only, their results can be in a straightforward way extended to mixed strategies. Therefore, we adopt the following definition that extends to mixed strategies the original definition [6].

Definition 3

Let , . An incomplete strategy profile is the best support to strategy if:

(4)

It was noted in [6] that the best support correspondences can be used to reformulate the definition of Berge equilibrium in the same way as the best reply correspondences enable us to reformulate the definition of Nash equilibrium:

A strategy profile is a Nash equilibrium if and only if each player’s strategy is a best reply to the co-players’ incomplete strategy profile, whereas a strategy profile is a Berge equilibrium if and only if co-payers’ incomplete strategy profile is a best support to each player’s strategy”.

It is straightforward to see that this refers also to Nash and Berge equilibria in mixed strategies.

3 Example of a 3-Player Game with no Berge Equilibria at all

Let us consider the following 3-player game in which each of the players has two pure strategies. Pure strategies of the first, the second, and the third player are denoted ; ; , respectively.

(5)

The left-hand matrix refers to the pure strategy of the third player, while the right-hand matrix refers to his pure strategy . Let us note that this game is a very special one: None of the players has any possibility to influence his own payoff, no matter if he uses any of his pure or mixed strategies. On the contrary, his payoffs depend exclusively on the choices of the remaining players.

Figure 1: Best support correspondences corresponding to game (5).

This very special feature implies that any strategy profile of this game, consisting of strategies of any type: pure, genuine mixed, or both, is a (weak) Nash equilibrium. Moreover, since this game is a constant-sum game, increasing the payoff of one player inevitably leads to decreasing the payoffs of some, or all, other players, so any triple of payoffs yielded by any strategy profile is optimal in Pareto sense. Therefore, neither the concept of Nash equilibrium, nor the concept of paretooptimal results provides any hint to players which strategies should be chosen. Sometimes it is claimed (cf. [5]) that in such cases the concept of Berge equilibrium could be of some help. So, let us study Berge equilibria in this game.

One can easily check that the second and the third players’ best support to any of the first player (pure or mixed) strategy is a pair of pure strategies , the first and the third players’ best support to any of the second player (pure or mixed) strategy is a pair of pure strategies , and finally the first and the second players’ best support to any of (pure or mixed) strategy of the third player is a pair of pure strategies . More formally, let us denote by and the probabilities with which the first, the second, and the third player choose, respectively, their first pure strategy. Denote by the set of best supports to strategy . This means that if we plot graphs of the best support correspondences as subsets of the 3-dimensional unit cube , these graphs form, respectively, edges , , and of this cube. Their intersection is an empty set, so this game has no Berge equilibria either in pure or in mixed strategies (see Fig. 1).

Let us note that the game (5) was considered for the first time in a MSc. Thesis of P. Bytner [3], where he proved that this game has no Berge equilibria, either in pure or in mixed strategies, using another methods. These methods will be described in a subsequent paper.

Acknowledgments

Work by Piotr Fra̧ckiewicz and Jarosław Pykacz was supported by the National Science Centre, Poland under the research project 2016/23/D/ST1/01557.

References

  • [1] Berge, C. Théorie générale des jeux à n personnes; Gauthier-Villars, Paris, 1957.
  • [2] Colman, A. M. Mutual support in games: Some properties of Berge equilibria. J. Math. Psychol. 2011, 55, 166.
  • [3] Bytner, P. Berge Equilibria in Pure and Mixed Strategies. MSc. Thesis (in Polish) (University of Gdańsk, Gdańsk) 2016.
  • [4] Corley, H. W.; Kwain, P. An algorithm for computing all Berge equilibria. Game Theory 2015, Article ID 862842.
  • [5] Larbani, M.; Zhukovskii, V. I. Berge equilibrium in normal form static games: A literature review. Izv, Inst. Mat. Inform. Udmurt. Gos. Univ. 2017, 49, 80.
  • [6] Musy, O.; Pottier, A.; Tazdaït, T. A new theorem to find Berge equilibria. Int. Game Theory Rev. 2012, 14, 1250005.
  • [7] Nash, J. Equilibrium points in -person games Proc. Natl. Acad. Sci. U.S.A. 1950, 36, 48.
  • [8] Peters, H. Game Theory. A Multi-Leveled Approach, Springer, Berlin, 2008.
  • [9] Zhukovskii, V. I.; Sachkov, S. N.; Smirnova L. V. Existence of Berge equilibrium in mixed strategies Uchenye Zapiski Tavricheskogo Natsional’nogo Universiteta im. V. I. Vernadskogo 2014, 27, 261.