930 research outputs found
Decycling a graph by the removal of a matching: new algorithmic and structural aspects in some classes of graphs
A graph is {\em matching-decyclable} if it has a matching such that
is acyclic. Deciding whether is matching-decyclable is an NP-complete
problem even if is 2-connected, planar, and subcubic. In this work we
present results on matching-decyclability in the following classes: Hamiltonian
subcubic graphs, chordal graphs, and distance-hereditary graphs. In Hamiltonian
subcubic graphs we show that deciding matching-decyclability is NP-complete
even if there are exactly two vertices of degree two. For chordal and
distance-hereditary graphs, we present characterizations of
matching-decyclability that lead to -time recognition algorithms
Hamilton cycles in almost distance-hereditary graphs
Let be a graph on vertices. A graph is almost
distance-hereditary if each connected induced subgraph of has the
property for any pair of vertices .
A graph is called 1-heavy (2-heavy) if at least one (two) of the end
vertices of each induced subgraph of isomorphic to (a claw) has
(have) degree at least , and called claw-heavy if each claw of has a
pair of end vertices with degree sum at least . Thus every 2-heavy graph is
claw-heavy. In this paper we prove the following two results: (1) Every
2-connected, claw-heavy and almost distance-hereditary graph is Hamiltonian.
(2) Every 3-connected, 1-heavy and almost distance-hereditary graph is
Hamiltonian. In particular, the first result improves a previous theorem of
Feng and Guo. Both results are sharp in some sense.Comment: 14 pages; 1 figure; a new theorem is adde
Complexity of Token Swapping and its Variants
In the Token Swapping problem we are given a graph with a token placed on
each vertex. Each token has exactly one destination vertex, and we try to move
all the tokens to their destinations, using the minimum number of swaps, i.e.,
operations of exchanging the tokens on two adjacent vertices. As the main
result of this paper, we show that Token Swapping is -hard parameterized
by the length of a shortest sequence of swaps. In fact, we prove that, for
any computable function , it cannot be solved in time where is the number of vertices of the input graph, unless the ETH
fails. This lower bound almost matches the trivial -time algorithm.
We also consider two generalizations of the Token Swapping, namely Colored
Token Swapping (where the tokens have different colors and tokens of the same
color are indistinguishable), and Subset Token Swapping (where each token has a
set of possible destinations). To complement the hardness result, we prove that
even the most general variant, Subset Token Swapping, is FPT in nowhere-dense
graph classes.
Finally, we consider the complexities of all three problems in very
restricted classes of graphs: graphs of bounded treewidth and diameter, stars,
cliques, and paths, trying to identify the borderlines between polynomial and
NP-hard cases.Comment: 23 pages, 7 Figure
The First Order Definability of Graphs with Separators via the Ehrenfeucht Game
We say that a first order formula defines a graph if is
true on and false on every graph non-isomorphic with . Let
be the minimal quantifier rank of a such formula. We prove that, if is a
tree of bounded degree or a Hamiltonian (equivalently, 2-connected) outerplanar
graph, then , where denotes the order of . This bound is
optimal up to a constant factor. If is a constant, for connected graphs
with no minor and degree , we prove the bound
. This result applies to planar graphs and, more generally, to
graphs of bounded genus.Comment: 17 page
- …