Results 1  10
of
61
The NPcompleteness column: an ongoing guide
 Journal of Algorithms
, 1985
"... This is the nineteenth edition of a (usually) quarterly column that covers new developments in the theory of NPcompleteness. The presentation is modeled on that used by M. R. Garey and myself in our book ‘‘Computers and Intractability: A Guide to the Theory of NPCompleteness,’ ’ W. H. Freeman & ..."
Abstract

Cited by 190 (0 self)
 Add to MetaCart
This is the nineteenth edition of a (usually) quarterly column that covers new developments in the theory of NPcompleteness. The presentation is modeled on that used by M. R. Garey and myself in our book ‘‘Computers and Intractability: A Guide to the Theory of NPCompleteness,’ ’ W. H. Freeman & Co., New York, 1979 (hereinafter referred to as ‘‘[G&J]’’; previous columns will be referred to by their dates). A background equivalent to that provided by [G&J] is assumed, and, when appropriate, crossreferences will be given to that book and the list of problems (NPcomplete and harder) presented there. Readers who have results they would like mentioned (NPhardness, PSPACEhardness, polynomialtimesolvability, etc.) or open problems they would like publicized, should
Exact algorithms for NPhard problems: A survey
 Combinatorial Optimization  Eureka, You Shrink!, LNCS
"... Abstract. We discuss fast exponential time solutions for NPcomplete problems. We survey known results and approaches, we provide pointers to the literature, and we discuss several open problems in this area. The list of discussed NPcomplete problems includes the travelling salesman problem, schedu ..."
Abstract

Cited by 115 (3 self)
 Add to MetaCart
Abstract. We discuss fast exponential time solutions for NPcomplete problems. We survey known results and approaches, we provide pointers to the literature, and we discuss several open problems in this area. The list of discussed NPcomplete problems includes the travelling salesman problem, scheduling under precedence constraints, satisfiability, knapsack, graph coloring, independent sets in graphs, bandwidth of a graph, and many more. 1
Measure and conquer: domination  a case study
 PROCEEDINGS OF THE 32ND INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND PROGRAMMING (ICALP 2005), SPRINGER LNCS
, 2005
"... DavisPutnamstyle exponentialtime backtracking algorithms are the most common algorithms used for finding exact solutions of NPhard problems. The analysis of such recursive algorithms is based on the bounded search tree technique: a measure of the size of the subproblems is defined; this measure ..."
Abstract

Cited by 48 (20 self)
 Add to MetaCart
DavisPutnamstyle exponentialtime backtracking algorithms are the most common algorithms used for finding exact solutions of NPhard problems. The analysis of such recursive algorithms is based on the bounded search tree technique: a measure of the size of the subproblems is defined; this measure is used to lower bound the progress made by the algorithm at each branching step. For the last 30 years the research on exact algorithms has been mainly focused on the design of more and more sophisticated algorithms. However, measures used in the analysis of backtracking algorithms are usually very simple. In this paper we stress that a more careful choice of the measure can lead to significantly better worst case time analysis. As an example, we consider the minimum dominating set problem. The currently fastest algorithm for this problem has running time O(2 0.850n) on nnodes graphs. By measuring the progress of the (same) algorithm in a different way, we refine the time bound to O(2 0.598n). A good choice of the measure can provide such a (surprisingly big) improvement; this suggests that the running time of many other exponentialtime recursive algorithms is largely overestimated because of a “bad” choice of the measure.
Improved Algorithms for 3Coloring, 3EdgeColoring, and Constraint Satisfaction
, 2001
"... We consider worst case time bounds for NPcomplete problems including 3SAT, 3coloring, 3edgecoloring, and 3list coloring. Our algorithms are based on a constraint satisfaction (CSP) formulation of these problems; 3SAT is equivalent to (2, 3)CSP while the other problems above are special cases ..."
Abstract

Cited by 44 (3 self)
 Add to MetaCart
We consider worst case time bounds for NPcomplete problems including 3SAT, 3coloring, 3edgecoloring, and 3list coloring. Our algorithms are based on a constraint satisfaction (CSP) formulation of these problems; 3SAT is equivalent to (2, 3)CSP while the other problems above are special cases of (3, 2)CSP. We give a fast algorithm for (3, 2) CSP and use it to improve the time bounds for solving the other problems listed above. Our techniques involve a mixture of DavisPutnamstyle backtracking with more sophisticated matching and network flow based ideas.
Small Maximal Independent Sets and Faster Exact Graph Coloring
, 2003
"... We show that, for any nvertex graph G and integer parameter k,there I#k,and that all such sets can be listed in time ). These bounds are tight when n/4 n/3. As a consequence, we show how to compute the exact chromatic number of a graph in time O((4/3+3 /4) 2.4150 ..."
Abstract

Cited by 40 (2 self)
 Add to MetaCart
We show that, for any nvertex graph G and integer parameter k,there I#k,and that all such sets can be listed in time ). These bounds are tight when n/4 n/3. As a consequence, we show how to compute the exact chromatic number of a graph in time O((4/3+3 /4) 2.4150 , improving a previous algorithm of Lawler (1976).
On the Complexity of kSAT
, 2001
"... The kSAT problem is to determine if a given kCNF has a satisfying assignment. It is a celebrated open question as to whether it requires exponential time to solve kSAT for k 3. Here exponential time means 2 $n for some $>0. In this paper, assuming that, for k 3, kSAT requires exponential time ..."
Abstract

