Results 1  10
of
15
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 & Co ..."
Abstract

Cited by 188 (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
Four Strikes against Physical Mapping of DNA
 JOURNAL OF COMPUTATIONAL BIOLOGY
, 1993
"... Physical Mapping is a central problem in molecular biology ... and the human genome project. The problem is to reconstruct the relative position of fragments of DNA along the genome from information on their pairwise overlaps. We show that four simplified models of the problem lead to NPcomplete ..."
Abstract

Cited by 55 (8 self)
 Add to MetaCart
Physical Mapping is a central problem in molecular biology ... and the human genome project. The problem is to reconstruct the relative position of fragments of DNA along the genome from information on their pairwise overlaps. We show that four simplified models of the problem lead to NPcomplete decision problems: Colored unit interval graph completion, the maximum interval (or unit interval) subgraph, the pathwidth of a bipartite graph, and the kconsecutive ones problem for k >= 2. These models have been chosen to reflect various features typical in biological data, including false negative and positive errors, small width of the map and chimericism.
Complexity classification of some edge modification problems
, 2001
"... In an edge modification problem one has to change the edge set of a given graph as little as possible so as to satisfy a certain property. We prove the NPhardness of a variety of edge modification problems with respect to some wellstudied classes of graphs. These include perfect, chordal, chain, c ..."
Abstract

Cited by 41 (2 self)
 Add to MetaCart
In an edge modification problem one has to change the edge set of a given graph as little as possible so as to satisfy a certain property. We prove the NPhardness of a variety of edge modification problems with respect to some wellstudied classes of graphs. These include perfect, chordal, chain, comparability, split and asteroidal triple free. We show that some of these problems become polynomial when the input graph has bounded degree. We also give a general constant factor approximation algorithm for deletion and editing problems on bounded degree graphs with respect to properties that can be characterized by a finite set of forbidden induced subgraphs.
Tractability of Parameterized Completion Problems on Chordal, Strongly Chordal and Proper Interval Graphs
, 1994
"... We study the parameterized complexity of three NPhard graph completion problems. The MINIMUM FILLIN problem is to decide if a graph can be triangulated by adding at most k edges. We develop O(c m) and O(k mn + f(k)) algorithms for this problem on a graph with n vertices and m edges. Here f(k ..."
Abstract

Cited by 40 (5 self)
 Add to MetaCart
We study the parameterized complexity of three NPhard graph completion problems. The MINIMUM FILLIN problem is to decide if a graph can be triangulated by adding at most k edges. We develop O(c m) and O(k mn + f(k)) algorithms for this problem on a graph with n vertices and m edges. Here f(k) is exponential in k and the constants hidden by the bigO notation are small and do not depend on k. In particular, this implies that the problem is fixedparameter tractable (FPT). The PROPER
Pathwidth, Bandwidth and Completion Problems to Proper Interval Graphs with Small Cliques
 SIAM Journal on Computing
, 1996
"... We study two related problems motivated by molecular biology: ffl Given a graph G and a constant k, does there exist a supergraph G of G which is a unit interval graph and has clique size at most k? ffl Given a graph G and a proper kcoloring c of G, does there exist a supergraph We show th ..."
Abstract

Cited by 29 (6 self)
 Add to MetaCart
We study two related problems motivated by molecular biology: ffl Given a graph G and a constant k, does there exist a supergraph G of G which is a unit interval graph and has clique size at most k? ffl Given a graph G and a proper kcoloring c of G, does there exist a supergraph We show that those problems are polynomial for fixed k. On the other hand we prove that the first problem is equivalent to deciding if the bandwidth of G is at most k \Gamma 1. Hence, it is NPhard, and W [t]hard for all t. We also show that the second problem is W [1]hard. This implies that for fixed k, both of the problems are unlikely to have an O(n ) algorithm, where ff is a constant independent of k.
Interval completion with few edges
 In STOC’07—Proceedings of the 39th Annual ACM Symposium on Theory of Computing
, 2007
"... We present an algorithm with runtime O(k 2k n 3 m) for the following NPcomplete problem [8, problem GT35]: Given an arbitrary graph G on n vertices and m edges, can we obtain an interval graph by adding at most k new edges to G? This resolves the longstanding open question [17, 6, 24, 13], first p ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
We present an algorithm with runtime O(k 2k n 3 m) for the following NPcomplete problem [8, problem GT35]: Given an arbitrary graph G on n vertices and m edges, can we obtain an interval graph by adding at most k new edges to G? This resolves the longstanding open question [17, 6, 24, 13], first posed by Kaplan, Shamir and Tarjan, of whether this problem could be solved in time f(k) · n O(1). The problem has applications in Physical Mapping of DNA [11] and in Profile Minimization for Sparse Matrix Computations [9, 25]. For the first application, our results show tractability for the case of a small number k of false negative errors, and for the second, a small number k of zero elements in the envelope. Our algorithm performs bounded search among possible ways of adding edges to a graph to obtain an interval graph, and combines this with a greedy algorithm when graphs of a certain structure are reached by the search. The presented result is surprising, as it was not believed that a bounded search tree algorithm would suffice to answer the open question affirmatively.
GM_Plan: a gate matrix layout algorithm based on artificial intelligence planning techniques
 IEEE Trans. ComputerAided Design
, 1990
"... In this paper, the gate matrix layout is formulated as a planning problem where a "plan " (the solution steps) is generated to achieve a "goal" (the gate matrix layout) that consists of subgoals interacting each other. Each subgoal corresponds to the placement of a gate to a slot ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
In this paper, the gate matrix layout is formulated as a planning problem where a "plan " (the solution steps) is generated to achieve a "goal" (the gate matrix layout) that consists of subgoals interacting each other. Each subgoal corresponds to the placement of a gate to a slot. or to the routing of a net connecting gates. The interaction among subgoals is managed with two AI planning techniques: the hierarchical planning and the mctaplanning. A new distance measure is defined to arrange he. subgoals into pnoritized classes in the hierarchical planning. Two metaplanning policicsgracefd r em and least impactam used to decide which sub@ IS to be achieved within the same priority class and how it can be achieved. In doing so. GMPlan successfully combines the gate placement and net routing of the gate matrix layout into one process and has the potential to dcliver better results.
Interval Completion is Fixed Parameter Tractable
 IN PROCEEDINGS OF THE 39TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING, STOC 2007
, 2006
"... We give an algorithm with runtime O(k 2k n 3 m) for the NPcomplete problem [GT35 in 6] of deciding whether a graph on n vertices and m edges can be turned into an interval graph by adding at most k edges. We thus prove that this problem is fixed parameter tractable (FPT), settling a longstanding o ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
We give an algorithm with runtime O(k 2k n 3 m) for the NPcomplete problem [GT35 in 6] of deciding whether a graph on n vertices and m edges can be turned into an interval graph by adding at most k edges. We thus prove that this problem is fixed parameter tractable (FPT), settling a longstanding open problem [13, 5, 19, 11]. The problem has applications in Physical Mapping of DNA [9] and in Profile Minimization for Sparse Matrix Computations [7, 20]. For the first application, our results show tractability for the case of a small number k of false negative errors, and for the second, a small number k of zero elements in the envelope.
Achieving Optimality for Gate Matrix Layout and PLA Folding: a Graph Theoretic Approach
 of Lecture
, 1992
"... This paper was written during a visit of the second author to LIPIMAG/ENS Lyon. 2 Afonso G. Ferreira and Siang W. Song ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
This paper was written during a visit of the second author to LIPIMAG/ENS Lyon. 2 Afonso G. Ferreira and Siang W. Song