-
Reconfiguration of Spanning Trees with Degree Constraint or Diameter Constraint
Authors:
Nicolas Bousquet,
Takehiro Ito,
Yusuke Kobayashi,
Haruka Mizuta,
Paul Ouvrard,
Akira Suzuki,
Kunihiro Wasa
Abstract:
We investigate the complexity of finding a transformation from a given spanning tree in a graph to another given spanning tree in the same graph via a sequence of edge flips. The exchange property of the matroid bases immediately yields that such a transformation always exists if we have no constraints on spanning trees. In this paper, we wish to find a transformation which passes through only spa…
▽ More
We investigate the complexity of finding a transformation from a given spanning tree in a graph to another given spanning tree in the same graph via a sequence of edge flips. The exchange property of the matroid bases immediately yields that such a transformation always exists if we have no constraints on spanning trees. In this paper, we wish to find a transformation which passes through only spanning trees satisfying some constraint. Our focus is bounding either the maximum degree or the diameter of spanning trees, and we give the following results. The problem with a lower bound on maximum degree is solvable in polynomial time, while the problem with an upper bound on maximum degree is PSPACE-complete. The problem with a lower bound on diameter is NP-hard, while the problem with an upper bound on diameter is solvable in polynomial time.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Linear transformations between dominating sets in the TAR-model
Authors:
Nicolas Bousquet,
Alice Joffard,
Paul Ouvrard
Abstract:
Given a graph $G$ and an integer $k$, a token addition and removal ({\sf TAR} for short) reconfiguration sequence between two dominating sets $D_{\sf s}$ and $D_{\sf t}$ of size at most $k$ is a sequence $S= \langle D_0 = D_{\sf s}, D_1 \ldots, D_\ell = D_{\sf t} \rangle$ of dominating sets of $G$ such that any two consecutive dominating sets differ by the addition or deletion of one vertex, and n…
▽ More
Given a graph $G$ and an integer $k$, a token addition and removal ({\sf TAR} for short) reconfiguration sequence between two dominating sets $D_{\sf s}$ and $D_{\sf t}$ of size at most $k$ is a sequence $S= \langle D_0 = D_{\sf s}, D_1 \ldots, D_\ell = D_{\sf t} \rangle$ of dominating sets of $G$ such that any two consecutive dominating sets differ by the addition or deletion of one vertex, and no dominating set has size bigger than $k$.
We first improve a result of Haas and Seyffarth, by showing that if $k=Γ(G)+α(G)-1$ (where $Γ(G)$ is the maximum size of a minimal dominating set and $α(G)$ the maximum size of an independent set), then there exists a linear {\sf TAR} reconfiguration sequence between any pair of dominating sets.
We then improve these results on several graph classes by showing that the same holds for $K_{\ell}$-minor free graph as long as $k \ge Γ(G)+O(\ell \sqrt{\log \ell})$ and for planar graphs whenever $k \ge Γ(G)+3$. Finally, we show that if $k=Γ(G)+tw(G)+1$, then there also exists a linear transformation between any pair of dominating sets.
△ Less
Submitted 30 June, 2020;
originally announced June 2020.
-
Reconfiguration of Spanning Trees with Many or Few Leaves
Authors:
Nicolas Bousquet,
Takehiro Ito,
Yusuke Kobayashi,
Haruka Mizuta,
Paul Ouvrard,
Akira Suzuki,
Kunihiro Wasa
Abstract:
Let $G$ be a graph and $T_1,T_2$ be two spanning trees of $G$. We say that $T_1$ can be transformed into $T_2$ via an edge flip if there exist two edges $e \in T_1$ and $f$ in $T_2$ such that $T_2= (T_1 \setminus e) \cup f$. Since spanning trees form a matroid, one can indeed transform a spanning tree into any other via a sequence of edge flips, as observed by Ito et al.
We investigate the probl…
▽ More
Let $G$ be a graph and $T_1,T_2$ be two spanning trees of $G$. We say that $T_1$ can be transformed into $T_2$ via an edge flip if there exist two edges $e \in T_1$ and $f$ in $T_2$ such that $T_2= (T_1 \setminus e) \cup f$. Since spanning trees form a matroid, one can indeed transform a spanning tree into any other via a sequence of edge flips, as observed by Ito et al.
We investigate the problem of determining, given two spanning trees $T_1,T_2$ with an additional property $Π$, if there exists an edge flip transformation from $T_1$ to $T_2$ kee** property $Π$ all along.
First we show that determining if there exists a transformation from $T_1$ to $T_2$ such that all the trees of the sequence have at most $k$ (for any fixed $k \ge 3$) leaves is PSPACE-complete.
We then prove that determining if there exists a transformation from $T_1$ to $T_2$ such that all the trees of the sequence have at least $k$ leaves (where $k$ is part of the input) is PSPACE-complete even restricted to split, bipartite or planar graphs. We complete this result by showing that the problem becomes polynomial for cographs, interval graphs and when $k=n-2$.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
-
Dominating sets reconfiguration under token sliding
Authors:
Marthe Bonamy,
Paul Dorbec,
Paul Ouvrard
Abstract:
Let $G$ be a graph and $D_s$ and $D_t$ be two dominating sets of $G$ of size $k$. Does there exist a sequence $\langle D_0 = D_s, D_1, \ldots, D_{\ell-1}, D_\ell = D_t \rangle$ of dominating sets of $G$ such that $D_{i+1}$ can be obtained from $D_i$ by replacing one vertex with one of its neighbors? In this paper, we investigate the complexity of this decision problem. We first prove that this pr…
▽ More
Let $G$ be a graph and $D_s$ and $D_t$ be two dominating sets of $G$ of size $k$. Does there exist a sequence $\langle D_0 = D_s, D_1, \ldots, D_{\ell-1}, D_\ell = D_t \rangle$ of dominating sets of $G$ such that $D_{i+1}$ can be obtained from $D_i$ by replacing one vertex with one of its neighbors? In this paper, we investigate the complexity of this decision problem. We first prove that this problem is PSPACE-complete, even when restricted to split, bipartite or bounded treewidth graphs. On the other hand, we prove that it can be solved in polynomial time on dually chordal graphs (a superclass of both trees and interval graphs) or cographs.
△ Less
Submitted 20 May, 2021; v1 submitted 6 December, 2019;
originally announced December 2019.
-
Decremental Optimization of Dominating Sets Under the Reconfiguration Framework
Authors:
Alexandre Blanché,
Haruka Mizuta,
Paul Ouvrard,
Akira Suzuki
Abstract:
Given a dominating set, how much smaller a dominating set can we find through elementary operations? Here, we proceed by iterative vertex addition and removal while maintaining the property that the set forms a dominating set of bounded size. This can be seen as the optimization variant of the dominating set reconfiguration problem, where two dominating sets are given and the question is merely wh…
▽ More
Given a dominating set, how much smaller a dominating set can we find through elementary operations? Here, we proceed by iterative vertex addition and removal while maintaining the property that the set forms a dominating set of bounded size. This can be seen as the optimization variant of the dominating set reconfiguration problem, where two dominating sets are given and the question is merely whether they can be reached one from another through elementary operations. We show that this problem is PSPACE-complete, even if the input graph is a bipartite graph, a split graph, or has bounded pathwidth. On the positive side, we give linear-time algorithms for cographs, trees and interval graphs. We also study the parameterized complexity of this problem. More precisely, we show that the problem is W[2]-hard when parameterized by the upper bound on the size of an intermediary dominating set. On the other hand, we give fixed-parameter algorithms with respect to the minimum size of a vertex cover, or $d+s$ where $d$ is the degeneracy and $s$ is the upper bound of output solution.
△ Less
Submitted 5 May, 2020; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Distributed Recoloring
Authors:
Marthe Bonamy,
Paul Ouvrard,
Mikaël Rabie,
Jukka Suomela,
Jara Uitto
Abstract:
Given two colorings of a graph, we consider the following problem: can we recolor the graph from one coloring to the other through a series of elementary changes, such that the graph is properly colored after each step?
We introduce the notion of distributed recoloring: The input graph represents a network of computers that needs to be recolored. Initially, each node is aware of its own input co…
▽ More
Given two colorings of a graph, we consider the following problem: can we recolor the graph from one coloring to the other through a series of elementary changes, such that the graph is properly colored after each step?
We introduce the notion of distributed recoloring: The input graph represents a network of computers that needs to be recolored. Initially, each node is aware of its own input color and target color. The nodes can exchange messages with each other, and eventually each node has to stop and output its own recoloring schedule, indicating when and how the node changes its color. The recoloring schedules have to be globally consistent so that the graph remains properly colored at each point, and we require that adjacent nodes do not change their colors simultaneously.
We are interested in the following questions: How many communication rounds are needed (in the LOCAL model of distributed computing) to find a recoloring schedule? What is the length of the recoloring schedule? And how does the picture change if we can use extra colors to make recoloring easier?
The main contributions of this work are related to distributed recoloring with one extra color in the following graph classes: trees, $3$-regular graphs, and toroidal grids.
△ Less
Submitted 17 January, 2019; v1 submitted 19 February, 2018;
originally announced February 2018.
