Approximability and Parameterized Complexity of Minmax Values

We consider approximating the minmax value of a multi-playergame in strategic form. Tightening recent bounds by Borgs et al.,we observe that approximating the value with a precision ofelogn digits (for any constant e> 0) isNP-hard, where n is the size of the game. On the other hand,approximating the value with a precision of c loglogn digits (forany constant c ≥ 1) can be done inquasi-polynomial time. We consider the parameterized complexity ofthe problem, with the parameter being the number of pure strategiesk of the player for which the minmax value is computed. We showthat if there are three players, k = 2 and there areonly two possible rational payoffs, the minmax value is a rationalnumber and can be computed exactly in linear time. In the generalcase, we show that the value can be approximated with anypolynomial number of digits of accuracy in time n O(k). On theother hand, we show that minmax value approximation is W[1]-hardand hence not likely to be fixed parameter tractable. Concretely,we show that if k-Clique requires time n Ω(k) then so doesminmax value computation.

[1]  Martin Fürer Faster integer multiplication , 2007, STOC '07.

[2]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[3]  Ge Xia,et al.  Tight lower bounds for certain parameterized NP-hard problems , 2004, Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004..

[4]  Xi Chen,et al.  The approximation complexity of win-lose games , 2007, SODA '07.

[5]  James Renegar On the computational complexity and geome-try of the first-order theory of the reals , 1992 .

[6]  Yijia Chen,et al.  Machine-based methods in parameterized complexity theory , 2005, Theor. Comput. Sci..

[7]  Michael R. Fellows,et al.  FIXED-PARAMETER TRACTABILITY AND COMPLETENESS , 2022 .

[8]  Jonathan F. Buss,et al.  Simplifying the weft hierarchy , 2006, Theor. Comput. Sci..

[9]  B. Stengel,et al.  Team-Maxmin Equilibria☆ , 1997 .

[10]  Michael R. Fellows,et al.  Fixed-Parameter Tractability and Completeness II: On Completeness for W[1] , 1995, Theor. Comput. Sci..

[11]  Adam Tauman Kalai,et al.  The myth of the folk theorem , 2008, Games Econ. Behav..

[12]  James Renegar,et al.  On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I: Introduction. Preliminaries. The Geometry of Semi-Algebraic Sets. The Decision Problem for the Existential Theory of the Reals , 1992, J. Symb. Comput..

[13]  Richard J. Lipton,et al.  Simple strategies for large zero-sum games with applications to complexity theory , 1994, STOC '94.

[14]  James Renegar,et al.  On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part II: The General Decision Problem. Preliminaries for Quantifier Elimination , 1992, J. Symb. Comput..

[15]  J. Renegar,et al.  On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I , 1989 .

[16]  James Renegar,et al.  On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part III: Quantifier Elimination , 1992, J. Symb. Comput..