1,510 research outputs found
Contraction Obstructions for Connected Graph Searching
We consider the connected variant of the classic mixed search game where, in
each search step, cleaned edges form a connected subgraph. We consider graph
classes with bounded connected (and monotone) mixed search number and we deal
with the question whether the obstruction set, with respect of the contraction
partial ordering, for those classes is finite. In general, there is no
guarantee that those sets are finite, as graphs are not well quasi ordered
under the contraction partial ordering relation.
In this paper we provide the obstruction set for , where is the
number of searchers we are allowed to use. This set is finite, it consists of
177 graphs and completely characterises the graphs with connected (and
monotone) mixed search number at most 2. Our proof reveals that the "sense of
direction" of an optimal search searching is important for connected search
which is in contrast to the unconnected original case. We also give a double
exponential lower bound on the size of the obstruction set for the classes
where this set is finite
Connected Search for a Lazy Robber
The node search game against a lazy (or, respectively, agile) invisible robber has been introduced as a search-game analogue of the treewidth parameter (and, respectively, pathwidth). In the connected variants of the above two games, we additionally demand that, at each moment of the search, the clean territories are connected. The connected search game against an agile and invisible robber has been extensively examined. The monotone variant (where we also demand that the clean territories are progressively increasing) of this game, corresponds to the graph parameter of connected pathwidth. It is known that the price of connectivty to search for an agile robber is bounded by 2, that is the connected pathwidth of a graph is at most twice (plus some constant) its pathwidth. In this paper, we investigate the connected search game against a lazy robber. A lazy robber moves only when the searchers' strategy threatens the location that he currently occupies. We introduce two alternative graph-theoretic formulations of this game, one in terms of connected tree decompositions, and one in terms of (connected) layouts, leading to the graph parameter of connected treewidth. We observe that connected treewidth parameter is closed under contractions and prove that for every k >= 2, the set of contraction obstructions of the class of graphs with connected treewidth at most k is infinite. Our main result is a complete characterization of the obstruction set for k=2. One may observe that, so far, only a few complete obstruction sets are explicitly known for contraction closed graph classes. We finally show that, in contrast to the agile robber game, the price of connectivity is unbounded
The obstructions for toroidal graphs with no 's
Forbidden minors and subdivisions for toroidal graphs are numerous. We
consider the toroidal graphs with no -subdivisions that coincide with
the toroidal graphs with no -minors. These graphs admit a unique
decomposition into planar components and have short lists of obstructions. We
provide the complete lists of four forbidden minors and eleven forbidden
subdivisions for the toroidal graphs with no 's and prove that the
lists are sufficient.Comment: 10 pages, 7 figures, revised version with additional detail
Minor-Obstructions for Apex-Pseudoforests
A graph is called a pseudoforest if none of its connected components contains
more than one cycle. A graph is an apex-pseudoforest if it can become a
pseudoforest by removing one of its vertices. We identify 33 graphs that form
the minor-obstruction set of the class of apex-pseudoforests, i.e., the set of
all minor-minimal graphs that are not apex-pseudoforests
Claw-free t-perfect graphs can be recognised in polynomial time
A graph is called t-perfect if its stable set polytope is defined by
non-negativity, edge and odd-cycle inequalities. We show that it can be decided
in polynomial time whether a given claw-free graph is t-perfect
- …