16,279 research outputs found
Rank-width and Tree-width of H-minor-free Graphs
We prove that for any fixed r>=2, the tree-width of graphs not containing K_r
as a topological minor (resp. as a subgraph) is bounded by a linear (resp.
polynomial) function of their rank-width. We also present refinements of our
bounds for other graph classes such as K_r-minor free graphs and graphs of
bounded genus.Comment: 17 page
A Note on Graphs of Linear Rank-Width 1
We prove that a connected graph has linear rank-width 1 if and only if it is
a distance-hereditary graph and its split decomposition tree is a path. An
immediate consequence is that one can decide in linear time whether a graph has
linear rank-width at most 1, and give an obstruction if not. Other immediate
consequences are several characterisations of graphs of linear rank-width 1. In
particular a connected graph has linear rank-width 1 if and only if it is
locally equivalent to a caterpillar if and only if it is a vertex-minor of a
path [O-joung Kwon and Sang-il Oum, Graphs of small rank-width are pivot-minors
of graphs of small tree-width, arxiv:1203.3606] if and only if it does not
contain the co-K_2 graph, the Net graph and the 5-cycle graph as vertex-minors
[Isolde Adler, Arthur M. Farley and Andrzej Proskurowski, Obstructions for
linear rank-width at most 1, arxiv:1106.2533].Comment: 9 pages, 2 figures. Not to be publishe
On the Monadic Second-Order Transduction Hierarchy
We compare classes of finite relational structures via monadic second-order
transductions. More precisely, we study the preorder where we set C \subseteq K
if, and only if, there exists a transduction {\tau} such that
C\subseteq{\tau}(K). If we only consider classes of incidence structures we can
completely describe the resulting hierarchy. It is linear of order type
{\omega}+3. Each level can be characterised in terms of a suitable variant of
tree-width. Canonical representatives of the various levels are: the class of
all trees of height n, for each n \in N, of all paths, of all trees, and of all
grids
Monadic second-order definable graph orderings
We study the question of whether, for a given class of finite graphs, one can
define, for each graph of the class, a linear ordering in monadic second-order
logic, possibly with the help of monadic parameters. We consider two variants
of monadic second-order logic: one where we can only quantify over sets of
vertices and one where we can also quantify over sets of edges. For several
special cases, we present combinatorial characterisations of when such a linear
ordering is definable. In some cases, for instance for graph classes that omit
a fixed graph as a minor, the presented conditions are necessary and
sufficient; in other cases, they are only necessary. Other graph classes we
consider include complete bipartite graphs, split graphs, chordal graphs, and
cographs. We prove that orderability is decidable for the so called
HR-equational classes of graphs, which are described by equation systems and
generalize the context-free languages
Induced Minor Free Graphs: Isomorphism and Clique-width
Given two graphs and , we say that contains as an induced
minor if a graph isomorphic to can be obtained from by a sequence of
vertex deletions and edge contractions. We study the complexity of Graph
Isomorphism on graphs that exclude a fixed graph as an induced minor. More
precisely, we determine for every graph that Graph Isomorphism is
polynomial-time solvable on -induced-minor-free graphs or that it is
GI-complete. Additionally, we classify those graphs for which
-induced-minor-free graphs have bounded clique-width. These two results
complement similar dichotomies for graphs that exclude a fixed graph as an
induced subgraph, minor, or subgraph.Comment: 16 pages, 5 figures. An extended abstract of this paper previously
appeared in the proceedings of the 41st International Workshop on
Graph-Theoretic Concepts in Computer Science (WG 2015
Order Invariance on Decomposable Structures
Order-invariant formulas access an ordering on a structure's universe, but
the model relation is independent of the used ordering. Order invariance is
frequently used for logic-based approaches in computer science. Order-invariant
formulas capture unordered problems of complexity classes and they model the
independence of the answer to a database query from low-level aspects of
databases. We study the expressive power of order-invariant monadic
second-order (MSO) and first-order (FO) logic on restricted classes of
structures that admit certain forms of tree decompositions (not necessarily of
bounded width).
While order-invariant MSO is more expressive than MSO and, even, CMSO (MSO
with modulo-counting predicates), we show that order-invariant MSO and CMSO are
equally expressive on graphs of bounded tree width and on planar graphs. This
extends an earlier result for trees due to Courcelle. Moreover, we show that
all properties definable in order-invariant FO are also definable in MSO on
these classes. These results are applications of a theorem that shows how to
lift up definability results for order-invariant logics from the bags of a
graph's tree decomposition to the graph itself.Comment: Accepted for LICS 201
- …