Abstract:Given two $k$-dicolourings of a digraph $D$, we prove that it is PSPACE-complete to decide whether we can transform one into the other by recolouring one vertex at each step while maintaining a dicolouring at any step even for $k=2$ and for digraphs with maximum degree $5$ or oriented planar graphs with maximum degree $6$. A digraph is said to be $k$-mixing if there exists a transformation between any pair of $k$-colourings. We show that every digraph $D$ is $k$-mixing for all $k\geq \delta^*_{\min}(D)+2$, generalizing a result due to Dyer et al. We also prove that every oriented graph $\vec{G}$ is $k$-mixing for all $k\geq \delta^*_{\max}(\vec{G}) +1$ and for all $k\geq \delta^*_{\rm avg}(\vec{G})+1$. We conjecture that, for every digraph $D$, the dicolouring graph of $D$ on $k\geq \delta_{\min}^*(D)+2$ colours has diameter at most $O(|V(D)|^2)$ and give some evidences. We first prove that the dicolouring graph of any digraph $D$ on $k\geq 2\delta_{\min}^*(D) + 2$ colours has linear diameter, extending a result from Bousquet and Perarnau. We also prove that the conjecture is true when $k\geq \frac{3}{2}(\delta_{\min}^*(D)+1)$. Restricted to the special case of oriented graphs, we prove that the dicolouring graph of any subcubic oriented graph on $k\geq 2$ colours is connected and has diameter at most $2n$. We conjecture that every non $2$-mixing oriented graph has maximum average degree at least $4$, and we provide some support for this conjecture by proving it on the special case of $2$-freezable oriented graphs. More generally, we show that every $k$-freezable oriented graph on $n$ vertices must contain at least $kn + k(k-2)$ arcs, and we give a family of $k$-freezable oriented graphs that reach this bound. In the general case, we prove as a partial result that every non $2$-mixing oriented graph has maximum average degree at least $\frac{7}{2}$.

Injectively $k$-colored rooted forests

Counting bi-colored A'Campo forests

Almost colour-balanced spanning forests in complete graphs

A Family of Invariants of Rooted Forests

Regular packing of rooted hyperforests with root constraints in hypergraphs

Root multiplicities for Borcherds algebras and graph coloring

On Decomposing Graphs Into Forests and Pseudoforests

Cooperative colorings of forests

Counting subgraphs of coloring graphs

Rooted forests that avoid sets of permutations

A colourful classification of (quasi) root systems and hyperplane arrangements

Path-monochromatic bounded depth rooted trees in (random) tournaments

On multicolor Turán numbers

Bounded indegree $k$-forests problem and a faster algorithm for directed graph augmentation

Maximum number of colourings. II. 5-chromatic graphs

Digraph redicolouring

Decomposition of Sparse Graphs into Forests: The Nine Dragon Tree Conjecture for $k \le 2$

Reconstruction for Colorings on Trees

Monochromatic graph decompositions inspired by anti-Ramsey colorings

Color isomorphic even cycles and a related Ramsey problem