en>Michael Hardy at 02:11, 1 January 2013

2013-01-01T02:11:03Z

New page

{{Orphan|date=April 2010}}

In [[game theory]] a '''max-dominated strategy''' is a [[strategy]] which is not a [[best response]] to any [[strategy profile]] of the other players. This is an extension to the notion of [[dominated strategies|strictly dominated strategies]], which are obviously max-dominated as well.

==Definition==
===Max-dominated strategies===
A strategy <math>s_i\in S_i</math> of player <math>i</math> is ''max-dominated'' if for every strategy profile of the other players
<math>s_{-i}\in S_{-i}</math> there is a strategy <math>s^\prime_i\in S_i</math> such that <math> u_i(s^\prime_i,s_{-i})> u_i(s_i,s_{-i})</math>. This definition means that <math>s_i</math> is not a [[best response]] to any [[strategy profile]] <math>s_{-i}</math>, since for every such strategy profile there is another strategy <math>s^\prime_i</math> which gives higher utility than <math>s_i</math> for player <math>i</math>.

It is easy to see that if a stategy <math>s_i\in S_i</math> is '''[[dominated strategies|strictly dominated]]''' by strategy <math>s^\prime_i \in S_i</math> then it is also '''max-dominated''', since for every strategy profile of the other players <math>s_{-i}\in S_{-i}</math> we will pick <math>s^\prime_i</math> to be the strategy for which <math> u_i(s^\prime_i,s_{-i})> u_i(s_i,s_{-i})</math>.

It is also notable that even if <math>s_i</math> is strictly dominated by a mixed strategy it is also '''max-dominated'''.

===Weakly max-dominated strateges===
A strategy <math>s_i\in S_i</math> of player <math>i</math> is '''weakly max-dominated''' if for every strategy profile of the other players <math>s_{-i}\in S_{-i}</math> there is a strategy <math>s^\prime_i\in S_i</math> such that <math> u_i(s^\prime_i,s_{-i}) \geq u_i(s_i,s_{-i})</math>. This definition means that <math>s_i</math> is either not a [[best response]] or not the only [[best response]] to any [[strategy profile]] <math>s_{-i}</math>, since for every such strategy profile there is another strategy <math>s^\prime_i</math> which gives at least the same utility as <math>s_i</math> for player <math>i</math>.

It is easy to see that if a stategy <math>s_i\in S_i</math> is '''[[dominated strategies|weakly dominated]]''' by strategy <math>s^\prime_i \in S_i</math> then it is also '''weakly max-dominated''', since for every strategy profile of the other players <math>s_{-i}\in S_{-i}</math> we will pick <math>s^\prime_i</math> to be the strategy for which <math> u_i(s^\prime_i,s_{-i})\geq u_i(s_i,s_{-i})</math>.

It is also notable that even if <math>s_i</math> is weakly dominated by a mixed strategy it is also '''weakly max-dominated'''.

==Max-solvable games==
===Definition===
A game <math>G</math> is said to be '''max-solvable''' if by [[dominance (game theory)#Iterated elimination of dominated strategies (IEDS)|iterated elimination of max-dominated strategies]] only one strategy profile is left at the end.

More formally we say that <math>G</math> is max-solvable if there exists a sequence of games <math>G_0, ..., G_r</math> such that:
* <math>G_0 = G</math>
* <math>G_{k+1}</math> is obtained by removing a single max-dominated strategy from the strategy space of a single player in <math>G_k</math>.
* There is only one strategy profile left in <math>G_r</math>.

Obviously every max-solvable game has a unique pure [[Nash equilibrium]] which is the strategy profile left in <math>G_r</math>.

As in the previous part one can define respectively the notion of '''weakly max-solvable games''', which are games for which a game with a single strategy profile can be reached by eliminating '''weakly max-dominated strategies'''. The main difference would be that weakly max-dominated games may have more than one pure [[Nash equilibrium]], and that the order of elimination might result in different Nash equilibria.

===Example===
{{Payoff matrix | Name = Fig. 1: [[payoff matrix]] of the [[prisoner's dilemma]]
| 2L = Cooperate | 2R = Defect |
1U = Cooperate | UL = -1, -1| UR = -5, 0 |
1D = Defect | DL = 0, -5 | DR = -3, -3}}

The prisoner's dilemma is an example of a max-solvable game (as it is also dominance solvable). The strategy cooperate is max-dominated by the strategy defect for both players, since playing defect always gives the player a higher utility, no matter what the other player plays. To see this note that if the row player plays cooperate then the column player would prefer playing defect and go free than playing cooperate and serving one year in jail. If the row player plays defect then the column player would prefer playing defect and serve three years in jail rather than playing cooperate and serving five years in jail.

===Max-solvable games and best-reply dynamics===
In any max-solvable game, best-reply dynamics ultimately leads to the unique pure [[Nash equilibrium]] of the game. In order to see this, all we need to do is notice that if <math>s_1, s_2, s_3, ..., s_k</math> is an elimination sequence of the game (meaning that first <math>s_1</math> is eliminated from the strategy space of some player since it is max-dominated, then <math>s_2</math> is eliminated, and so on), then in the best-response dynamics <math>s_1</math> will be never played by its player after one iteration of best responses, <math>s_2</math> will never be played by its player after two iterations of best responses and so on. The reason for this is that <math>s_1</math> is not a best response to any strategy profile of the other players <math>s_{-i}</math> so after one iteration of best responses its player must have chosen a different strategy. Since we understand that we will never return to <math>s_1</math> in any iteration of the best responses, we can treat the game after one iteration of best responses as if <math>s_1</math> has been eliminated from the game, and complete the proof by induction.

{| align=right border="1" cellpadding="4" cellspacing="0" style="margin: 1em 1em 1em 1em; background: #f9f9f9; border: 1px #aaa solid; border-collapse: collapse; font-size: 95%;"
|+ align=bottom |''A weakly max-solvable game''
|-
|align=center|1, 1
|align=center|0, 0
|-
|align=center|1, 0
|align=center|0, 1
|-
|align=center|0, 1
|align=center|1, 0
|}

It may come by surprise then that '''weakly max-solvable games''' do not necessarily converge to a pure [[Nash equilibrium]] when using the [[best response#Best response dynamics|best-reply dynamics]], as can be seen in the game on the right. If the game starts of the bottom left cell of the matrix, then the following best replay dynamics is possible: the row player moves one row up to the center row, the column player moves to the right column, the row player moves back to the bottom row, the column player moves back to the left column and so on. This obviously never converges to the unique pure Nash equilibrium of the game (which is the upper left cell in the [[payoff matrix]]).

==See also==
[[Dominance (game theory)]]

==External links and references==
* {{Citation | last1=Nisan | first1=Noam | last2=Schapira | first2=Michael | last3=Zohar | first3 = Aviv | title=Asynchronus best reply dynamics | publisher=Springer-Verlag | url=http://www.springerlink.com | year=2009 | location=Berlin}}. Asynchronus best-reply dynamics. [http://www.springerlink.com/content/m32856j7685t4552/].

[[Category:Game theory]]

Matrix consimilarity - Revision history

en>Michael Hardy at 02:11, 1 January 2013