Game theory

This article is about the mathematical study of strategic behavior. For the study of playing games for entertainment, see Game studies. For the YouTube series, see Game Theorists. For other uses, see Game theory (disambiguation).

Game theory is the field of applied mathematics that models interactions between multiple agents as "games" of strategy between "players". It is a scientific method of describing, predicting, evaluating, and selecting choices (or "actions"), often with the view of maximising utility outcomes (or "payoffs") for one or more players.

Game theory has applications in the natural, formal and social sciences, including biology, computer science, economics, law, logic, political science, systems science, and philosophy. Subfields of game theory include algorithmic game theory, behavioral game theory, combinatorial game theory, evolutionary game theory, and quantum game theory.

In 1994, the Nobel Prize in economics was awarded to the mathematician John Nash, the philosopher John Harsanyi, and the economist Reinhard Selten for their pioneering work in game theory. Since then, game theorists who were awarded the Nobel include Thomas Schelling and Robert Aumann (2005), Leonid Hurwicz, Eric Maskin, and Roger Myerson (2007), Alvin E. Roth and Lloyd S. Shapley (2012), Jean Tirole (2014), and Paul Milgrom and Robert B. Wilson (2020).

Overview

In game theory, a "game" is an abstract, mathematical representation of an interaction between agents ("players"), meant to capture the most basic properties of the game, namely:

• the "players";
• the choices or actions available to each player;
• the value (or "payoff") that each player will receive for every possible strategy (i.e. a combination of actions of a given player in response to a given situation);
• the information each player has at the time of making their decisions;

Eric Rasmusen refers to these four "essential elements" by the acronym "PAPI".

History

The significance of the work of the early game theorists in economics was its formalisation of strategic interaction, equilibrium concepts, and rational choice behavior, under the assumptions of perfect rationality, self-interest, complete information, and fixed game structure. Game theory as a field had its genesis in the 1944 book Theory of Games and Economic Behavior, written my mathematicians John von Neumann and Oskar Morgenstern. The book built upon von Neumann's earlier work, which used the Brouwer fixed-point theorem on continuous mappings into compact convex sets, a method that later became standard in game theory and mathematical economics. In 1994, the Nobel Prize in economics was awarded to the game theorists John Forbes Nash, Reinhard Selten, and John Harsanyi.

Initially, as a field of applied mathematics, game theory was used in economics to describe and predict the behaviors of firms, markets, and consumers. The use of game theory in the social sciences has since expanded, with game theory later being widely applied in the analysis of political, sociological, psychological, and animal behaviours. Modern academic research finds applications of game theory in fields as broad as international relations, network science, voting systems, linguistics, law, distributed control, policy design, competition regulations, project management, and military technology.

Game theory has also been used to develop theories of ethical or normative behavior and to prescribe such behavior. In economics and philosophy, scholars have applied game theory to help in the understanding of good or proper behavior. Game-theoretic approaches have also been suggested in the philosophy of language and philosophy of science.

Within economics

The main branches of economic theory are game theory, decision theory, mechanism design theory, and general equilibrium theory. Unlike game theory, which analyses multi-agent interactions, decision theory focuses on preferences and the formation of beliefs within single-player scenarios. Decision theory is often used in the form of decision analysis, which shows how best to acquire information before making a decision. Mechanism design theory is closely related to game theory, although the former is more focused on about the consequences of different types of rules, whereas the latter often takes the rules of the game as given. Areas of focus within mechanism design include compensation, wages, risk, incentives, and auctions. Within game theory and mechanism design, a metagame refers to a game that aims to develop rules for the target or subject game, being applied in the contexts of metagame analysis, and confrontation analysis.

Although game theory has broad application in general equilibrium theory, general equilibrium economists are usually concerned with macroeconomic issues of trade and production in scenarios with a very large number of individual consumers and producers. In particular, the theory of dynamic stochastic general equilibrium (DSGE) is applied, often in combination with game theoretic methods, to issues of investment management, political economy, industrial organisation, international trade, and monetary, fiscal, and tax policy.

As an economic methodology, game theory provides a framework for the analysis of decision-making processes involving multiple stakeholders, each with conflicting or cooperative objectives. Unlike traditional econometric models that are descriptive (in the sense of predicting future outcomes based on historical data and statistical trends between variables) and optimisation algorithms (which assume static environments and generally address single-objective problems within predefined constraints), game theory is inherently dynamic and accounts for the strategic interactions among participants. Game theory can further be applied in simulation-based approaches, such as agent-based modeling, in order replicate market dynamics and policy outcomes under different scenarios by way of modelling reward-punishment mechanisms, competition for limited resources, and coalition formation.

Terminology

Types of games

A game is cooperative if the players are able to form binding commitments externally enforced (e.g. through contract law). A game is non-cooperative if players cannot form alliances or if all agreements need to be self-enforcing (e.g. through credible threats).

A symmetric game is a game where each player earns the same payoff when making the same choice. The identity of the player does not change the resulting game facing the other player, and the game looks the same to all players. Formally, a symmetric two-player game can be defined as one where the matrix of one player's payoffs is the transpose of the other player's payoffs.

	E	F
E	1, 2	0, 0
F	0, 0	1, 2
An asymmetric game

	A	B
A	–1, 1	3, −3
B	0, 0	–2, 2
A zero-sum game

Zero-sum games (or constant-sum games) are games in which choices by players can neither increase nor decrease the available resources. More informally, in such a game, a player benefits only at the equal expense of others.

Simultaneous games are games where both players move simultaneously, such that all players are unaware of the actions of other players. Sequential games are games where players do not make decisions simultaneously, and player's earlier actions affect the outcome and decisions of other players.

Games typically are assumed to be finite and discrete, with a finite number of players, moves, events, and outcomes. Nonetheless, continuous games allow players to choose a strategy from a continuous strategy set. For example, Cournot competition is typically modeled with players' strategies being any non-negative quantities, including fractional quantities.

Information

A game of complete information is one where every player knows the rules, strategies and payoffs available to the other players but not necessarily the actions taken. A Bayesian game, in contrast, is a strategic game with incomplete information.

A game with perfect information is a game of complete information that also has all players, at every move in the game, know the previous history of the game and all moves previously made by all other players. An imperfect information game is played when the players do not know all moves already made by the opponent, which is the case in a simultaneous move game.

Games will change significantly if they are repeated, that is, if the players will interact with each other again in the future with the information they obtained from previous games. In future games, players may act in response to the way in which other players had acted in the past; and in present games, these other players may choose their actions in such a way to prevent them from being punished in future games but instead to reward the players based on their reputation. Examples of perfect-information recreational games include tic-tac-toe, checkers, chess, and Go. Poker and bridge are examples of games of imperfect information.

Strategies

A pure strategy is a deterministic strategy, whereas a mixed strategy is probabilistic. Games can be divided into strictly and non-strictly determined games, such that a non-strictly determined game possesses only mixed strategies, whereas a strictly determined game possesses pure strategies as well. Only a strictly determined game possesses a saddle point, that is, an equilibrium that represents the best strategies for all players.

For a two-player game, a dominant strategy for a given player is a strategy that produces a better payoff than the other player; conversely, a dominated strategy is one that is always worse than the other player and therefore never rational to play.

