Pure Equilibria
What is a game?
In this chapter, we analyze strategic games with ordinal preferences, which are games that contain the following elements:
- a set of players
- a set of possible actions for each player
- preferences over the possible outcomes of the game for each player
Outcomes of the game are referred to as action profiles, or the log of actions made by each player in a game. We can think of action profiles as functions that match each player to their action, often presented simply as an ordered list of all the actions.
For example, consider a game like rock paper scissors. There are two players in this game, each of which have a three possible actions (rock, paper, or scissors). Furthermore, they have preferences over the action profiles. For example,
- Playing rock against scissors is better than playing scissors against rock.
- Playing rock against rock is equally preferable as playing paper against paper.
- Playing rock against scissors is better than playing rock against paper.
etc.
To help encode these preferences, we use a payoff function to rank action profiles. We can suppose that one of the players, Alice, places a value of winning equal to
Note that the set of actions and preferences for each player do not have to be the same. It is possible that the other player, Bob, values winning the game much more than player 1, in which case Bob's payoff for winning might be equal to
Symbolically,
- Let
denote the players in the game. -
Let
denote a set of actions for each player . -
An action profile
is a function that maps each player to an action. For shorthand, we often write to denote player 's action, and we express action profiles as an ordered list of actions .- For convenience, we can write
to denote every player's action in the action profile except player 's action.
- For convenience, we can write
- We define a payoff function
for each that accepts an action profile and outputs a numeric payoff.
These variable names are somewhat standard and will be followed throughout the website.
In the example of rock paper scissors:
- We have player 1 and player 2.
- We have
. - We can say
and so on, as long as the numeric payoffs match the preferences. So, we must also have
In the coming chapters, we introduce the foundational notion of Nash Equilibrium.