{{Short description|Quality of a strategy in game theory}} {{For|the business strategy|Market domination}} {{more footnotes needed|date=January 2016}} {{Infobox equilibrium|name=Dominant strategy|subsetof=Strategy (game theory)|supersetof=Rationalizable strategy|usedfor=Prisoner's dilemma}} In game theory, a strategy ''A'' '''dominates''' another strategy ''B'' if ''A'' will always produce a better result than ''B'', regardless of how any other player plays. Some very simple games (called straightforward games) can be solved using dominance.
==Terminology== A player can compare two strategies, A and B, to determine which one is better. The result of the comparison is one of: * B '''strictly dominates''' (>) A: choosing B always gives a better outcome than choosing A, no matter what the other players do. * B '''weakly dominates''' (≥) A: choosing B always gives at least as good an outcome as choosing A, no matter what the other players do, and there is at least one set of opponents' actions for which B gives a better outcome than A. (Notice that if B strictly dominates A, then B weakly dominates A. Therefore, we can say "B dominates A" to mean "B weakly dominates A".)<ref>{{Cite journal |last1=Leyton-Brown |first1=Kevin |last2=Shoham |first2=Yoav |date=January 2008 |title=Essentials of Game Theory: A Concise Multidisciplinary Introduction |journal=Synthesis Lectures on Artificial Intelligence and Machine Learning |language=en |volume=2 |issue=1 |page=36|doi=10.2200/S00108ED1V01Y200802AIM003}}</ref> * B is '''weakly dominated''' by A: there is at least one set of opponents' actions for which B gives a worse outcome than A, while all other sets of opponents' actions give B the same payoff as A. (Strategy A weakly dominates B). * B is '''strictly dominated''' by A: choosing B always gives a worse outcome than choosing A, no matter what the other player(s) do. (Strategy A strictly dominates B). * Neither A nor B dominates the other: B and A are not equivalent, and B neither dominates, nor is dominated by, A. Choosing A is better in some cases, while choosing B is better in other cases, depending on exactly how the opponent chooses to play. For example, B is "throw rock" while A is "throw scissors" in Rock, Paper, Scissors. This notion can be generalized beyond the comparison of two strategies. * Strategy B is '''strictly dominant''' if strategy B ''strictly dominates'' every other possible strategy. * Strategy B is '''weakly dominant''' if strategy B ''weakly'' ''dominates'' every other possible strategy. * Strategy B is '''strictly dominated''' if some other strategy exists that strictly dominates B. * Strategy B is '''weakly dominated''' if some other strategy exists that weakly dominates B.
'''Strategy:''' A complete contingent plan for a player in the game. A complete contingent plan is a full specification of a player's behavior, describing each action a player would take at every possible decision point. Because information sets represent points in a game where a player must make a decision, a player's strategy describes what that player will do at each information set.<ref name=":0">{{Cite book|title=Strategy: An Introduction to Game Theory|last=Joel |first=Watson|isbn=9780393918380|edition=Third|location=New York|oclc=842323069|date = 2013-05-09}}</ref>
'''Rationality:''' The assumption that each player acts in a way that is designed to bring about what he or she most prefers given probabilities of various outcomes; von Neumann and Morgenstern showed that if these preferences satisfy certain conditions, this is mathematically equivalent to maximizing a payoff. A straightforward example of maximizing payoff is that of monetary gain, but for the purpose of a game theory analysis, this payoff can take any desired outcome—cash reward, minimization of exertion or discomfort, or promoting justice can all be modeled as amassing an overall “utility” for the player. The assumption of rationality states that players will always act in the way that best satisfies their ordering from best to worst of various possible outcomes.<ref name=":0" />
'''Common Knowledge:''' The assumption that each player has knowledge of the game, knows the rules and payoffs associated with each course of action, and realizes that every other player has this same level of understanding. This is the premise that allows a player to make a value judgment on the actions of another player, backed by the assumption of rationality, into consideration when selecting an action.<ref name=":0" />
== Dominance and Nash equilibria ==
{| class="wikitable" align=right style="margin:1em 0 1em 1em; font-size:95%;" | ! C ! D |- ! C | 1, 1 | 0, 0 |- ! D | 0, 0 | 0, 0 |} If a strictly dominant strategy exists for one player in a game, that player will play that strategy in each of the game's Nash equilibria. If both players have a strictly dominant strategy, the game has only one unique Nash equilibrium, referred to as a "dominant strategy equilibrium". However, that Nash equilibrium is not necessarily "efficient", meaning that there may be non-equilibrium outcomes of the game that would be better for both players. The classic game used to illustrate this is the Prisoner's Dilemma.
Strictly dominated strategies cannot be a part of a Nash equilibrium, and as such, it is irrational for any player to play them. On the other hand, weakly dominated strategies may be part of Nash equilibria. For instance, consider the payoff matrix pictured at the right.
Strategy ''C'' weakly dominates strategy ''D.'' Consider playing ''C'': If one's opponent plays ''C,'' one gets 1; if one's opponent plays ''D,'' one gets 0. Compare this to ''D,'' where one gets 0 regardless. Since in one case, one does better by playing ''C'' instead of ''D'' and never does worse, ''C'' weakly dominates ''D''. Despite this, {{tmath|(D, D)}} is a Nash equilibrium. Suppose both players choose ''D''. Neither player will do any better by unilaterally deviating—if a player switches to playing ''C,'' they will still get 0. This satisfies the requirements of a Nash equilibrium. Suppose both players choose C. Neither player will do better by unilaterally deviating—if a player switches to playing D, they will get 0. This also satisfies the requirements of a Nash equilibrium.
== Iterated elimination of strictly dominated strategies == {{Main|Rationalizability}}
The iterated elimination (or deletion, or removal) of dominated strategies (also denominated as IESDS, or IDSDS, or IRSDS) is one common technique for solving games that involves iteratively removing dominated strategies. In the first step, all dominated strategies are removed from the strategy space of each of the players, since no rational player would ever play these strategies. This results in a new, smaller game. Some strategies—that were not dominated before—may be dominated in the smaller game. The first step is repeated, creating a new even smaller game, and so on.
This process is valid since it is assumed that rationality among players is common knowledge, that is, each player knows that the rest of the players are rational, and each player knows that the rest of the players know that he knows that the rest of the players are rational, and so on ad infinitum (see Aumann, 1976).
== Iterated elimination of weakly dominated strategies == {{Main|Rationalizability}}
Iterated elimination (or deletion, or removal) of weakly dominated strategies (also denominated as IEWDS, or IDWDS, or IRWDS) is a procedure in strategic-form games in which one iteratively removes from each player’s strategy set any strategy that is ''weakly dominated'' (i.e., never yields a higher payoff and sometimes yields a strictly lower payoff than another strategy), treating the reduced game in each round as the basis for further elimination.
While IEWDS generalizes the process of iterated elimination of strictly dominated strategies (IESDS), it differs in several important respects: the result '''may depend on the order''' in which weakly dominated strategies are removed (i.e., it is not generally order-independent).<ref name=":1">{{Citation |last=Pacuit |first=Eric |title=Epistemic Foundations of Game Theory |date=2025 |work=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/fall2025/entries/epistemic-game/ |access-date=2025-11-03 |edition=Fall 2025 |publisher=Metaphysics Research Lab, Stanford University |last2=Roy |first2=Olivier |editor2-last=Nodelman |editor2-first=Uri}}</ref>
Moreover, although any strategy profile that survives IEWDS must satisfy a certain cautious-rationality condition (players never play weakly dominated strategies given full-support beliefs about opponents), the elimination process can '''exclude''' some Nash equilibria of the original game.<ref name=":1" />
Use‐cases of the method include simplification of games in which weak dominance relations exist, and the analysis of games under “cautious belief” assumptions. For instance, recent work shows that in certain well-founded extensive-form games the maximal application of IEWDS can reduce the game to a trivial subgame containing a unique subgame-perfect equilibrium.
== See also == * Max-dominated strategy * Risk dominance * Winning strategy
==References== {{Reflist}} *{{cite book |last1=Fudenberg |first1=Drew |author-link2=Jean Tirole |first2=Jean |last2=Tirole |year=1993 |title=Game Theory |publisher=MIT Press }} *{{cite book |last=Gibbons |first=Robert |year=1992 |title=Game Theory for Applied Economists |publisher=Princeton University Press |isbn=0-691-00395-5 }} *{{cite book |last=Gintis |first=Herbert |year=2000 |title=Game Theory Evolving |publisher=Princeton University Press |isbn=0-691-00943-0 }} * {{cite book | last2=Shoham | first2=Yoav | last1=Leyton-Brown | first1=Kevin | title=Essentials of Game Theory: A Concise, Multidisciplinary Introduction | publisher=Morgan & Claypool Publishers | isbn=978-1-59829-593-1 | url=http://www.gtessentials.org | year=2008 | location=San Rafael, CA}}. An 88-page mathematical introduction; see Section 3.3. [http://www.morganclaypool.com/doi/abs/10.2200/S00108ED1V01Y200802AIM003 Free online] at many universities. *{{cite book |author-link=Anatol Rapoport |last=Rapoport |first=A. |year=1966 |title=Two-Person Game Theory: The Essential Ideas |url=https://archive.org/details/twopersongamethe00rapo |url-access=registration |publisher=University of Michigan Press }} * [http://www.virtualperfection.com/gametheory/Section2.1.html Jim Ratliff's Game Theory Course: Strategic Dominance] * {{cite book | last1=Shoham | first1=Yoav | last2=Leyton-Brown | first2=Kevin | title=Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations | publisher=Cambridge University Press | isbn=978-0-521-89943-7 | url=http://www.masfoundations.org | year=2009 | location=New York}} A comprehensive reference from a computational perspective; see Sections 3.4.3, 4.5. [http://www.masfoundations.org/download.html Downloadable free online]. *"Strict Dominance in Mixed Strategies – Game Theory 101". [http://gametheory101.com/courses/game-theory-101/strict-dominance-in-mixed-strategies/ gametheory101.com]. Retrieved 2021-12-17. *Watson Joel. ''Strategy : An Introduction to Game Theory''. Third ed. W.W. Norton & Company 2013. :{{PlanetMath attribution|id=3196|title=Dominant strategy}}
{{Game theory}} {{Authority control}}
Category:Game theory