Subscribe

Atlanta, Georgia

May 4, 1999 to May 6, 1999

ISBN: 0-7695-0075-7

pp: 237

Russell Impagliazzo , University of California at San Diego

Ramamohan Paturi , University of California at San Diego

ABSTRACT

The problem of k-SAT is to determine if the given k-CNF has a satisfying solution. It is a celebrated open question as to whether it requires exponential time to solve k-SAT for k \geq 3.Define s_k (for k\geq 3) to be the infimum of \{\delta: \mbox{there exists an O(2^{\delta n})} \mbox{ algorithm for solving k-SAT} \}. Define {\bf ETH} (Exponential-Time Hypothesis) for k-SAT as follows: for k\geq 3, s_k >0. In other words, for k \geq 3, k-SAT does not have a subexponential-time algorithm.In this paper, we show that s_k is an increasing sequence assuming \eth\ for k-SAT. Let s_\infty be the limit of s_k. We will in fact show that s_k \leq (1-d/(ek))s_\infty for some constant d >0.

INDEX TERMS

Satisfiability, NP-completeness, Reductions, Complexity Theory

CITATION

Russell Impagliazzo,
Ramamohan Paturi,
"The Complexity of k-SAT",

*CCC*, 1999, 2012 IEEE 27th Conference on Computational Complexity, 2012 IEEE 27th Conference on Computational Complexity 1999, pp. 237, doi:10.1109/CCC.1999.766282