On the Complexity of Iterated Weak Dominance in Constant-Sum Games
In game theory, a player’s action is said to be weakly dominated if there exists another action that, with respect to what the other players do, is never worse and sometimes strictly better. We investigate the computational complexity of the process of iteratively eliminating weakly dominated actions (IWD) in two-player constant-sum games, i.e., games in which the interests of both players are diametrically opposed. It turns out that deciding whether an action is eliminable via IWD is feasible in polynomial time whereas deciding whether a given subgame is reachable via IWD is NP-complete. The latter result is quite surprising as we are not aware of other natural computational problems that are intractable in constant-sum games. Furthermore, we slightly improve a result by Conitzer and Sandholm  by showing that typical problems associated with IWD in win-lose games with at most one winner are NP-complete.
KeywordsPolynomial Time Solution Concept Weak Dominance Elimination Sequence Strict Dominance
Unable to display preview. Download preview PDF.
- 1.Apt, K.R.: Uniform proofs of order independence for various strategy elimination procedures. Contributions to Theoretical Economics 4(1) (2004)Google Scholar
- 4.Brandt, F., Brill, M., Fischer, F., Harrenstein, P.: Computational aspects of Shapley’s saddles. In: Proc. of 8th AAMAS Conference, pp. 209–216 (2009)Google Scholar
- 6.Conitzer, V., Sandholm, T.: Complexity of (iterated) dominance. In: Proc. of 6th ACM-EC Conference, pp. 88–97. ACM Press, New York (2005)Google Scholar
- 15.Osborne, M.: An Introduction to Game Theory. Oxford University Press, Oxford (2004)Google Scholar