Octahedral Tucker is PPA-Complete.
Xiaotie Deng,Zhe Feng,Rucha Kulkarni
2017-01-01
Abstract:We resolve the complexity of n-dimensional Octahedral Tucker (a special case of the celebrated Tucker problem), a classical statement from algebraic topology, by proving it PPA− Complete. For this, we define a new problem called General Octahedral Tucker, and prove that it is PPA− Complete and that Octahedral Tucker is a special case of the same. The proof involves two folding techniques, Fold and Wrap. First, using Fold, we reduce 2-D Tucker, a known PPA− Complete problem, to an instance of General Octahedral Tucker, and then successively reduce General Octahedral Tucker to higher dimensional instances of the same problem. Once we obtain instances that have constant side length, application of the Wrap technique results in an instance of Octahedral Tucker. This result settles a decade old open question from [13], also raised in [1, 11]. ∗School of EECS, Peking University, Beijing, China. Email: xiaotie@pku.edu.cn. Research results reported in this work are partially supported by the National Natural Science Foundation of China (Grant No. 61632017, 61173011) †John A. Paulson School of Engineering and Applied Sciences, Harvard University, 33 Oxford Street, Cambridge, MA 02138, USA. Email: zhe feng@g.harvard.edu. This work was partly done when the author was an undergraduate student in Shanghai Jiao Tong University, China. ‡Department of Computer Science, University of Illinois at Urbana-Champaign, 201 N Goodwin Avenue, Urbana, IL 61801. Email: ruchark2@illinois.edu. This work was done while visiting Shanghai Jiao Tong University, China.