Results 1  10
of
14
Beyond NPCompleteness for Problems of Bounded Width: Hardness for the W Hierarchy (Extended Abstract)
 In Proceedings of the 26th Annual ACM Symposium on the Theory of Computing
, 1994
"... The parameterized computational complexity of a collection of wellknown problems including: Bandwidth, Precedence constrained kprocessor scheduling, Longest Common Subsequence, DNA physical mapping (or Intervalizing colored graphs), Perfect phylogeny (or Triangulating colored graphs), Colored cutw ..."
Abstract

Cited by 57 (21 self)
 Add to MetaCart
The parameterized computational complexity of a collection of wellknown problems including: Bandwidth, Precedence constrained kprocessor scheduling, Longest Common Subsequence, DNA physical mapping (or Intervalizing colored graphs), Perfect phylogeny (or Triangulating colored graphs), Colored cutwidth, and Feasible register assignment is explored. It is shown that these problems are hard for various levels of the W hierarchy. In the case of Precedence constrained kprocessor scheduling the results can be interpreted as providing substantial new complexity lower bounds on the outcome of [OPEN 8] of the Garey and Johnson list. We also obtain the conjectured "third strike" against Perfect phylogeny.
Efficient and Constructive Algorithms for the Pathwidth and Treewidth of Graphs
, 1993
"... In this paper we give, for all constants k, l, explicit algorithms, that given a graph G = (V; E) with a treedecomposition of G with treewidth at most l, decide whether the treewidth (or pathwidth) of G is at most k, and if so, find a treedecomposition or (pathdecomposition) of G of width at most ..."
Abstract

Cited by 49 (11 self)
 Add to MetaCart
In this paper we give, for all constants k, l, explicit algorithms, that given a graph G = (V; E) with a treedecomposition of G with treewidth at most l, decide whether the treewidth (or pathwidth) of G is at most k, and if so, find a treedecomposition or (pathdecomposition) of G of width at most k, and that use O(V) time. In contrast with previous solutions, our algorithms do not rely on nonconstructive reasoning, and are single exponential in k and l. This result can be combined with a result of Reed [37], yielding explicit O(n log n) algorithms for the problem, given a graph G, to determine whether the treewidth (or pathwidth) of G is at most k, and if so, to find a tree (or path)decomposition of width at most k (k constant). Also, Bodlaender [13] has used the result of this paper to obtain linear time algorithms for these problems. We also show that for all constants k, there exists a polynomial time algorithm, that, when given a graph G = (V; E) with treewidth k, computes the pathwidth of G and a minimum path decomposition of G.
Algorithms For Vertex Partitioning Problems On Partial kTrees
, 1997
"... In this paper, we consider a large class of vertex partitioning problems and apply to those the theory of algorithm design for problems restricted to partial ktrees. We carefully describe the details of algorithms and analyze their complexity in an attempt to make the algorithms feasible as solutio ..."
Abstract

Cited by 40 (3 self)
 Add to MetaCart
In this paper, we consider a large class of vertex partitioning problems and apply to those the theory of algorithm design for problems restricted to partial ktrees. We carefully describe the details of algorithms and analyze their complexity in an attempt to make the algorithms feasible as solutions for practical applications.
The Hardness of Perfect Phylogeny, Feasible Register Assignment and Other Problems on Thin Colored Graphs
"... In this paper, we consider the complexity of a number of combinatorial problems; namely, Intervalizing Colored Graphs (DNA physical mapping), Triangulating Colored Graphs (perfect phylogeny), (Directed) (Modified) Colored Cutwidth, Feasible Register Assignment and Module Allocation for graphs of bou ..."
Abstract

Cited by 17 (4 self)
 Add to MetaCart
In this paper, we consider the complexity of a number of combinatorial problems; namely, Intervalizing Colored Graphs (DNA physical mapping), Triangulating Colored Graphs (perfect phylogeny), (Directed) (Modified) Colored Cutwidth, Feasible Register Assignment and Module Allocation for graphs of bounded pathwidth. Each of these problems has as a characteristic a uniform upper bound on the tree or path width of the graphs in "yes"instances. For all of these problems with the exceptions of Feasible Register Assignment and Module Allocation, a vertex or edge coloring is given as part of the input. Our main results are that the parameterized variant of each of the considered problems is hard for the complexity classes W [t] for all t 2 N. We also show that Intervalizing Colored Graphs, Triangulating Colored Graphs, and Colored Cutwidth are NPComplete. 1 Introduction This paper focuses on a number of graph decision problems which share the characteristic that all have a uniform upper bo...
On the complexity of the Maximum Cut problem
 Nordic Journal of Computing
, 1991
"... The complexity of the simple maxcut problem is investigated for several special classes of graphs. It is shown that this problem is NPcomplete when restricted to one of the following classes: chordal graphs, undirected path graphs, split graphs, tripartite graphs, and graphs that are the complement ..."
Abstract

Cited by 14 (4 self)
 Add to MetaCart
The complexity of the simple maxcut problem is investigated for several special classes of graphs. It is shown that this problem is NPcomplete when restricted to one of the following classes: chordal graphs, undirected path graphs, split graphs, tripartite graphs, and graphs that are the complement of a bipartite graph. The problem can be solved in polynomial time, when restricted to graphs with bounded treewidth, or cographs. We also give large classes of graphs that can be seen as generalizations of classes of graphs with bounded treewidth and of the class of the cographs, and allow polynomial time algorithms for the simple max cut problem. 1 Introduction One of the best known combinatorial graph problems is the max cut problem. In this problem, we have a weighted, undirected graph G = (V; E) and we look for a partition of the vertices of G into two disjoint sets, such that the total weight of the edges that go from one set to the other is as large as possible. In the simple max cu...
Make it Practical: A Generic LinearTime Algorithm for Solving MaximumWeightsum Problems
 In Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP'00
