Consensus Halving is PPA-Complete
Abstract
We show that the computational problem CONSENSUS-HALVING is PPA-complete, the first PPA-completeness result for a problem whose definition does not involve an explicit circuit. We also show that an approximate version of this problem is polynomial-time equivalent to NECKLACE SPLITTING, which establishes PPAD-hardness for NECKLACE SPLITTING, and suggests that it is also PPA-complete.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2017
- DOI:
- 10.48550/arXiv.1711.04503
- arXiv:
- arXiv:1711.04503
- Bibcode:
- 2017arXiv171104503F
- Keywords:
-
- Computer Science - Computational Complexity;
- Computer Science - Computer Science and Game Theory