DeepAI

# Digraph redicolouring

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≥δ^*_min(D)+2, generalizing a result due to Dyer et al. We also prove that every oriented graph G⃗ is k-mixing for all k≥δ^*_max(G⃗) +1 and for all k≥δ^*_ avg(G⃗)+1. We conjecture that, for every digraph D, the dicolouring graph of D on k≥δ_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≥ 2δ_min^*(D) + 2 colours has linear diameter, extending a result from Bousquet and Perarnau. We also prove that the conjecture is true when k≥3/2(δ_min^*(D)+1). Restricted to the special case of oriented graphs, we prove that the dicolouring graph of any subcubic oriented graph on k≥ 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 7/2.

• 43 publications
• 8 publications
• 8 publications
• 2 publications
• 4 publications
03/13/2019

### A polynomial version of Cereceda's conjecture

Let k and d be such that k > d+2. Consider two k-colourings of a d-degen...
05/29/2019

### Oriented coloring of graphs with low maximum degree

Duffy et al. [C. Duffy, G. MacGillivray, and É. Sopena, Oriented colouri...
01/12/2023

### Strengthening the Directed Brooks' Theorem for oriented graphs and consequences on digraph redicolouring

Let D=(V,A) be a digraph. We define Δ_max(D) as the maximum of {max(d^+(...
01/10/2023

### A Formal Disproof of the Hirsch Conjecture

The purpose of this paper is the formal verification of a counterexample...
12/20/2018

### Strengthening the Murty-Simon conjecture on diameter 2 critical graphs

A graph is diameter-2-critical if its diameter is 2 but the removal of a...
08/07/2018

### The Second Neighborhood Conjecture for some Special Classes of Graphs

An oriented graph is a directed graph with no loops or digons. The secon...
07/03/2019

### Linear transformations between colorings in chordal graphs

Let k and d be such that k > d+2. Consider two k-colorings of a d-degene...