Title
On Problems as Hard as CNF-SAT
Abstract
The field of exact exponential time algorithms for NP-hard problems has thrived over the last decade. While exhaustive search remains asymptotically the fastest known algorithm for some basic problems, difficult and non-trivial exponential time algorithms have been found for a myriad of problems, including Graph Coloring, Hamiltonian Path, Dominating Set and 3-CNF-Sat. In some instances, improving these algorithms further seems to be out of reach. The CNF-Sat problem is the canonical example of a problem for which the trivial exhaustive search algorithm runs in time O(2^n), where n is the number of variables in the input formula. While there exist non-trivial algorithms for CNF-Sat that run in time o(2^n), no algorithm was able to improve the growth rate 2 to a smaller constant, and hence it is natural to conjecture that 2 is the optimal growth rate. The strong exponential time hypothesis (SETH) by Impagliazzo and Paturi [JCSS 2001] goes a little bit further and asserts that, for every epsilon
Year
DOI
Venue
2012
10.1145/2925416
ACM Trans. Algorithms
Keywords
Field
DocType
fastest known algorithm,non-trivial exponential time algorithm,basic problem,trivial exhaustive search algorithm,non-trivial algorithm,exact exponential time algorithm,cnf-sat problem,time o,strong exponential time hypothesis,np-hard problem,computational complexity,force,subset sum,set cover,algorithm design and analysis,hamiltonian path,set theory,np hard problems,graph theory,graph coloring,steiner trees,dominating set
Discrete mathematics,Approximation algorithm,Dominating set,Combinatorics,Hamiltonian path,Vertex cover,Time complexity,Mathematics,Exponential time hypothesis,Graph coloring,Computational complexity theory
Conference
Volume
Issue
ISSN
12
3
1549-6325
Citations 
PageRank 
References 
29
1.00
25
Authors
9
Name
Order
Citations
PageRank
Marek Cygan155640.52
Holger Dell222016.74
Daniel Lokshtanov31438110.05
Dániel Marx41952113.07
Jesper Nederlof529424.22
Yoshio Okamoto6796.59
Ramamohan Paturi7126092.20
Saket Saurabh82023179.50
Magnus Wahlström940133.04