13 research outputs found
Cops and Robber game in higher-dimensional manifolds with spherical and Euclidean metric
The recently introduced variation of the game of cops and robber is played on
geodesic spaces. In this paper we establish some general strategies for the
players, in particular the generalized radial strategy and the covering space
strategy. Those strategies are then applied to the game on the -dimensional
ball, the sphere, and the torus.Comment: 19 page
Reconfiguration of plane trees in convex geometric graphs
A non-crossing spanning tree of a set of points in the plane is a spanning
tree whose edges pairwise do not cross. Avis and Fukuda in 1996 proved that
there always exists a flip sequence of length at most between any pair
of non-crossing spanning trees (where denotes the number of points).
Hernando et al. proved that the length of a minimal flip sequence can be of
length at least . Two recent results of Aichholzer et al. and
Bousquet et al. improved the Avis and Fukuda upper bound by proving that there
always exists a flip sequence of length respectively at most and
. We improve the upper bound by a linear factor for the first
time in 25 years by proving that there always exists a flip sequence between
any pair of non-crossing spanning trees of length at most where
. Our result is actually stronger since we prove that, for any
two trees , there exists a flip sequence from to of length
at most . We also improve the best lower bound in terms
of the symmetric difference by proving that there exists a pair of trees
such that a minimal flip sequence has length , improving the lower bound of Hernando et al. by considering the
symmetric difference instead of the number of vertices. We generalize this
lower bound construction to non-crossing flips (where we close the gap between
upper and lower bounds) and rotations
Maximum Independent Set when excluding an induced minor: and
Dallard, Milani\v{c}, and \v{S}torgel [arXiv '22] ask if for every class
excluding a fixed planar graph as an induced minor, Maximum Independent Set
can be solved in polynomial time, and show that this is indeed the case when
is any planar complete bipartite graph, or the 5-vertex clique minus one
edge, or minus two disjoint edges. A positive answer would constitute a
far-reaching generalization of the state-of-the-art, when we currently do not
know if a polynomial-time algorithm exists when is the 7-vertex path.
Relaxing tractability to the existence of a quasipolynomial-time algorithm, we
know substantially more. Indeed, quasipolynomial-time algorithms were recently
obtained for the -vertex cycle, [Gartland et al., STOC '21] and the
disjoint union of triangles, [Bonamy et al., SODA '23].
We give, for every integer , a polynomial-time algorithm running in
when is the friendship graph ( disjoint edges
plus a vertex fully adjacent to them), and a quasipolynomial-time algorithm
running in when is (the
disjoint union of triangles and a 4-vertex cycle). The former extends a
classical result on graphs excluding as an induced subgraph [Alekseev,
DAM '07], while the latter extends Bonamy et al.'s result.Comment: 15 pages, 2 figure
A note on connected greedy edge colouring
Following a given ordering of the edges of a graph , the greedy edge
colouring procedure assigns to each edge the smallest available colour. The
minimum number of colours thus involved is the chromatic index , and
the maximum is the so-called Grundy chromatic index. Here, we are interested in
the restricted case where the ordering of the edges builds the graph in a
connected fashion. Let be the minimum number of colours involved
following such an ordering. We show that it is NP-hard to determine whether
. We prove that if is bipartite,
and that if is subcubic.Comment: Comments welcome, 12 page
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
27 pages, 6 figuresA graph is -free if it does not contain pairwise vertex-disjoint and non-adjacent cycles. We prove that "sparse" (here, not containing large complete bipartite graphs as subgraphs) -free graphs have treewidth (even, feedback vertex set number) at most logarithmic in the number of vertices, which is sharp already for . As a consequence, most of the central NP-complete problems (such as Maximum Independent Set, Minimum Vertex Cover, Minimum Dominating Set, Minimum Coloring) can be solved in polynomial time in these graphs, and in particular deciding the -freeness of sparse graphs is polytime