Cited by 38 (2 self)
 Add to MetaCart
The kSAT problem is to determine if a given kCNF has a satisfying assignment. It is a celebrated open question as to whether it requires exponential time to solve kSAT for k 3. Here exponential time means 2 $n for some $>0. In this paper, assuming that, for k 3, kSAT requires exponential time complexity, we show that the complexity of kSAT increases as k increases. More precisely, for k 3, define s k=inf[$: there exists 2 $n algorithm for solving kSAT]. Define ETH (ExponentialTime Hypothesis) for kSAT as follows: for k 3, s k>0. In this paper, we show that s k is increasing infinitely often assuming ETH for kSAT. Let s be the limit of s k. We will in fact show that s k (1&d k) s for some constant d>0. We prove this result by bringing together the ideas of critical clauses and the Sparsification Lemma to reduce the satisfiability of a kCNF to the satisfiability of a disjunction of 2 =n k$CNFs in fewer variables for some k $ k and arbitrarily small =>0. We also show that such a disjunction can be computed in time 2 =n for arbitrarily small =>0.
A measure & conquer approach for the analysis of exact algorithms
, 2007
"... For more than 40 years Branch & Reduce exponentialtime backtracking algorithms have been among the most common tools used for finding exact solutions of NPhard problems. Despite that, the way to analyze such recursive algorithms is still far from producing tight worstcase running time bounds. ..."
Abstract

Cited by 29 (8 self)
 Add to MetaCart
For more than 40 years Branch & Reduce exponentialtime backtracking algorithms have been among the most common tools used for finding exact solutions of NPhard problems. Despite that, the way to analyze such recursive algorithms is still far from producing tight worstcase running time bounds. Motivated by this we use an approach, that we call “Measure & Conquer”, as an attempt to step beyond such limitations. The approach is based on the careful design of a nonstandard measure of the subproblem size; this measure is then used to lower bound the progress made by the algorithm at each branching step. The idea is that a smarter measure may capture behaviors of the algorithm that a standard measure might not be able to exploit, and hence lead to a significantly better worstcase time analysis. In order to show the potentialities of Measure & Conquer, we consider two wellstudied NPhard problems: minimum dominating set and maximum independent set. For the first problem, we consider the current best algorithm, and prove (thanks to a better measure) a much tighter running time bound for it. For the second problem, we describe a new, simple algorithm, and show that its running time is competitive with the current best time bounds, achieved with far more complicated algorithms (and standard analysis). Our examples
Space and time complexity of exact algorithms: Some open problems
, 2004
"... We discuss open questions around worst case time and space bounds for NPhard problems. We are interested in exponential time solutions for these problems with a relatively good worst case behavior. ..."
Abstract

Cited by 24 (0 self)
 Add to MetaCart
We discuss open questions around worst case time and space bounds for NPhard problems. We are interested in exponential time solutions for these problems with a relatively good worst case behavior.
Exact algorithms for treewidth and minimum fillin
 In Proceedings of the 31st International Colloquium on Automata, Languages and Programming (ICALP 2004). Lecture Notes in Comput. Sci
, 2004
"... We show that the treewidth and the minimum fillin of an nvertex graph can be computed in time O(1.8899 n). Our results are based on combinatorial proofs that an nvertex graph has O(1.7087 n) minimal separators and O(1.8135 n) potential maximal cliques. We also show that for the class of ATfree g ..."
Abstract

Cited by 24 (14 self)
 Add to MetaCart
We show that the treewidth and the minimum fillin of an nvertex graph can be computed in time O(1.8899 n). Our results are based on combinatorial proofs that an nvertex graph has O(1.7087 n) minimal separators and O(1.8135 n) potential maximal cliques. We also show that for the class of ATfree graphs the running time of our algorithms can be reduced to O(1.4142 n).
The Traveling Salesman Problem for Cubic Graphs
, 2004
"... We show how to find a Hamiltonian cycle in a graph of degree at most three with n vertices, in time O(2 n/3) ≈ 1.260 n and linear space. Our algorithm can find the minimum weight Hamiltonian cycle (traveling salesman problem), in the same time bound. We can also count or list all Hamiltonian cycl ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
We show how to find a Hamiltonian cycle in a graph of degree at most three with n vertices, in time O(2 n/3) ≈ 1.260 n and linear space. Our algorithm can find the minimum weight Hamiltonian cycle (traveling salesman problem), in the same time bound. We can also count or list all Hamiltonian cycles in a degree three graph in time O(2 3n/8) ≈ 1.297 n. We also solve the traveling salesman problem in graphs of degree at most four, by randomized and deterministic algorithms with runtime O((27/4) n/3) ≈ 1.890 n and O((27/4+ǫ) n/3) respectively. Our algorithms allow the input to specify a set of forced edges which must be part of any generated cycle. Our cycle listing algorithm shows that every degree three graph has O(2 3n/8) Hamiltonian cycles; we also exhibit a family of graphs with 2 n/3 Hamiltonian cycles per graph.