15 research outputs found
Dynamic programming for graphs on surfaces
We provide a framework for the design and analysis of dynamic
programming algorithms for surface-embedded graphs on n vertices
and branchwidth at most k. Our technique applies to general families
of problems where standard dynamic programming runs in 2O(k·log k).
Our approach combines tools from topological graph theory and
analytic combinatorics.Postprint (updated version
Bidimensionality of Geometric Intersection Graphs
Let B be a finite collection of geometric (not necessarily convex) bodies in
the plane. Clearly, this class of geometric objects naturally generalizes the
class of disks, lines, ellipsoids, and even convex polygons. We consider
geometric intersection graphs GB where each body of the collection B is
represented by a vertex, and two vertices of GB are adjacent if the
intersection of the corresponding bodies is non-empty. For such graph classes
and under natural restrictions on their maximum degree or subgraph exclusion,
we prove that the relation between their treewidth and the maximum size of a
grid minor is linear. These combinatorial results vastly extend the
applicability of all the meta-algorithmic results of the bidimensionality
theory to geometrically defined graph classes
Approximating acyclicity parameters of sparse hypergraphs
The notions of hypertree width and generalized hypertree width were
introduced by Gottlob, Leone, and Scarcello in order to extend the concept of
hypergraph acyclicity. These notions were further generalized by Grohe and
Marx, who introduced the fractional hypertree width of a hypergraph. All these
width parameters on hypergraphs are useful for extending tractability of many
problems in database theory and artificial intelligence. In this paper, we
study the approximability of (generalized, fractional) hyper treewidth of
sparse hypergraphs where the criterion of sparsity reflects the sparsity of
their incidence graphs. Our first step is to prove that the (generalized,
fractional) hypertree width of a hypergraph H is constant-factor sandwiched by
the treewidth of its incidence graph, when the incidence graph belongs to some
apex-minor-free graph class. This determines the combinatorial borderline above
which the notion of (generalized, fractional) hypertree width becomes
essentially more general than treewidth, justifying that way its functionality
as a hypergraph acyclicity measure. While for more general sparse families of
hypergraphs treewidth of incidence graphs and all hypertree width parameters
may differ arbitrarily, there are sparse families where a constant factor
approximation algorithm is possible. In particular, we give a constant factor
approximation polynomial time algorithm for (generalized, fractional) hypertree
width on hypergraphs whose incidence graphs belong to some H-minor-free graph
class
Beyond Bidimensionality: Parameterized Subexponential Algorithms on Directed Graphs
We develop two different methods to achieve subexponential time parameterized
algorithms for problems on sparse directed graphs. We exemplify our approaches
with two well studied problems.
For the first problem, {\sc -Leaf Out-Branching}, which is to find an
oriented spanning tree with at least leaves, we obtain an algorithm solving
the problem in time on directed graphs
whose underlying undirected graph excludes some fixed graph as a minor. For
the special case when the input directed graph is planar, the running time can
be improved to . The second example is a
generalization of the {\sc Directed Hamiltonian Path} problem, namely {\sc
-Internal Out-Branching}, which is to find an oriented spanning tree with at
least internal vertices. We obtain an algorithm solving the problem in time
on directed graphs whose underlying
undirected graph excludes some fixed apex graph as a minor. Finally, we
observe that for any , the {\sc -Directed Path} problem is
solvable in time , where is some
function of \ve.
Our methods are based on non-trivial combinations of obstruction theorems for
undirected graphs, kernelization, problem specific combinatorial structures and
a layering technique similar to the one employed by Baker to obtain PTAS for
planar graphs
Approximating Acyclicity Parameters of Sparse Hypergraphs
The notions of hypertree width and generalized hypertree width were introduced by Gottlob, Leone, and Scarcello (PODS'99, PODS'01) in order to extend the concept of hypergraph acyclicity. These notions were further generalized by Grohe and Marx in SODA'06, who introduced the fractional hypertree width of a hypergraph. All these width parameters on hypergraphs are useful for extending tractability of many problems in database theory and artificial intelligence. Computing each of these width parameters is known to be an NP-hard problem. Moreover, the (generalized) hypertree width of an n-vertex hypergraph cannot be approximated within a logarithmic factor unless P=NP. In this paper, we study the approximability of (generalized, fractional) hyper treewidth of sparse hypergraphs where the criterion of sparsity reflects the sparsity of their incidence graphs. Our first step is to prove that the (generalized, fractional) hypertree width of a hypergraph is constant-factor sandwiched by the treewidth of its incidence graph, when the incidence graph belongs to some apex-minor-free graph class (the family of apex-minor-free graph classes includes planar graphs and graphs of bounded genus). This determines the combinatorial borderline above which the notion of (generalized, fractional) hypertree width becomes essentially more general than treewidth, justifying that way its functionality as a hypergraph acyclicity measure. While for more general sparse families of hypergraphs treewidth of incidence graphs and all hypertree width parameters may differ arbitrarily, there are sparse families where a constant factor approximation algorithm is possible. In particular, we give a constant factor approximation polynomial time algorithm for (generalized, fractional) hypertree width on hypergraphs whose incidence graphs belong to some H-minor-free graph class. This extends the results of Feige, Hajiaghayi, and Lee from STOC'05 on approximating treewidth of H-minor-free graphs.publishedVersio
Planar Subgraph Isomorphism Revisited
The problem of Subgraph Isomorphism is defined as follows: Given a pattern H
and a host graph G on n vertices, does G contain a subgraph that is isomorphic
to H? Eppstein [SODA 95, J'GAA 99] gives the first linear time algorithm for
subgraph isomorphism for a fixed-size pattern, say of order k, and arbitrary
planar host graph, improving upon the O(n^\sqrt{k})-time algorithm when using
the ``Color-coding'' technique of Alon et al [J'ACM 95]. Eppstein's algorithm
runs in time k^O(k) n, that is, the dependency on k is superexponential. We
solve an open problem posed in Eppstein's paper and improve the running time to
2^O(k) n, that is, single exponential in k while keeping the term in n linear.
Next to deciding subgraph isomorphism, we can construct a solution and
enumerate all solutions in the same asymptotic running time. We may list w
subgraphs with an additive term O(w k) in the running time of our algorithm. We
introduce the technique of "embedded dynamic programming" on a suitably
structured graph decomposition, which exploits the topology of the underlying
embeddings of the subgraph pattern (rather than of the host graph). To achieve
our results, we give an upper bound on the number of partial solutions in each
dynamic programming step as a function of pattern size--as it turns out, for
the planar subgraph isomorphism problem, that function is single exponential in
the number of vertices in the pattern.Comment: 13 pages, 4 figure
Subexponential Parameterized Algorithms on Graphs of Bounded Genus and H-Minor-Free Graphs
We introduce a new framework for designing fixed-parameter algorithms with subexponential running time---2 . Our results apply to a broad family of graph problems, called bidimensional problems, which includes many domination and covering problems such as vertex cover, feedback vertex set, minimum maximal matching, dominating set, edge dominating set, clique-transversal set, and many others restricted to bounded genus graphs. Furthermore, it is fairly straightforward to prove that a problem is bidimensional. In particular, our framework includes as special cases all previously known problems to have such subexponential algorithms. Previously, these algorithms applied to planar graphs, single-crossing-minor-free graphs, and/or map graphs; we extend these results to apply to bounded-genus graphs as well. In a parallel development of combinatorial results, we establish an upper bound on the treewidth (or branchwidth) of a bounded-genus graph that excludes some planar graph H as a minor. This bound depends linearly on the size (H)| of the excluded graph H and the genus g(G) of the graph G, and applies and extends the graph-minors work of Robertson and Seymour. Building on these results..