Computer Science > Computational Complexity
[Submitted on 28 Jul 2018]
Title:Team Diagonalization
View PDFAbstract:Ten years ago, Glaßer, Pavan, Selman, and Zhang [GPSZ08] proved that if P $\neq$ NP, then all NP-complete sets can be simply split into two NP-complete sets.
That advance might naturally make one wonder about a quite different potential consequence of NP-completeness: Can the union of easy NP sets ever be hard? In particular, can the union of two non-NP-complete NP sets ever be NP-complete?
Amazingly, Ladner [Lad75] resolved this more than forty years ago: If P $\neq$ NP, then all NP-complete sets can be simply split into two non-NP-complete NP sets. Indeed, this holds even when one requires the two non-NP-complete NP sets to be disjoint.
We present this result as a mini-tutorial. We give a relatively detailed proof of this result, using the same technique and idea Ladner [Lad75] invented and used in proving a rich collection of results that include many that are more general than this result: delayed diagonalization. In particular, the proof presented is based on what one can call team diagonalization (or if one is being playful, perhaps even tag-team diagonalization): Multiple sets are formed separately by delayed diagonalization, yet those diagonalizations are mutually aware and delay some of their actions until their partner(s) have also succeeded in some coordinated action.
We relatedly note that, as a consequence of Ladner's result, if P $\neq$ NP, there exist OptP functions f and g whose composition is NP-hard yet neither f nor g is NP-hard.
Submission history
From: Lane A. Hemaspaandra [view email][v1] Sat, 28 Jul 2018 23:30:29 UTC (15 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.