Domination

Dominated strategies can be grouped into strictly and weakly dominated strategies. A strategy is strictly dominated if, no matter what the other players do, a player always receives a strictly higher payoff by playing another strategy. A weakly dominated strategy, on the other hand, is one that does at least as well as all other strategies, no matter what the other players do, and is strictly better than at least one other strategy.

Formally, for the two-player game $(A,B)\in \mathbb {R} _{2}^{m\times n}$, a strategy $s$ is strictly dominated by strategy ${\bar {s}}$ if, for all strategies of the other player $t$, $u(s,t)<u({\bar {s}},t)$,, where $u$ represents the utility function. A strategy may be weakly dominated if, instead, $u(s,t)\leq u({\bar {s}},t)$ and there exists some value of $t'$ such that $u(s,t')<u({\bar {s}},t')$.

Equilibria

For any given game, a strategy profile (or strategy combination) is a combination of strategies, such that each player gets one strategy. For example, in a 3-player game where the action set ${\mathcal {A}}$ is such that $\forall i,{\mathcal {A}}_{i}=\{A,B\}$, a valid strategy profile might be $s=((1,0),(1,0),(0,1))$, indicating that players 1 and 2 choose A, and player 3 chooses B.

An equilibrium is a stable state in which either one outcome occurs or a set of outcomes occur with known probability. A Nash equilibrium is a particular type of equilibrium strategy profile where every player is best responding to the strategies of the others. In such a setting, no player has an incentive to unilaterally deviate from their choice. John Forbes Nash proved that at least one such equilibrium exists in any finite non-cooperative game.

Rationality and utility

Players in game theory are generally assumed to be rational agents in a formal, mathematical sense. Rational agents act as if they have consistent preferences and unlimited computational capacity to achieve their well-defined objectives, and they behave in a manner in order to obtain the maximum possible payoff. Players are also assumed to be self-interested, with the structure of the game itself being fixed and closed, such that each player’s objective is to maximize expected utility, given the strategies chosen by others. In this regard, utility functions are exogenous, typically one-dimensional, and stable over time. Game theoretic models also generally assume common knowledge of rationality, such that players are rational; they also know that others are rational; and that this knowledge is shared recursively.

Representation of games

	Player 2 chooses Left	Player 2 chooses Right
Player 1 chooses Up	4, 3	–1, –1
Player 1 chooses Down	0, 0	3, 4
Normal form or payoff matrix of a 2-player, 2-strategy game

Games can be broadly represented in three forms. Generally, normal form is used to represent non-cooperative simultaneous games; extensive form is used to represent non-cooperative sequential ones; and characteristic function form is used to represent cooperative games.

Every extensive-form game has an equivalent normal-form game, however, the transformation to normal form may result in an exponential blowup in the size of the representation, making it computationally impractical.

Normal form

The normal form (or strategic form) game is usually represented by a matrix which shows the players, strategies, and payoffs. In linear algebra notation, a two-player normal-form game can be mapped by a matrix. A general matrix mapping rows (actions of the first player) and columns (actions of the second player) to pairs of payoff values can be represented as follows:

$$\Gamma ={\begin{bmatrix}(u_{1}(r_{1},c_{1}),u_{2}(r_{1},c_{1}))&(u_{1}(r_{1},c_{2}),u_{2}(r_{1},c_{2}))&\cdots &(u_{1}(r_{1},c_{n}),u_{2}(r_{1},c_{n}))\\(u_{1}(r_{2},c_{1}),u_{2}(r_{2},c_{1}))&(u_{1}(r_{2},c_{2}),u_{2}(r_{2},c_{2}))&\cdots &(u_{1}(r_{2},c_{n}),u_{2}(r_{2},c_{n}))\\\vdots &\vdots &\ddots &\vdots \\(u_{1}(r_{m},c_{1}),u_{2}(r_{m},c_{1}))&(u_{1}(r_{m},c_{2}),u_{2}(r_{m},c_{2}))&\cdots &(u_{1}(r_{m},c_{n}),u_{2}(r_{m},c_{n}))\end{bmatrix}}$$

where the set of actions (or action set) $A$ available to each player are, respectively, $A_{1}=\{r_{i}\mid 1\leq i\leq m\}$ and $A_{2}=\{c_{j}\mid 1\leq j\leq n\}$.

An alternative approach is to use two separate matrices: $M_{r}$ for the row player and $M_{c}$ for the column player, defined as follows:

$$(M_{r})_{ij}=u_{1}(r_{i},c_{j})\qquad (M_{c})_{ij}=u_{2}(r_{i},c_{j})$$

Prisoner's dilemma

Main article: Prisoner's dilemma

The most popular example of a normal-form game is Prisoner's dilemma. In the dilemma, there are two players who are both accomplices to a crime. Both have been arrested and imprisoned, and they cannot communicate with each other, nor do they know what the other prisoner is doing. The police do not have sufficient evidence for a conviction, but the prisoners do not know this. Instead, they tell each prisoner that, if they confess to their crimes, they will get a lighter sentence. Each player may thus either inform on themselves and the other player, or they may remain silent. If neither confess, neither will go to jail; if both confess, they will get an ordinary sentence; however, if one confesses and the other does not, the confessor will get a short sentence while the denier will get a long one.

Despite the best possible outcome being the situation in which both parties refuse to confess, the dominant strategy for each individual player, no matter what a suspect believes his partner is going to do, is in fact to betray the other, which aligns with the sure-thing principle. The utility of this illustration is that it demonstrates the conflict between the pursuit of individual, selfish goals and the common good of both parties, representing an issue present in a variety of public goods problems.

	Cooperate	Defect
Cooperate	-1, −1	-10, 0
Defect	0, −10	-5, −5
The prisoner's dilemma

Formal definition

Formally, an $N$-player normal form game comprises:

• A finite set of $N$ players.
• An action set for the players: $\{A_{1},A_{2},\ldots ,A_{N}\}$.
• A set of payoff functions for the player that maps action sets to $\mathbb {R}$: $u_{i}:A_{1}\times A_{2}\times \cdots \times A_{N}\to \mathbb {R}$.

A strategy $\sigma$ for a player with action set $A$ is a probability distribution over the elements of $A$, such that:

$\sigma \in [0,1]_{\mathbb {R} }^{|A|}$, with $\sum _{i=1}^{|A|}\sigma _{i}=1$.

Given an action set ${\mathcal {A}}$, the set of valid strategies (also known as the strategic profile or strategic set) is denoted as $\Delta {\mathcal {A}}$ so that:

$$\Delta {\mathcal {A}}=\left\{\sigma \in [0,1]_{\mathbb {R} }^{|{\mathcal {A}}|}\left|\sum _{i=1}^{|{\mathcal {A}}|}\sigma _{i}=1\right.\right\}$$

In order to calculate expected utility for a given action set,

$$u_{i}(\sigma _{1},\sigma _{2})=\sum _{a_{1}\in {\mathcal {A}}_{1}}\sum _{a_{2}\in {\mathcal {A}}_{2}}\sigma _{1}(a_{1})\sigma _{2}(a_{2})u_{i}(a_{1},a_{2})$$In mathematical optimisation, assuming complete information, a normal-form game can also be defined as follows:

• Let I be a set of agents, ${\mathcal {I}}:=\{1,2,\ldots ,N\}$.
• Each agent $i\in {\mathcal {I}}$ chooses its decision variable (i.e., its strategy or action) $x_{i}$ from its local decision set.
• Let Ω be a decision set, such that the local decision set $\Omega _{i}\subseteq \mathbb {R} ^{n_{i}}$, and $\Omega =\Omega _{1}\times \cdots \times \Omega _{N}\subseteq \mathbb {R} ^{n}$ is the overall decision space, and $n=\sum _{i\in {\mathcal {I}}}n_{i}$.
• Let $x:={\begin{pmatrix}x_{1}\\\vdots \\x_{N}\end{pmatrix}}=\operatorname {col} ((x_{i})_{i\in {\mathcal {I}}})\in \Omega$ denote the stacked vector of all agent decisions.

Thus, the game, ${\mathcal {G}}=({\mathcal {I}},(J_{i})_{i\in {\mathcal {I}}},{\mathcal {X}})$, is then defined such that the goal of each agent $i\in {\mathcal {I}}$ is to minimize its objective function $J_{i}(x_{i},x_{-i})$, which depends on both the local variable $x_{i}$ and the decision variables of the other agents, $x_{-i}:=\operatorname {col} ((x_{j})_{j\in {\mathcal {I}}\setminus \{i\}})$.

Extensive form

An extensive form game, with players represented by numbers at the nodes and choices represented by letters at the lines

Extensive form games can be visualized using game trees. Within a tree, each vertex (or node) represents a point of choice for a player; the lines out of the vertex represent a possible action for that player; information sets are represented by dashed lines; and the payoffs are specified at the bottom of the tree, that is, being represented as the terminal nodes. The extensive form can be viewed as a multi-player generalization of a decision tree.

Solving an extensive form game (that is, finding its Nash equilibrium) involves the use of backwards induction, which involves the analysis of the tree from the end nodes to the root, removing or "pruning" dominated strategies at each information set.

Battle of the sexes

Main article: Battle of the sexes (game theory)

	Preferred Action (action1)	Unpreferred action (action2)
Unpreferred action (action1)	1,2	0,0
Preferred action (action2)	0,0	2,1
Battle of sexes (note that they both want to do the same action but have different preferences)

The "battle of the sexes" game involves two players of different sexes, arbitrarily chosen, each with a different set of preferences.

A game of imperfect information. The dotted line represents ignorance on the part of player 2, formally called an information set.

Formal definition

Formally, an $N$-player extensive form game with complete information is characterised by:

• A finite set of players ${\mathcal {N}}$ with $|{\mathcal {N}}|=N$.
• A tree $G=(V,E,x^{0})$ where:
  • $V$ is the set of vertices,
  • $E$ is the set of edges, and
  • $x^{0}\in V$ is the root of the tree.
• A partition $(V_{i})_{i\in {\mathcal {N}}}$ of the non-terminal vertices, assigning each decision node to a player.
• A set $O$ of possible outcomes.
• A function $u$ mapping each terminal node (leaf) of $G$ to an element of $O$.

A strategy for a player is a mapping from each information set to a probability distribution over the available actions at that set. Given a game in extensive form $({\mathcal {N}},G,(V_{i})_{i\in {\mathcal {N}}},O,u)$, the set of information sets ${\mathcal {V}}_{i}$ for player $i\in {\mathcal {N}}$ is defined as a partition of $V_{i}$, such that each element of ${\mathcal {V}}_{i}$ denotes a set of nodes at which the player cannot distinguish their exact location when choosing an action. Thus, every information set contains vertices for a single player, who has the move at that information set, and all vertices in an information set must have the same number of successors (with the same action labels).

Games of incomplete information can be reduced, within extensive form representations, to games of imperfect information by introducing "moves by nature", that is, by characterising nature as a "player 0". Information sets belonging to nature ${\mathcal {V}}_{0}$ are known as "singletons", with moves of nature regarded as behavior strategies, that is, strategies that map from information sets to probability distributions over feasible actions.

Characteristic function form

Main article: Cooperative game theory

In cooperative game theory the characteristic function lists the payoff of each coalition. The origin of this formulation is in John von Neumann and Oskar Morgenstern's book.

Formally, a characteristic function is a function $v:2^{N}\to \mathbb {R}$ from the set of all possible coalitions of players to a set of payments, and also satisfies $v(\emptyset )=0$. The function describes how much collective payoff a set of players can gain by forming a coalition.

Alternative game representations

See also: Succinct game

A four-stage centipede game

Alternative game representation forms are used for some subclasses of games or adjusted to the needs of interdisciplinary research. In addition to classical game representations, some of the alternative representations also encode time related aspects.

Name	Year	Means	Type of games	Time
Congestion game	1973	functions	subset of n-person games, simultaneous moves	No
Sequential form	1994	matrices	2-person games of imperfect information	No
Timed games	1994	functions	2-person games	Yes
Gala	1997	logic	n-person games of imperfect information	No
Graphical games	2001	graphs, functions	n-person games, simultaneous moves	No
Local effect games	2003	functions	subset of n-person games, simultaneous moves	No
GDL	2005	logic	deterministic n-person games, simultaneous moves	No
Game Petri-nets	2006	Petri net	deterministic n-person games, simultaneous moves	No
Continuous games	2007	functions	subset of 2-person games of imperfect information	Yes
PNSI	2008	Petri net	n-person games of imperfect information	Yes
Action graph games	2012	graphs, functions	n-person games, simultaneous moves	No

Theorems and lemmas

Nash equilibrium and existence

Formally stated, in an N-player normal form game, a Nash equilibrium is defined as a strategy profile ${\tilde {s}}=({\tilde {s}}_{1},{\tilde {s}}_{2},\ldots ,{\tilde {s}}_{N})$ such that:

$$u_{i}({\tilde {s}})=\max _{{\tilde {s}}_{i}\in \Delta (A_{i})}u_{i}({\tilde {s}}_{i},{\tilde {s}}_{-i})\quad \forall i$$The Nash existence theorem states that every finite N-player normal form game has at least one Nash equilibrium in mixed strategies. At the same time, it is also known that every finite game with perfect information has a Nash equilibrium in pure strategies.

Best response

In an N-player normal form game, a strategy $s^{*}$ for player i is a best response to some incomplete strategy profile $s_{-i}$, representing the strategies chosen by all players except player i, if and only if:

$u_{i}(s^{*},s_{-i})\geq u_{i}(s,s_{-i})\qquad \forall s\in \Delta ({\mathcal {A}}_{i}).$

That is, $s^{*}$ gives player i the highest possible payoff, given the strategies chosen by the other players.

The action set that a strategy σ plays with non zero probability is referred to as the support of σ. A mixed strategy is a best response if and only if every pure strategy within its support is itself a best response. For example, for a two-player game $(A,B)\in \left(\mathbb {R} ^{m\times n}\right)^{2}$, a strategy $\sigma _{r}^{*}$ of the row player is a best response to a strategy $\sigma _{c}$ of the column player if and only if:

$$\sigma _{r}^{*}(i)>0\quad \Rightarrow \quad (A\sigma _{c}^{\mathsf {T}})_{i}=\max _{k\in {\mathcal {A}}_{1}}(A\sigma _{c}^{\mathsf {T}})_{k}\qquad \forall i\in {\mathcal {A}}_{1}$$

where the term $(A\sigma _{c}^{\mathsf {T}})_{i}$ represents the utility for the row player when playing their $i^{\mathrm {th} }$ action.

Minimax

Given a zero-sum game defined by a payoff matrix $M\in \mathbb {R} ^{m\times n}$ and a strategy $y\in \mathbb {R} ^{n}$ for the column player, the row player seeks a best response strategy $x\in \mathbb {R} ^{m}$ that maximises their expected payoff: $\max _{x\in {\mathcal {A}}_{1}}xMy^{\mathsf {T}}$. This corresponds to choosing the rows of $M$ that yields the highest expected value under the strategy $y$, i.e.,$\max _{i\leq m}(My^{\mathsf {T}})_{i}$. The column player, by selecting $y$, can influence the upper bound $v$ of this maximum. Since the game is zero-sum, the column player will aim to choose $y$ to make this upper bound $v$ as small as possible. Hence:

$$\max _{x\in {\mathcal {A}}_{1}}xMy^{\mathsf {T}}=\max _{i\leq m}(My^{\mathsf {T}})_{i}=\min \left\{v\in \mathbb {R} \mid My^{\mathsf {T}}\leq 1v\right\}$$.

The min-max strategy $y$ for the column player is the solution to the following optimisation problem (referred to as a linear program), where v is the min-max value of the game:

$${\begin{array}{ll}\displaystyle \min _{y,v}&v\\{\text{subject to}}&My^{\mathsf {T}}\leq 1v\\&y\in {\mathcal {A}}_{2}\end{array}}$$

The corresponding max-min strategy $x$ for the row player solves the following linear program, where u is the max-min value of the game:

$${\begin{array}{ll}\displaystyle \max _{x,u}&u\\{\text{subject to}}&xM\geq 1u\\&x\in {\mathcal {A}}_{1}\end{array}}$$

The minimax theorem states that, for all constant-sum games, if there exist:

1. optimal values of u and the ''max-min'' strategy x,
2. optimal values of v and the ''min-max'' strategy y,

then, $u=v$. In less formal terms, it holds that optimal strategies exist that minimize potential losses in every constant-sum game.

Static games

Main article: List of games in game theory

Ultimatum game

Main article: Ultimatum game

The ultimatum game is a game that has become a popular instrument of economic experiments. An early description is by Nobel laureate John Harsanyi in 1961.

One player, the proposer, is endowed with a sum of money. The proposer is tasked with splitting it with another player, the responder (who knows what the total sum is). Once the proposer communicates his decision, the responder may accept it or reject it. If the responder accepts, the money is split per the proposal; if the responder rejects, both players receive nothing. Both players know in advance the consequences of the responder accepting or rejecting the offer. The game demonstrates how social acceptance, fairness, and generosity influence the players decisions.

Trust game

The Trust Game is an experiment designed to measure trust in economic decisions. It is also called "the investment game" and is designed to investigate trust and demonstrate its importance rather than "rationality" of self-interest. The game was designed by Berg Joyce, John Dickhaut and Kevin McCabe in 1995.

In the game, one player (the investor) is given a sum of money and must decide how much of it to give to another player (the trustee). The amount given is then tripled by the experimenter. The trustee then decides how much of the tripled amount to return to the investor. If the trustee is completely self-interested, then they would return nothing. However, experiments have shown that this isn't the expected behavior of the trustee. The outcome instead suggests that people are willing to place trust, by risking some amount of money, in the belief that there will be reciprocity.

Cournot competition

Main article: Cournot competition

The Cournot competition model involves players choosing quantity of a homogenous product to produce independently and simultaneously, where marginal cost can be different for each firm and the firm's payoff is profit. The production costs are public information and the firm aims to find their profit-maximizing quantity based on what they believe the other firm will produce and behave like monopolies. In this game firms want to produce at the monopoly quantity but there is a high incentive to deviate and produce more, which decreases the market-clearing price. For example, firms may be tempted to deviate from the monopoly quantity if there is a low monopoly quantity and high price, with the aim of increasing production to maximize profit. However this option does not provide the highest payoff, as a firm's ability to maximize profits depends on its market share and the elasticity of the market demand. The Cournot equilibrium is reached when each firm operates on their reaction function with no incentive to deviate, as they have the best response based on the other firms output. Within the game, firms reach the Nash equilibrium when the Cournot equilibrium is achieved.

Equilibrium for Cournot quantity competition

Bertrand competition

Main article: Bertrand competition

The Bertrand competition assumes homogenous products and a constant marginal cost and players choose the prices. The equilibrium of price competition is where the price is equal to marginal costs, assuming complete information about the competitors' costs. Therefore, the firms have an incentive to deviate from the equilibrium because a homogenous product with a lower price will gain all of the market share, known as a cost advantage.

Dynamic games

Evolutionary

Under traditional game theory (TGT), games face significant limitations in real-world applications, owing to the inapplicability of non-bounded rationality, information asymmetries, and the dynamism of interactions. Originating as a field of mathematical biology, evolutionary game theory (EGT) adopts a more flexible and adaptive approach, aiming to capture factors such as the long-term dynamic adjustments of players and the time of evolution. Under EGT, the focus is less on equilibria that correspond to a notion of rationality, but instead equilibria that are maintained by evolutionary forces, such that players are not necessarily rational and strategies are accordingly not adjusted according to rational rules. The best-known equilibrium in biology is the evolutionarily stable strategy (ESS), which is equivalent to a Nash equilibrium in TGT.

Another distinct concept in EGT is that of replicator dynamics, which model the speed of response to strategy-selection adjustments via differential equations. In general terms, the rate at which the frequency of strategy adoption changes, with respect to time, is directly proportional to the difference between the expected gain and population average gain. More formally, a general replicator equation can be expressed as follows:

${\dot {x_{i}}}=x_{i}[f_{i}(x)-\phi (x)],\quad \phi (x)=\sum _{j=1}^{n}{x_{j}f_{j}(x)}$

where

• $x_{i}$ is the probability or frequency of a particular pure strategy being adopted in a population,
• $x=(x_{1},\ldots ,x_{n})$ represents the overall distribution of strategies in the population,
• $f_{i}(x)$ is the fitness, or expected utility of strategy $i$,
• and $\phi (x)$ is the average population fitness or utility (given by the weighted average of the fitness of the $n$ types in the population).

In general, the evolution of strategies over time according to such rules is modeled as a Markov chain with a state variable such as the current strategy profile or how the game has been played in the recent past. Such rules may feature imitation, optimization, or survival of the fittest. In the social sciences, such models are also used to represent strategic adjustment by players who play a game many times within their lifetime and, consciously or unconsciously, occasionally adjust their strategies.

Biology

Unlike those in traditional game theory, the payoffs for games in EGT are often interpreted as corresponding to fitness. In addition, offspring generally adopt their parents' "strategies" and parents who play more successful strategies have a greater number of offspring.

In population genetics, EGT provides an explanation for the stability of the approximate 1:1 sex ratios, in light of the evolutionary forces acting on players trying to maximize their number of grandchildren. In animal communication, EGT has also been used to model and explain communicative behaviours by way of signaling games and other communication games. Ethologists have also used the game of chicken to analyze fighting behavior and territoriality.

Frequency-dependent selection and population polymorphism

In EGT, the Hawk-Dove game is a two-player game where the row and column players can choose to either exhibit hawk or dove phenotypes. When one player chooses Hawk and the other Dove, Hawk gets the resource, while Dove retreats before injury. When two Hawks meet, they engage in an escalating fight, seriously risking injury. When two Doves meet, they share the resource.

Hawk-dove payoff matrix to column player

	Hawk	Dove
Hawk	$E_{HH}=-2$	$E_{HD}=-2$
Dove	$E_{DH}=-2$	$E_{DD}=-2$

Frequency-dependent selection thus occurs because the expected payoff to a Hawk or a Dove depends on the frequency of Hawks and Doves in the population. A Hawk in a population of Doves does well, but a Hawk in a population of Hawks does poorly. A population of all Doves is unstable to invasion by Hawks, and similarly a population of all Hawks is unstable to invasion by Doves. These two possible equilibria are therefore unstable, and the ESS is a mixed strategy Nash equilibrium, consisting of a mixed population of both Hawks and Doves, the proportion of which is determined by assuming that the expected payoff to a Hawk in a mixed population of Hawks and Doves is the same as the expected payoff to a Dove, such that:$p={\frac {E_{HD}-E_{DD}}{\left(E_{HD}-E_{DD}\right)+\left(E_{DH}-E_{HH}\right)}}$, where p is the frequency of hawks.

Biological altruism and kin selection

Biological altruism is the situation in which an organism appears to act in a way that benefits other organisms, in particular, those of a group, but is detrimental to itself. EGT explains this phenomena by way of kin selection; Hamilton's rule states that c < b × r where the cost c to the altruist must be less than the benefit b to the recipient multiplied by the coefficient of relatedness r. That is to say, because closely related organisms share many of the same alleles, incidences of altruism increase where the altruistic player can ensure those alleles of its close relative are passed on through survival of the latter's offspring. This behaviour occurs even where it requires the altruist to forgo the option of having offspring itself, because the same number of alleles are passed on.

Stackelberg game

The Stackelberg game, also known as the leader-follower game, is a dynamic form of game where players of differing power participate in a sequential order over time, assuming that all players have perfect information, but they do not know the next moves of other participants. In a Stackelberg game, leaders (e.g., producers with high market power) make the first move, and followers (e.g. consumers) select actions based on the leaders’ decisions.

Mean field game theory

Main article: Mean field game theory

Mean field game theory is the study of strategic decision making in very large populations of small interacting agents. This class of problems was considered in the economics literature by Boyan Jovanovic and Robert W. Rosenthal, in the engineering literature by Peter E. Caines, and by mathematicians Pierre-Louis Lions and Jean-Michel Lasry.

Differential games

Main article: Differential game

Differential games such as the continuous pursuit and evasion game are continuous games where the evolution of the players' state variables is governed by differential equations. The problem of finding an optimal strategy in a differential game is closely related to the optimal control theory. In particular, there are two types of strategies: the open-loop strategies are found using the Pontryagin maximum principle while the closed-loop strategies are found using Bellman's Dynamic Programming method.

A particular case of differential games are the games with a random time horizon. In such games, the terminal time is a random variable with a given probability distribution function. Therefore, the players maximize the mathematical expectation of the cost function. It was shown that the modified optimization problem can be reformulated as a discounted differential game over an infinite time interval.

Games of computation

Game theory is widely applied in the computational and formal sciences, including in artificial intelligence (e.g. autonomous agents, machine learning, robotics), computer networking (e.g. blockchain, cybersecurity), and the digital economy (e.g. advertising auctions, surge pricing, matching markets). It is used as a basis for the modelling, analysis and development of communication protocols, interactive computations, and multi-agent systems.

Algorithmic

Algorithmic game theory (AGT), and within it algorithmic mechanism design, combine computational algorithm design and analysis of complex systems with classical methods of game theory. AGT is widely used in the development of online games, e-commerce markets, computational auctions, peer-to-peer systems, securities markets, and information markets.

Game theory has played a role in online algorithms; in particular, the k-server problem, which has in the past been referred to as games with moving costs and request-answer games. Yao's principle is a game-theoretic technique for proving lower bounds on the computational complexity of randomized algorithms, especially online algorithms.

Combinatorial

Games in which the difficulty of finding an optimal strategy stems from the multiplicity of possible moves are called combinatorial games. Examples include chess, shogi, and Go. Games that involve imperfect information may also have a strong combinatorial character, for instance backgammon. There is no unified theory addressing combinatorial elements in games. There are, however, mathematical tools that can solve some particular problems and answer some general questions.

Games of perfect information have been studied in combinatorial game theory, which has developed novel representations, e.g. surreal numbers, as well as combinatorial and algebraic (and sometimes non-constructive) proof methods to solve games of certain types, including "loopy" games that may result in infinitely long sequences of moves. These methods address games with higher combinatorial complexity than those usually considered in traditional (or "economic") game theory. A typical game that has been solved this way is Hex. A related field of study, drawing from computational complexity theory, is game complexity, which is concerned with estimating the computational difficulty of finding optimal strategies.

Research in artificial intelligence has addressed both perfect and imperfect information games that have very complex combinatorial structures (like chess, go, or backgammon) for which no provable optimal strategies have been found. The practical solutions involve computational heuristics, like alpha–beta pruning or use of artificial neural networks trained by reinforcement learning, which make games more tractable in computing practice.

Stochastic outcomes

Individual decision problems with stochastic outcomes are sometimes considered "one-player games". They may be modeled using similar tools within the related disciplines of decision theory, operations research, and areas of artificial intelligence, particularly AI planning (with uncertainty) and multi-agent system. Although these fields may have different motivators, the mathematics involved are substantially the same, e.g. using Markov decision processes (MDP).

Stochastic outcomes can also be modeled in terms of game theory by adding a randomly acting player who makes "chance moves" ("moves by nature"). This player is not typically considered a third player in what is otherwise a two-player game, but merely serves to provide a roll of the dice where required by the game.

For some problems, different approaches to modeling stochastic outcomes may lead to different solutions. For example, the difference in approach between MDPs and the minimax solution is that the latter considers the worst-case over a set of adversarial moves, rather than reasoning in expectation about these moves given a fixed probability distribution. The minimax approach may be advantageous where stochastic models of uncertainty are not available, but may also be overestimating extremely unlikely (but costly) events, dramatically swaying the strategy in such scenarios if it is assumed that an adversary can force such an event to happen. (See Black swan theory for more discussion on this kind of modeling issue, particularly as it relates to predicting and limiting losses in investment banking.)

General models that include all elements of stochastic outcomes, adversaries, and partial or noisy observability (of moves by other players) have also been studied. The "gold standard" is considered to be partially observable stochastic game (POSG), but few realistic problems are computationally feasible in POSG representation.

Relation to other fields

Economics

Game theory is a major method used in mathematical economics and business for modeling competing behaviors of interacting agents. Applications include a wide array of economic phenomena and approaches, such as auctions, bargaining, mergers and acquisitions pricing, fair division, duopolies, oligopolies, social network formation, agent-based computational economics, general equilibrium, mechanism design, and voting systems; and across such broad areas as experimental economics, behavioral economics, information economics, industrial organization, political economy, and managerial economics.

A prototypical paper on game theory in economics begins by presenting a game that is an abstraction of a particular economic situation. One or more solution concepts are chosen, and the author demonstrates which strategy sets in the presented game are equilibria of the appropriate type. Economists and business professors suggest two primary uses (noted above): descriptive and prescriptive.

Political science

The application of game theory to political science is focused in the overlapping areas of fair division, political economy, public choice, law and economics, war bargaining, strategic warfare, positive political theory, democratic peace theory, and social choice theory. In each of these areas, researchers have developed game-theoretic models in which the players are often voters, states, special interest groups, and politicians.

Early examples of game theory applied to political science are provided by Anthony Downs. In his 1957 book An Economic Theory of Democracy, he applies the Hotelling firm location model to the political process. In the Downsian model, political candidates commit to ideologies on a one-dimensional policy space. Downs first shows how the political candidates will converge to the ideology preferred by the median voter if voters are fully informed, but then argues that voters choose to remain rationally ignorant which allows for candidate divergence. Game theory was applied in 1962 to the Cuban Missile Crisis during the presidency of John F. Kennedy.

Philosophy

	Stag	Hare
Stag	3, 3	0, 2
Hare	2, 0	2, 2
Stag hunt

Game theory has been put to several uses in philosophy. Responding to two papers by W.V.O. Quine (1960, 1967), Lewis (1969) used game theory to develop a philosophical account of convention. In so doing, he provided the first analysis of common knowledge and employed it in analyzing play in coordination games. In addition, he first suggested that one can understand meaning in terms of signaling games. This later suggestion has been pursued by several philosophers since Lewis. Following Lewis (1969) game-theoretic account of conventions, Edna Ullmann-Margalit (1977) and Bicchieri (2006) have developed theories of social norms that define them as Nash equilibria that result from transforming a mixed-motive game into a coordination game.

Game theory has also challenged philosophers to think in terms of interactive epistemology: what it means for a collective to have common beliefs or knowledge, and what are the consequences of this knowledge for the social outcomes resulting from the interactions of agents. Philosophers who have worked in this area include Bicchieri (1989, 1993), Skyrms (1990), and Stalnaker (1999).

The synthesis of game theory with ethics was championed by R. B. Braithwaite. The hope was that rigorous mathematical analysis of game theory might help formalize the more imprecise philosophical discussions. However, this expectation was only materialized to a limited extent.

In ethics, some (most notably David Gauthier, Gregory Kavka, and Jean Hampton) authors have attempted to pursue Thomas Hobbes' project of deriving morality from self-interest. Since games like the prisoner's dilemma present an apparent conflict between morality and self-interest, explaining why cooperation is required by self-interest is an important component of this project. This general strategy is a component of the general social contract view in political philosophy (for examples, see Gauthier (1986) and Kavka (1986)).

Other authors have attempted to use evolutionary game theory in order to explain the emergence of human attitudes about morality and corresponding animal behaviors. These authors look at several games including the prisoner's dilemma, stag hunt, and the Nash bargaining game as providing an explanation for the emergence of attitudes about morality (see, e.g., Skyrms (1996, 2004) and Sober and Wilson (1998)).

Several logical theories have a basis in game semantics.

Epidemiology

Since the decision to take a vaccine for a particular disease is often made by individuals, who may consider a range of factors and parameters in making this decision (such as the incidence and prevalence of the disease, perceived and real risks associated with contracting the disease, mortality rate, perceived and real risks associated with vaccination, and financial cost of vaccination), game theory has been used to model and predict vaccination uptake in a society.

History

Discussions on the mathematics of games began long before the rise of modern, mathematical game theory. Game-theoretic arguments in philosophy can be found as far back as Plato. Cardano wrote on games of chance in Liber de ludo aleae (Book on Games of Chance), written around 1564 but published posthumously in 1663. Influenced by the work of Fermat and Pascal on the problem of points, Huygens developed the concept of expectation on reasoning about the structure of games of chance, publishing his gambling calculus in De ratiociniis in ludo aleæ (On Reasoning in Games of Chance) in 1657.

In 1713, a letter attributed to Charles Waldegrave, an active Jacobite and uncle to British diplomat James Waldegrave, analyzed a game called "le her". Waldegrave provided a minimax mixed strategy solution to a two-person version of the card game, and the problem is now known as the Waldegrave problem.

In 1838, Antoine Augustin Cournot provided a model of competition in oligopolies. Though he did not refer to it as such, he presented a solution that is the Nash equilibrium of the game in his Recherches sur les principes mathématiques de la théorie des richesses (Researches into the Mathematical Principles of the Theory of Wealth). In 1883, Joseph Bertrand critiqued Cournot's model as unrealistic, providing an alternative model of price competition which would later be formalized by Francis Ysidro Edgeworth.

In 1913, Ernst Zermelo published Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels (On an Application of Set Theory to the Theory of the Game of Chess), which proved that the optimal chess strategy is strictly determined. In his 1938 book Applications aux Jeux de Hasard and earlier notes, Émile Borel proved a minimax theorem for two-person zero-sum matrix games only when the pay-off matrix is symmetric and provided a solution to a non-trivial infinite game (known in English as Blotto game). Borel conjectured the non-existence of mixed-strategy equilibria in finite two-person zero-sum games, a conjecture that was proved false by von Neumann.

As a formal discipline (early–mid 20th century)

John von Neumann

The work of American mathematician John von Neumann established game theory as its own independent field in the early-to-mid 20th century, with von Neumann publishing his paper On the Theory of Games of Strategy (1928), which proved the minimax theorem. Von Neumann's original proof used Brouwer's fixed-point theorem on continuous mappings into compact convex sets, which became a standard method in game theory and mathematical economics. Von Neumann's work in game theory culminated in his 1944 book Theory of Games and Economic Behavior, co-authored with German political scientist and economist Oskar Morgenstern.

This foundational work provided the first comprehensive formal model for situations in which each participant’s outcomes depend not only on their own choices but also on the choices of others, also containing the method for finding mutually consistent solutions for two-person zero-sum games. Their subsequent work focused primarily on cooperative game theory, which analyzes optimal strategies for groups of individuals, presuming that they can enforce agreements between them about proper strategies.

Building upon the work of von Neumann and Morgenstern, the Princeton mathematician John Forbes Nash Jr in 1950 formalised a solution concept (later known as the Nash equilibrium) for non-cooperative games that were not necessarily zero-sum contests. In his 1950 paper, Nash also proved that every finite non-cooperative game had at least one Nash equilibrium solution. The generality of the Nash equilibrium allowed it to be applied to scenarios such as oligopoly pricing and environmental agreements. Further, Nash’s bargaining model offered a formal framework for negotiations.

Early, theoretic Nobel-winning work (c. 1950s–1980s)

John Nash

Game theory experienced a flurry of activity in the 1950s, during which the concepts of the core, the extensive form game, fictitious play, repeated games, and the Shapley value were developed. The 1950s also saw the first applications of game theory to philosophy and political science. The first mathematical discussion of the prisoner's dilemma appeared, and an experiment was undertaken by mathematicians Merrill M. Flood and Melvin Dresher, as part of the RAND Corporation's investigations into game theory. RAND pursued the studies because of possible applications to global nuclear strategy.

In 1994, the first Nobel Prize in economics given to game theorists was awarded to the mathematician John Nash, the philosopher John Harsanyi, and the economist Reinhard Selten for “for their pioneering analysis of equilibria in the theory of non-cooperative games”. Harsanyi had applied Bayesian inference to game theory in formulating Bayesian games, whereas Selten had introduced the solution concept of subgame perfect equilibria, which further refined the Nash equilibrium, and the trembling hand perfection, among other contributions. In 1996, the economist William Vickrey, who had applied game theory to the field of auction theory, was announced as a half-winner of the Nobel for "fundamental contributions to the economic theory of incentives under asymmetric information”, but he died before he could receive it.

In 2005, the American economist Thomas Schelling and Israeli mathematician Robert Aumann were awarded the Nobel “for having enhanced our understanding of conflict and cooperation through game-theory analysis”. Schelling had showed how strategic behavior and coordination can emerge even from simple individual choices, particularly through focal points and dynamic models of conflict and cooperation. Aumann introduced correlated equilibrium and repeated games, showing how cooperation can persist over time even among self-interested actors.

In 2007 the legally-trained Polish-American economist Leonid Hurwicz, and the American mathematicians Eric Maskin and Roger Myerson, won the Nobel “for having laid the foundations of mechanism design theory”. Hurwicz was the first to develop mechanism design theory, which shifted attention from analyzing outcomes of given rules to designing rules that yield socially desirable outcomes even under self-interest.

In 2012, Alvin E. Roth and Lloyd S. Shapley were warded the Prize “for the theory of stable allocations and the practice of market design”. In particular,Shapley's application of game theory in market design led to the concept of the market game.

Recent laureates include Jean Tirole (2014), and Paul Milgrom and Robert B. Wilson (2020).

Computational and alternative game theories

John Maynard Smith applied game-theoretic concepts to evolutionary biology, defining evolutionarily stable strategies that cannot be displaced once established in a population. The 1990s also brought computational advancements and refined mechanism design, enabling large-scale applications in telecommunications, market platforms, and auctions. In the 2000s, behavioral game theory incorporated insights from psychology, exploring bounded rationality, fairness, and reciprocity, challenging the assumption of perfect rationality.

From the 2010s onward, game theory has become deeply embedded in the digital economy and artificial intelligence. Today, its applications span almost every domain. In economics and markets, it shapes auction design, antitrust policy, and matching markets. In politics and international relations, it informs voting systems, coalition-building, treaty design, and deterrence strategies. In military and security, it guides defense planning, cybersecurity, and counterterrorism resource allocation. In biology and ecology, it models evolutionary dynamics and cooperation among species. In business and management, it informs supply chain negotiations, contract structures, and competitive strategy.

See also

• Applied ethics – Practical application of moral considerations
• Bandwidth-sharing game – Type of resource allocation game
• Chainstore paradox – Game theory paradox
• Collective intentionality – Social concept in philosophy of mind
• Glossary of game theory
• Intra-household bargaining – Negotiations within a household
• Kingmaker scenario – Endgame situation in game theory
• Mutual assured destruction – Doctrine of military strategyPages displaying short descriptions of redirect targets
• Parrondo's paradox – Paradox of combining strategies
• Precautionary principle – Risk management strategy
• Quantum refereed game – Class of games in quantum game theory
• Risk management – Identification, evaluation and control of risks
• Self-confirming equilibrium – Aspect of game theory
• Tragedy of the commons – Overuse of a shared resource
• Traveler's dilemma – Non-zero-sum game thought experiment
• Wilson doctrine (economics) – Argument in economic theory

References

Free-text sources

•  This article incorporates text from a free content work. Licensed under CC BY 4.0. Text taken from Applied Finite Mathematics​, Rupinder Sekhon and Roberta Bloom, De Anza College. LibreTexts.
•  This article incorporates text from a free content work. Licensed under CC BY 4.0. Text taken from Agent-Based Evolutionary Game Dynamics​, Luis R. Izquierdo, Segismundo S. Izquierdo, & William H. Sandholm, University of Wisconsin - Madison. LibreTexts.
•  This article incorporates text from a free content work. Licensed under CC BY 4.0. Text taken from Game Theory​, Vincent Knight.
•  This article incorporates text from a free content work. Licensed under CC BY 2.0. Text taken from Economic and Game Theory​, David K. Levine.
•  This article incorporates text from a free content work. Licensed under CC BY 3.0. Text taken from Mathematical Biology​, Jeffrey Chernov, Hong Kong University of Science and Technology. Libretexts.
•  This article incorporates text from a free content work. Licensed under CC BY. Text taken from Information​, MDPI.
•  This article incorporates text from a free content work. Licensed under Creative Commons Attribution 4.0 International License. Text taken from On Operator Theory and Applications in Game Theory​, Vol. 9:99-122, Lacra Pavel, Annual Review of Control, Robotics, and Autonomous Systems. Annual Reviews.
•  This article incorporates text from a free content work. Licensed under CC BY. Text taken from Sustainability​, MDPI.

Further reading

• Ben-David, S.; Borodin, A.; Karp, R.; Tardos, G.; Wigderson, A. (January 1994). "On the power of randomization in on-line algorithms". Algorithmica. 11 (1): 2–14. doi:10.1007/BF01294260. S2CID 26771869.
• Downs, Anthony (1957), An Economic theory of Democracy, New York: Harper
• Fisher, Sir Ronald Aylmer (1930). The Genetical Theory of Natural Selection. Clarendon Press.
• Gauthier, David (1986), Morals by agreement, Oxford University Press, ISBN 978-0-19-824992-4
• Grim, Patrick; Kokalis, Trina; Alai-Tafti, Ali; Kilb, Nicholas; St Denis, Paul (2004), "Making meaning happen", Journal of Experimental & Theoretical Artificial Intelligence, 16 (4): 209–243, Bibcode:2004JETAI..16..209G, doi:10.1080/09528130412331294715, S2CID 5737352
• Harper, David; Maynard Smith, John (2003), Animal signals, Oxford University Press, ISBN 978-0-19-852685-8
• Howard, Nigel (1971), Paradoxes of Rationality: Games, Metagames, and Political Behavior, Cambridge, MA: The MIT Press, ISBN 978-0-262-58237-7
• Kavka, Gregory S. (1986). Hobbesian Moral and Political Theory. Princeton University Press. ISBN 978-0-691-02765-4.
• Lewis, David (1969), Convention: A Philosophical Study, ISBN 978-0-631-23257-5 (2002 edition)
• Maynard Smith, John; Price, George R. (1973), "The logic of animal conflict", Nature, 246 (5427): 15–18, Bibcode:1973Natur.246...15S, doi:10.1038/246015a0, S2CID 4224989
• Osborne, Martin J.; Rubinstein, Ariel (1994), A course in game theory, MIT Press, ISBN 978-0-262-65040-3. A modern introduction at the graduate level.
• Poundstone, William (1993). Prisoner's Dilemma (1st Anchor Books ed.). New York: Anchor. ISBN 0-385-41580-X.
• Quine, W.v.O (1967), "Truth by Convention", Philosophica Essays for A.N. Whitehead, Russel and Russel Publishers, ISBN 978-0-8462-0970-6
• Quine, W.v.O (1960), "Carnap and Logical Truth", Synthese, 12 (4): 350–374, doi:10.1007/BF00485423, S2CID 46979744
• Skyrms, Brian (1996), Evolution of the social contract, Cambridge University Press, ISBN 978-0-521-55583-8
• Skyrms, Brian (2004), The stag hunt and the evolution of social structure, Cambridge University Press, ISBN 978-0-521-53392-8
• Sober, Elliott; Wilson, David Sloan (1998), Unto others: the evolution and psychology of unselfish behavior, Harvard University Press, ISBN 978-0-674-93047-6
• Webb, James N. (2007), Game theory: decisions, interaction and evolution, Undergraduate mathematics, Springer, ISBN 978-1-84628-423-6 Consistent treatment of game types usually claimed by different applied fields, e.g. Markov decision processes.

Textbooks and general literature

• Camerer, Colin (2003), "Introduction", Behavioral Game Theory: Experiments in Strategic Interaction, Russell Sage Foundation, pp. 1–25, ISBN 978-0-691-09039-9, archived from the original on 14 May 2011, retrieved 9 February 2011, Description.
• Dutta, Prajit K. (1999), Strategies and games: theory and practice, MIT Press, ISBN 978-0-262-04169-0. Suitable for undergraduate and business students.
• Fernandez, L F.; Bierman, H S. (1998), Game theory with economic applications, Addison-Wesley, ISBN 978-0-201-84758-1. Suitable for upper-level undergraduates.
• Gaffal, Margit; Padilla Gálvez, Jesús (2014). Dynamics of Rational Negotiation: Game Theory, Language Games and Forms of Life. Springer.
• Gibbons, Robert D. (1992), Game theory for applied economists, Princeton University Press, ISBN 978-0-691-00395-5. Suitable for advanced undergraduates.
  • Published in Europe as Gibbons, Robert (2001), A Primer in Game Theory, London: Harvester Wheatsheaf, ISBN 978-0-7450-1159-2.
• Gintis, Herbert (2000), Game theory evolving: a problem-centered introduction to modeling strategic behavior, Princeton University Press, ISBN 978-0-691-00943-8
• Green, Jerry R.; Mas-Colell, Andreu; Whinston, Michael D. (1995), Microeconomic theory, Oxford University Press, ISBN 978-0-19-507340-9. Presents game theory in formal way suitable for graduate level.
• Joseph E. Harrington (2008) Games, strategies, and decision making, Worth, ISBN 0-7167-6630-2. Textbook suitable for undergraduates in applied fields; numerous examples, fewer formalisms in concept presentation.
• Isaacs, Rufus (1999), Differential Games: A Mathematical Theory With Applications to Warfare and Pursuit, Control and Optimization, New York: Dover Publications, ISBN 978-0-486-40682-4
• Michael Maschler; Eilon Solan; Shmuel Zamir (2013), Game Theory, Cambridge University Press, ISBN 978-1-108-49345-1. Undergraduate textbook.
• Miller, James H. (2003), Game theory at work: how to use game theory to outthink and outmaneuver your competition, New York: McGraw-Hill, ISBN 978-0-07-140020-6. Suitable for a general audience.
• Shoham, Yoav; Leyton-Brown, Kevin (2009), Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations, New York: Cambridge University Press, ISBN 978-0-521-89943-7, retrieved 8 March 2016
• Watson, Joel (2013), Strategy: An Introduction to Game Theory (3rd edition), New York: W.W. Norton and Co., ISBN 978-0-393-91838-0. A leading textbook at the advanced undergraduate level.
• McCain, Roger A. (2010). Game Theory: A Nontechnical Introduction to the Analysis of Strategy. World Scientific. ISBN 978-981-4289-65-8.

• Farquharson, Robin (1969), Theory of Voting, Blackwell (Yale U.P. in the U.S.), ISBN 978-0-631-12460-3
• Luce, R. Duncan; Raiffa, Howard (1957), Games and decisions: introduction and critical survey, New York: Wiley. Reprinted edition: R. Duncan Luce; Howard Raiffa (1989), Games and decisions: introduction and critical survey, New York: Dover Publications, ISBN 978-0-486-65943-5

Other material

• Allan Gibbard, "Manipulation of voting schemes: a general result", Econometrica, Vol. 41, No. 4 (1973), pp. 587–601.
• McDonald, John (1950–1996), Strategy in Poker, Business & War, W. W. Norton, ISBN 978-0-393-31457-1 {{citation}}: ISBN / Date incompatibility (help). A layman's introduction.
• Papayoanou, Paul (2010), Game Theory for Business: A Primer in Strategic Gaming, Probabilistic, ISBN 978-0-9647938-7-3.
• Satterthwaite, Mark Allen (April 1975). "Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions" (PDF). Journal of Economic Theory. 10 (2): 187–217. doi:10.1016/0022-0531(75)90050-2.
• Siegfried, Tom (2006), A Beautiful Math, Joseph Henry Press, ISBN 978-0-309-10192-9
• Skyrms, Brian (1990), The Dynamics of Rational Deliberation, Harvard University Press, ISBN 978-0-674-21885-7
• Thrall, Robert M.; Lucas, William F. (1963), "$n$-person games in partition function form", Naval Research Logistics Quarterly, 10 (4): 281–298, doi:10.1002/nav.3800100126
• Dolev, Shlomi; Panagopoulou, Panagiota N.; Rabie, Mikaël; Schiller, Elad M.; Spirakis, Paul G. (2011). "Rationality authority for provable rational behavior". Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing. pp. 289–290. doi:10.1145/1993806.1993858. ISBN 978-1-4503-0719-2.
• Chastain, Erick; Livnat, Adi; Papadimitriou, Christos; Vazirani, Umesh (June 2014), "Algorithms, games, and evolution", Proceedings of the National Academy of Sciences of the United States of America, 111 (29): 10620–10623, Bibcode:2014PNAS..11110620C, doi:10.1073/pnas.1406556111, PMC 4115542, PMID 24979793

External links

• "Games, theory of", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Al Roth: History of Game Theory Page, "Game Theory and Experimental Economics page". Archived from the original on 15 August 2000. Retrieved 13 September 2003.
• David Levine: Game Theory. Papers, Lecture Notes (CC BY 2.0)
• McKelvey, Richard D., McLennan, Andrew M., and Turocy, Theodore L. (2007) Gambit: Software Tools for Game Theory.
• Benjamin Polak: Open Course on Game Theory at Yale Archived 3 August 2010 at the Wayback Machine
• Yu-Chi Ho: What is Mathematical Game Theory