Videos

CSDM: A Tutorial on the Likely Worst-Case Complexities of NP-Complete Problems

January 24, 2012
Keywords:
  • Computer Science and Discrete Mathematics (CSDM)
Abstract
Abstract The P vs. NP problem has sometimes been unofficially paraphrased as asking whether it is possible to improve on exhaustive search for such problems as Satisfiability, Clique, Graph Coloring, etc. However, known algorithms for each of these problems indeed are substantially better than exhaustive search, if still exponential. Furthermore, although a polynomial-time algorithm for any one of these problems implies one for all of them, these improved exponential algorithms are highly specific, and it is unclear what the limit of improvement should be. In the past 15 years or so, a complexity theory for exponential complexities has emerged. Fundamental to this theory are two related hypotheses: the Exponential Time Hypothesis, that each k-SAT problem requires time 2ckn for 0 < ck < 1, and the Strong Exponential Time Hypothesis, that these constants tend towards 1 as k grows. Like the Unique Games Conjecture for approximation algorithms, there is no consensus on whether these hypotheses are true or false. However, also like UGC, there are many consequences both of their truth and of their falsity. Either way gives a unified picture of the complexities of many NP-complete problems. Furthermore, recent work has shown that ETH and SETH have implications beyond exponential time algorithms, to parameterized complexity, cryptography, data structures, and to the question of whether fundamental polynomial-time algorithms can be further improved. In this talk, I will discuss these hypotheses and their implications for complexity. We’ll see how they can be used to get results about which problems in NP might require exponential time, give evidence that some NP-complete problems are strictly harder than others, and characterize the hard instances of NP-complete problems. We’ll touch on recent work by Williams giving relationships between improved algorithms and circuit lower bounds. We’ll show how to translate results from the exponential realm to reason that certain polynomial time algorithms are unlikely to be improveable. This is a survey of many results, only a fraction of which I am involved with, so I won’t give a complete list of references. However, my work on this subject is joint with Ramamohan Paturi and our students, Francis Zane, Chris Calabro and William Matthews.