Tucker's lemma states that if we triangulate the unit disc centered at the origin and color the vertices with {1,-1,2,-2} in an antipodal way (if |z|=1, then the sum of the colors of z and -z is zero), then there must be an edge for which the sum of the colors of its endpoints is zero. But how hard is it to find such an edge? We show that if the triangulation is exponentially large and the coloring is determined by a deterministic Turing-machine, then this problem is PPAD-complete which implies that there is not too much hope for a polynomial algorithm. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Pálvölgyi, D. (2009). 2D-TUCKER is PPAD-complete. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5929 LNCS, pp. 569–574). https://doi.org/10.1007/978-3-642-10841-9_57
Mendeley helps you to discover research relevant for your work.