Results 1  10
of
280
The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory
 SIAM J. Comput
, 1998
"... ..."
(Show Context)
Linear time solvable optimization problems on graphs of bounded cliquewidth
, 2000
"... Hierarchical decompositions of graphs are interesting for algorithmic purposes. There are several types of hierarchical decompositions. Tree decompositions are the best known ones. On graphs of treewidth at most k, i.e., that have tree decompositions of width at most k, where k is fixed, every dec ..."
Abstract

Cited by 167 (23 self)
 Add to MetaCart
(Show Context)
Hierarchical decompositions of graphs are interesting for algorithmic purposes. There are several types of hierarchical decompositions. Tree decompositions are the best known ones. On graphs of treewidth at most k, i.e., that have tree decompositions of width at most k, where k is fixed, every decision or optimization problem expressible in monadic secondorder logic has a linear algorithm. We prove that this is also the case for graphs of cliquewidth at most k, where this complexity measure is associated with hierarchical decompositions of another type, and where logical formulas are no longer allowed to use edge set quantifications. We develop applications to several classes of graphs that include cographs and are, like cographs, defined by forbidding subgraphs with “too many” induced paths with four vertices.
Treewidth: Algorithmic techniques and results
 In Mathematical foundations of computer science
, 1998
"... This paper gives an overview of several results and techniques for graphs algorithms that compute the treewidth of a graph or that solve otherwise intractable problems when restricted graphs with bounded treewidth more efficiently. Also, several results on graph minors are reviewed. ..."
Abstract

Cited by 150 (10 self)
 Add to MetaCart
(Show Context)
This paper gives an overview of several results and techniques for graphs algorithms that compute the treewidth of a graph or that solve otherwise intractable problems when restricted graphs with bounded treewidth more efficiently. Also, several results on graph minors are reviewed.
Two Strikes Against Perfect Phylogeny
 PROC. OF 19TH INTERNATIONAL COLLOQUIUM ON AUTOMATA LANGUAGES AND PROGRAMMING
, 1992
"... One of the major efforts in molecular biology is the computation of phylo genies for species sets. A longstanding open problem in this area is called the Perfect Phylogeny problem. For almost two decades the complexity of this problem remained open, with progress limited to polynomial time algor ..."
Abstract

Cited by 122 (28 self)
 Add to MetaCart
One of the major efforts in molecular biology is the computation of phylo genies for species sets. A longstanding open problem in this area is called the Perfect Phylogeny problem. For almost two decades the complexity of this problem remained open, with progress limited to polynomial time algorithms for a few special cases, and many relaxations of the problem shown to be NPComplete. From an applications point of view, the problem is of interest both in its general forin, where the number of characters may vary, and in its fixedparameter form. The Perfect Phylogeny problem has been shown to be equivalent to the problem of triangulating colored graphs[30]. It has also been shown recently that for a given fixed number of characters the yesinstances have bounded treewidth[45], opening the possibility of applying methodologies for bounded treewidth to the fixedparameter form of the problem. We show that the Perfect Phylogeny problem is difficult in two different ways. We show
NCApproximation Schemes for NP and PSPACEHard Problems for Geometric Graphs
, 1997
"... We present NC approximation schemes for a number of graph problems when restricted to geometric graphs including unit disk graphs and graphs drawn in a civilized manner. Our approximation schemes exhibit the same time versus performance tradeoff as the best known approximation schemes for planar gr ..."
Abstract

Cited by 116 (1 self)
 Add to MetaCart
We present NC approximation schemes for a number of graph problems when restricted to geometric graphs including unit disk graphs and graphs drawn in a civilized manner. Our approximation schemes exhibit the same time versus performance tradeoff as the best known approximation schemes for planar graphs. We also define the concept of precision unit disk graphs and show that for such graphs the approximation schemes have a better time versus performance tradeoff than the approximation schemes for arbitrary unit disk graphs. Moreover, compared to unit disk graphs, we show that for precision unit disk graphs, many more graph problems have efficient approximation schemes. Our NC approximation schemes can also be extended to obtain efficient NC approximation schemes for several PSPACEhard problems on unit disk graphs specified using a restricted version of the hierarchical specification language of Bentley, Ottmann and Widmayer. The approximation schemes for hierarchically specified un...
Query Evaluation via TreeDecompositions
 JOURNAL OF THE ACM
