20 06 Computing Nash Equilibria : Approximation and Smoothed Complexity
Xi Chen,Xiaotie Deng,Shang-Hua Teng
2006-01-01
Abstract:By proving that the problem of computing a 1/n-approximate Nash equilibrium remains PPAD-complete, we show that the BIMATRIX game is not likely to have a fully polynomial-time approximation scheme. In other words, no algorithm with time polynomial in n and 1/ǫ can compute an ǫ-approximate Nash equilibrium of an n×n bimatrix game, unless PPAD ⊆ P. Instrumental to our proof, we introduce a new discrete fixed-point problem on a high-dimensional cube with a constant side-length, such as on an n-dimensional cube with side-length 7, and show that they are PPAD-complete. Furthermore, we prove that it is unlikely, unless PPAD ⊆ RP, that the smoothed complexity of the LemkeHowson algorithm or any algorithm for computing a Nash equilibrium of a bimatrix game is polynomial in n and 1/σ under perturbations with magnitude σ. Our result answers a major open question in the smoothed analysis of algorithms and the approximation of Nash equilibria. Department of Computer Science, Tsinghua University, Beijing, P.R.China. xichen00@mails.tsinghua.edu.cn. Supported by National Natural Science Foundation of China (60135010, 60321002) and Chinese National Key Foundation Research and Development Plan (2004CB318108). Department of Computer Science, City University of Hong Kong, Hong Kong, P.R.China. deng@cs.cityu.edu.hk. Department of Computer Science, Boston University, Boston, and Akamai Technologies Inc. Cambridge, USA. steng@cs.bu.edu. Partially supported by the NSF grants CCR-0311430 and ITR CCR-0325630. Part of the work was done while the author was visiting the City University of Hong Kong, Tsinghua University, and Microsoft Beijing Research Lab.