3,001 research outputs found
A note on forbidding clique immersions
Robertson and Seymour proved that the relation of graph immersion is
well-quasi-ordered for finite graphs. Their proof uses the results of graph
minors theory. Surprisingly, there is a very short proof of the corresponding
rough structure theorem for graphs without -immersions; it is based on the
Gomory-Hu theorem. The same proof also works to establish a rough structure
theorem for Eulerian digraphs without -immersions, where
denotes the bidirected complete digraph of order
Cutwidth: obstructions and algorithmic aspects
Cutwidth is one of the classic layout parameters for graphs. It measures how
well one can order the vertices of a graph in a linear manner, so that the
maximum number of edges between any prefix and its complement suffix is
minimized. As graphs of cutwidth at most are closed under taking
immersions, the results of Robertson and Seymour imply that there is a finite
list of minimal immersion obstructions for admitting a cut layout of width at
most . We prove that every minimal immersion obstruction for cutwidth at
most has size at most .
As an interesting algorithmic byproduct, we design a new fixed-parameter
algorithm for computing the cutwidth of a graph that runs in time , where is the optimum width and is the number of vertices.
While being slower by a -factor in the exponent than the fastest known
algorithm, given by Thilikos, Bodlaender, and Serna in [Cutwidth I: A linear
time fixed parameter algorithm, J. Algorithms, 56(1):1--24, 2005] and [Cutwidth
II: Algorithms for partial -trees of bounded degree, J. Algorithms,
56(1):25--49, 2005], our algorithm has the advantage of being simpler and
self-contained; arguably, it explains better the combinatorics of optimum-width
layouts
Multigraphs without large bonds are wqo by contraction
We show that the class of multigraphs with at most connected components
and bonds of size at most is well-quasi-ordered by edge contraction for all
positive integers . (A bond is a minimal non-empty edge cut.) We also
characterize canonical antichains for this relation and show that they are
fundamental
Constructing graphs with no immersion of large complete graphs
In 1989, Lescure and Meyniel proved, for , that every -chromatic
graph contains an immersion of , and in 2003 Abu-Khzam and Langston
conjectured that this holds for all . In 2010, DeVos, Kawarabayashi, Mohar,
and Okamura proved this conjecture for . In each proof, the
-chromatic assumption was not fully utilized, as the proofs only use the
fact that a -critical graph has minimum degree at least . DeVos,
Dvo\v{r}\'ak, Fox, McDonald, Mohar, and Scheide show the stronger conjecture
that a graph with minimum degree has an immersion of fails for
and with a finite number of examples for each value of ,
and small chromatic number relative to , but it is shown that a minimum
degree of does guarantee an immersion of .
In this paper we show that the stronger conjecture is false for
and give infinite families of examples with minimum degree and chromatic
number or that do not contain an immersion of . Our examples
can be up to -edge-connected. We show, using Haj\'os' Construction, that
there is an infinite class of non--colorable graphs that contain an
immersion of . We conclude with some open questions, and the conjecture
that a graph with minimum degree and more than
vertices of degree at least has an immersion of
A General Framework for Well-Structured Graph Transformation Systems
Graph transformation systems (GTSs) can be seen as wellstructured transition
systems (WSTSs), thus obtaining decidability results for certain classes of
GTSs. In earlier work it was shown that wellstructuredness can be obtained
using the minor ordering as a well-quasiorder. In this paper we extend this
idea to obtain a general framework in which several types of GTSs can be seen
as (restricted) WSTSs. We instantiate this framework with the subgraph ordering
and the induced subgraph ordering and apply it to analyse a simple access
rights management system.Comment: Extended version (including proofs) of a paper accepted at CONCUR
201
- …