293 research outputs found
Surface Split Decompositions and Subgraph Isomorphism in Graphs on Surfaces
The Subgraph Isomorphism problem asks, given a host graph G on n vertices and
a pattern graph P on k vertices, whether G contains a subgraph isomorphic to P.
The restriction of this problem to planar graphs has often been considered.
After a sequence of improvements, the current best algorithm for planar graphs
is a linear time algorithm by Dorn (STACS '10), with complexity .
We generalize this result, by giving an algorithm of the same complexity for
graphs that can be embedded in surfaces of bounded genus. At the same time, we
simplify the algorithm and analysis. The key to these improvements is the
introduction of surface split decompositions for bounded genus graphs, which
generalize sphere cut decompositions for planar graphs. We extend the algorithm
for the problem of counting and generating all subgraphs isomorphic to P, even
for the case where P is disconnected. This answers an open question by Eppstein
(SODA '95 / JGAA '99)
Everything you always wanted to know about the parameterized complexity of Subgraph Isomorphism (but were afraid to ask)
Given two graphs H and G, the Subgraph Isomorphism problem asks if H is isomorphic to a subgraph of G. While NP-hard in general, algorithms exist for various parameterized versions of the problem. However, the literature contains very little guidance on which combinations of parameters can or cannot be exploited algorithmically. Our goal is to systematically investigate the possible parameterized algorithms that can exist for Subgraph Isomorphism.
We develop a framework involving 10 relevant parameters for each of H and G (such as treewidth, pathwidth, genus, maximum degree, number of vertices, number of components, etc.), and ask if an algorithm with running time f1_(p_1,p_2,...,p_l).n^f_2(p_(l+1),...,p_k) exists, where each of p_1,...,p_k is one of the 10 parameters depending only on H or G. We show that all the questions arising in this framework are answered by a set of 11 maximal positive results (algorithms) and a set of 17 maximal negative results (hardness proofs); some of these results already appear in the literature, while others are new in this paper.
On the algorithmic side, our study reveals for example that an unexpected combination of bounded degree, genus, and feedback vertex set number of G gives rise to a highly nontrivial algorithm for Subgraph Isomorphism. On the hardness side, we present W[1]-hardness proofs under extremely restricted conditions, such as when H is a bounded-degree tree of constant pathwidth and G is a planar graph of bounded pathwidth
Finite graphs and amenability
Hyperfiniteness or amenability of measurable equivalence relations and group
actions has been studied for almost fifty years. Recently, unexpected
applications of hyperfiniteness were found in computer science in the context
of testability of graph properties. In this paper we propose a unified approach
to hyperfiniteness. We establish some new results and give new proofs of
theorems of Schramm, Lov\'asz, Newman-Sohler and Ornstein-Weiss
Logical limit laws for minor-closed classes of graphs
Let be an addable, minor-closed class of graphs. We prove that
the zero-one law holds in monadic second-order logic (MSO) for the random graph
drawn uniformly at random from all {\em connected} graphs in on
vertices, and the convergence law in MSO holds if we draw uniformly at
random from all graphs in on vertices. We also prove analogues
of these results for the class of graphs embeddable on a fixed surface,
provided we restrict attention to first order logic (FO). Moreover, the
limiting probability that a given FO sentence is satisfied is independent of
the surface . We also prove that the closure of the set of limiting
probabilities is always the finite union of at least two disjoint intervals,
and that it is the same for FO and MSO. For the classes of forests and planar
graphs we are able to determine the closure of the set of limiting
probabilities precisely. For planar graphs it consists of exactly 108
intervals, each of length . Finally, we analyse
examples of non-addable classes where the behaviour is quite different. For
instance, the zero-one law does not hold for the random caterpillar on
vertices, even in FO.Comment: minor changes; accepted for publication by JCT
- …