, 2000
"... In this paper we propose a new method for deriving a practical lineartime algorithm from the specification of a maximumweight sum problem: From the elements of a data structure x, find a subset which satisfies a certain property p and whose weightsum is maximum. Previously proposed methods for aut ..."
Abstract

Cited by 12 (8 self)
 Add to MetaCart
In this paper we propose a new method for deriving a practical lineartime algorithm from the specification of a maximumweight sum problem: From the elements of a data structure x, find a subset which satisfies a certain property p and whose weightsum is maximum. Previously proposed methods for automatically generating lineartime algorithms are theoretically appealing, but the algorithms generated are hardly useful in practice due to a huge constant factor for space and time. The key points of our approach are to express the property p by a recursive boolean function over the structure x rather than a usual logical predicate and to apply program transformation techniques to reduce the constant factor. We present an optimization theorem, give a calculational strategy for applying the theorem, and demonstrate the effectiveness of our approach through several nontrivial examples which would be difficult to deal with when using the methods previously available.
Parameterized Parallel Complexity
 In Proceedings of the 4th International EuroPar Conference
, 1997
"... We consider the framework of Parameterized Complexity and we investigate the issue of which problems do admit efficient fixed parameter parallel algorithms. In particular, we introduce two classes of efficiently parallelizable parameterized problems, PNC and FPP, according to the degree of efficienc ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
We consider the framework of Parameterized Complexity and we investigate the issue of which problems do admit efficient fixed parameter parallel algorithms. In particular, we introduce two classes of efficiently parallelizable parameterized problems, PNC and FPP, according to the degree of efficiency we want to obtain. We sketch both some FPPalgorithms solving natural parameterized problems and a useful tool for proving membership to FPP based on the concept of treewidth. We then focus our attention on parameterized parallel intractability and prove that a necessary condition for a parameterized problem to be complete for the class of sequentially fixed parameter tractable problems (with respect to reductions preserving membership to PNC) is that it is not in NC for some fixed value of the parameter (unless P = NC). Finally, we give two alternative characterizations of both PNC and FPP and we use them to prove the PNCcompleteness of two natural parameterized problems.
Partitioning Problems: Characterization, Complexity and Algorithms on Partial kTrees
, 1994
"... This thesis investigates the computational complexity of algorithmic problems defined on graphs. At the abstract level of the complexity spectrum we discriminate polynomialtime solvable problems from N Pcomplete problems, while at the concrete level we improve on polynomialtime algorithms for gen ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
This thesis investigates the computational complexity of algorithmic problems defined on graphs. At the abstract level of the complexity spectrum we discriminate polynomialtime solvable problems from N Pcomplete problems, while at the concrete level we improve on polynomialtime algorithms for generally hard problems restricted to treedecomposable graphs. One contribution of this thesis is a precise characterization of vertex partitioning problems which include variants of domination, coloring and packing. An elaboration of this characterization is given for problems defined over vertex subsets and over maximal/minimal vertex subsets. We introduce several new graph parameters as vertex partition generalizations of classical parameters. The given characterizations provide a basis for a taxonomy of vertex partitioning problems, facilitating their common algorithmic treatment and allowing for their uniform complexity classification. We explore the computational complexity of two important types of problems
Canonical Representations of Partial 2 and 3Trees
 In: Proc. of the 2nd Scandinavian Workshop on Algorithm Theory, SpringerVerlag, Lecture Notes in Computer Science 477
, 1998
"... We give linear time algorithms constructing canonical representations of partial 2trees (seriesparallel graphs) and partial 3trees. 1 Introduction A canonical representation of a family of graphs assigns to each member of the family a label that is independent of any arbitrary vertex numbering: ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We give linear time algorithms constructing canonical representations of partial 2trees (seriesparallel graphs) and partial 3trees. 1 Introduction A canonical representation of a family of graphs assigns to each member of the family a label that is independent of any arbitrary vertex numbering: two graphs have the same canonical representation if and only if they are isomorphic. Thus, the graph isomorphism problem can be solved using canonical representations and solved efficiently if such representations can be efficiently computed and compared. Other uses of canonical representations are to investigate the structure of the automorphism group of a graph and to generate random graphs with some distribution over isomorphism classes. Most graph representations are not canonical since vertices are arbitrarily numbered. But if we consider all possible vertex permutations, compute the corresponding representations, and select the lexicographically smallest, then we get a canonical repre...
Embeddings of cubic halin graphs: a surfacebysurface inventory
 Ars Mathematica Contemporanea
"... We derive an O(n2)time algorithm for calculating the sequence of numbers g0(G), g1(G), g2(G),... of distinct ways to embed a 3regular Halin graph G on the respective orientable surfaces S0, S1, S2,.... Key topological features are a quadrangular decomposition of plane Halin graphs and a new recomb ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
We derive an O(n2)time algorithm for calculating the sequence of numbers g0(G), g1(G), g2(G),... of distinct ways to embed a 3regular Halin graph G on the respective orientable surfaces S0, S1, S2,.... Key topological features are a quadrangular decomposition of plane Halin graphs and a new recombinantstrands reassembly process that fits pieces together threeatavertex. Key algorithmic features are reassembly along a postorder traversal, with justintime dynamic assignment of roots for quadrangular pieces encountered along the tour. 1.