Abstract
While the 3-dimensional analogue of Sperner’s problem in the plane was known to be complete in class PPAD, the complexity of 2D-SPERNER itself is not known to be PPAD-complete or not. In this paper, we settle this open problem proposed by Papadimitriou [9] fifteen years ago. The result also allows us to derive the computational complexity characterization of a discrete version of the 2-dimensional Brouwer fixed point problem, improving a recent result of Daskalakis, Goldberg and Papadimitriou [4]. Those hardness results for the simplest version of those problems provide very useful tools to the study of other important problems in the PPAD class.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chen, X., Deng, X.: On Algorithms for Discrete and Approximate Brouwer Fixed Points. In: STOC 2005, pp. 323–330 (2005)
Chen, X., Deng, X.: On the Complexity of 2D Discrete Fixed Point Problem. ECCC, TR06-037 (2006)
Chen, X., Deng, X., Teng, S.-H.: Computing Nash equilibria: approximation and smoothed complexity. ECCC, TR06-023 (2006)
Daskalakis, C., Goldberg, P.W., Papadimitriou, C.H.: The Complexity of Computing a Nash Equilibrium. STOC 2006 (2006)
Friedl, K., Ivanyos, G., Santha, M., Verhoeven, Y.: Locally 2-dimensional Sperner problems complete for the Polynomial Parity Argument classes (submitted)
Friedl, K., Ivanyos, G., Santha, M., Verhoeven, Y.: On the complexity of Sperner’s Lemma. Research report NI05002-QIS at the Isaac Newton Institute for Mathematical studies
Grigni, M.: A Sperner lemma complete for PPA. Inform. Process. Lett. 77(5-6), 255–259 (2001)
Hirsch, M.D., Papadimitriou, C., Vavasis, S.: Exponential lower bounds for finding Brouwer fixed points. J.Complexity 5, 379–416 (1989)
Papadimitriou, C.H.: On graph-theoretic lemmata and complexity classes. In: In Proceedings 31st Annual Symposium on Foundations of Computer Science, pp. 794–801 (1990)
Papadimitriou, C.H.: On the complexity of the parity argument and other inefficient proofs of existence. In: JCSS, pp. 498–532 (1994)
Sperner, E.: Neuer Beweis fur die Invarianz der Dimensionszahl und des Gebietes. Abhandlungen aus dem Mathematischen Seminar Universitat Hamburg 6, 265–272 (1928)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, X., Deng, X. (2006). On the Complexity of 2D Discrete Fixed Point Problem. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds) Automata, Languages and Programming. ICALP 2006. Lecture Notes in Computer Science, vol 4051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786986_43
Download citation
DOI: https://doi.org/10.1007/11786986_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35904-3
Online ISBN: 978-3-540-35905-0
eBook Packages: Computer ScienceComputer Science (R0)