, 2001
"... A number of efficient methods for evaluating firstorder and monadicsecond order queries on finite relational structures are based on treedecompositions of structures or queries. We systematically study these methods. In the first part of the paper we consider arbitrary formulas on treelike struc ..."
Abstract

Cited by 102 (16 self)
 Add to MetaCart
A number of efficient methods for evaluating firstorder and monadicsecond order queries on finite relational structures are based on treedecompositions of structures or queries. We systematically study these methods. In the first part of the paper we consider arbitrary formulas on treelike structures. We generalize a theorem of Courcelle [8] by showing that on structures of bounded treewidth a monadic secondorder formula (with free first and secondorder variables) can be evaluated in time linear in the structure size plus the size of the output. In the second part we study treelike formulas on arbitrary structures. We generalize the notions of acyclicity and bounded treewidth from conjunctive queries to arbitrary firstorder formulas in a straightforward way and analyze the complexity of evaluating formulas of these fragments. Moreover, we show that the acyclic and bounded treewidth fragments have the same expressive power as the wellknown guarded fragment and the finitevariable fragments of firstorder logic, respectively.
Deciding FirstOrder Properties of Locally TreeDecomposable Graphs
 In Proc. 26th ICALP
, 1999
"... . We introduce the concept of a class of graphs being locally treedecomposable. There are numerous examples of locally treedecomposable classes, among them the class of planar graphs and all classes of bounded valence or of bounded treewidth. We show that for each locally treedecomposable cl ..."
Abstract

Cited by 96 (14 self)
 Add to MetaCart
. We introduce the concept of a class of graphs being locally treedecomposable. There are numerous examples of locally treedecomposable classes, among them the class of planar graphs and all classes of bounded valence or of bounded treewidth. We show that for each locally treedecomposable class C of graphs and for each property ' of graphs that is denable in rstorder logic, there is a linear time algorithm deciding whether a given graph G 2 C has property '. 1 Introduction It is an important task in the theory of algorithms to nd feasible instances of otherwise intractable algorithmic problems. A notion that has turned out to be extremely useful in this context is that of treewidth of a graph. 3Colorability, Hamiltonicity, and many other NPcomplete properties of graphs can be decided in linear time when restricted to graphs whose treewidth is bounded by a xed constant (see [Bod97] for a survey). Courcelle [Cou90] proved a metatheorem, which easily implies numer...
Monadic second–order evaluations on treedecomposable graphs
 Theoret. Comput. Sci
, 1993
"... Courcelle, B. and M. Mosbah, Monadic secondorder evaluations on treedecomposable graphs, ..."
Abstract

Cited by 89 (25 self)
 Add to MetaCart
Courcelle, B. and M. Mosbah, Monadic secondorder evaluations on treedecomposable graphs,
Bicriteria network design problems
 In Proc. 22nd Int. Colloquium on Automata, Languages and Programming
, 1995
"... We study a general class of bicriteria network design problems. A generic problem in this class is as follows: Given an undirected graph and two minimization objectives (under different cost functions), with a budget specified on the first, find a ¡subgraph from a given subgraphclass that minimizes ..."
Abstract

Cited by 86 (13 self)
 Add to MetaCart
We study a general class of bicriteria network design problems. A generic problem in this class is as follows: Given an undirected graph and two minimization objectives (under different cost functions), with a budget specified on the first, find a ¡subgraph from a given subgraphclass that minimizes the second objective subject to the budget on the first. We consider three different criteria the total edge cost, the diameter and the maximum degree of the network. Here, we present the first polynomialtime approximation algorithms for a large class of bicriteria network design problems for the above mentioned criteria. The following general types of results are presented. First, we develop a framework for bicriteria problems and their approximations. Second, when the two criteria are the same we present a “black box ” parametric search technique. This black box takes in as input an (approximation) algorithm for the unicriterion situation and generates an approximation algorithm for the bicriteria case with only a constant factor loss in the performance guarantee. Third, when the two criteria are the diameter and the total edge costs we use a clusterbased approach to devise a approximation algorithms — the solutions output violate