This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

A note on connected greedy edge colouring

Marthe Bonamy LaBRI, CNRS, Université de Bordeaux, Bordeaux, France Carla Groenland Mathematical Institute, University of Oxford, Oxford OX2 6GG, United Kingdom. Carole Muller Jonathan Narboni LaBRI, CNRS, Université de Bordeaux, Bordeaux, France Jakub Pekárek Alexandra Wesolek
Abstract

Following a given ordering of the edges of a graph GG, the greedy edge colouring procedure assigns to each edge the smallest available colour. The minimum number of colours thus involved is the chromatic index χ(G)\chi^{\prime}(G), 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 χc(G)\chi_{c}^{\prime}(G) be the minimum number of colours involved following such an ordering. We show that it is NP-hard to determine whether χc(G)>χ(G)\chi_{c}^{\prime}(G)>\chi^{\prime}(G). We prove that χ(G)=χc(G)\chi^{\prime}(G)=\chi_{c}^{\prime}(G) if GG is bipartite, and that χc(G)4\chi_{c}^{\prime}(G)\leq 4 if GG is subcubic.

1 Introduction

A naive way to colour the vertices of a graph is to consider them one by one and to colour each vertex with the smallest colour that does not appear on any neighbour of it. More formally, let GG be a graph and 𝒪=(v1,,vn)\mathcal{O}=(v_{1},\cdots,v_{n}) be a linear ordering of its vertices. The greedy colouring of GG following 𝒪\mathcal{O} is the colouring α\alpha of GG obtained by colouring viv_{i} with the smallest colour kk such that there is no vjN(vi)v_{j}\in N(v_{i}) with j<ij<i and α(vj)=k\alpha(v_{j})=k, for ii from 11 to nn. The maximum number of colours that can be used using a greedy procedure is called the Grundy number, and computing this value can be a convenient way to bound any heuristic used to colour a graph (see [2] and [7]). Finding a good ordering of the vertices can indeed seem like an easier way to find a colouring with not “too many” colours. However, if we choose a bad ordering then the difference between the number of colours involved in a greedy colouring and the chromatic number can be arbitrary large, even for trees.

On the other hand, note that there is always an ordering 𝒪\mathcal{O} of the vertices of a graph GG such that the greedy colouring following 𝒪\mathcal{O} involves the optimal number of colours, i.e. χ(G)\chi(G). The argument is simple: consider a χ(G)\chi(G)-colouring α\alpha of GG, and put first all the vertices coloured 11 in α\alpha, then all the vertices coloured 22, etc. The greedy colouring following this ordering might not be exactly the same as α\alpha, but it will use χ(G)\chi(G) colours in total. Nevertheless, finding such an ordering is equivalent to directly computing an optimal colouring, so this is not a helpful approach.

A more interesting approach is through connected orderings. A connected ordering is an ordering where each vertex (except the first one) has one of its neighbours as predecessor – in other words, G[{v1,,vi}]G[\{v_{1},\ldots,v_{i}\}] is connected for every ii. Note that disconnected graphs do not admit a connected ordering: throughout this paper we only consider connected graphs. Indeed, for colouring purposes, one can simply handle each connected component independently. The minimum number of colours used by the greedy procedure when following a connected ordering is called the connected chromatic number of GG and is denoted χc(G)\chi_{c}(G). Surprisingly, the connected chromatic number behaves similarly to the chromatic number. In fact, Benevides, Campos, Dourado, Griffiths, Morris, Sampaio and Silva [1] proved that χc(G)χ(G)+1\chi_{c}(G)\leq\chi(G)+1 for every graph GG.

Edge colouring is a special case of vertex colouring which typically displays significantly meeker behaviour. Indeed, while the chromatic number can vary wildly between the best-known lower bounds and best-known upper bounds, Vizing proved in 1964 [6] that the number of colours needed to colour the edges of a graph GG can only be either Δ(G)\Delta(G) or Δ(G)+1\Delta(G)+1, where Δ(G)\Delta(G) is the maximum degree of GG. The minimum number of colours needed to colour the edges of a graph GG such that any two incident edges have different colours is the chromatic index of GG, denoted χ(G)\chi^{\prime}(G). Colouring the edges of a graph GG corresponds to colouring the vertices of its so-called line graph, where the vertices are E(G)E(G) and two vertices are adjacent if the corresponding edges are incident in GG.

Given that edge colouring is a special case of vertex colouring, all the notions discussed earlier extend naturally. Let us denote by χc(G)\chi^{\prime}_{c}(G) the connected greedy chromatic index of GG. The goal of this paper is to study this parameter. By considering vertex colourings of the line graph of GG, we obtain χ(G)χc(G)χ(G)+1\chi^{\prime}(G)\leq\chi^{\prime}_{c}(G)\leq\chi^{\prime}(G)+1. In the case of vertex colouring, it is NP-hard to decide whether χc(G)=χ(G)\chi_{c}(G)=\chi(G) [1]. To the best of our knowledge it is unknown whether this extends to edge colouring, and even whether χ(G)\chi^{\prime}(G) and χc(G)\chi^{\prime}_{c}(G) can differ. It is however known that χ(G)\chi(G) and χc(G)\chi_{c}(G) can differ on claw-free graphs [3].

Our first contribution is to prove that deciding χc(G)=χ(G)\chi^{\prime}_{c}(G)=\chi^{\prime}(G) is NP-hard, even for graphs of small maximum degree satisfying χ(G)=Δ(G)\chi^{\prime}(G)=\Delta(G).

Theorem 1.

For all Δ4\Delta\geq 4, it is NP-hard to decide whether χ(G)=χc(G)\chi^{\prime}(G)=\chi_{c}^{\prime}(G) on the class of graphs with chromatic index Δ\Delta.

Our proof also provides an example of a graph GG with χc(G)>χ(G)\chi^{\prime}_{c}(G)>\chi^{\prime}(G) of maximum degree 3. When GG is a connected graph of maximum degree 2, then GG is a path or a cycle and it is easy to see that χc(G)=χ(G)\chi^{\prime}_{c}(G)=\chi^{\prime}(G).

In the vertex case, 2=χ(G)=χc(G)2=\chi(G)=\chi_{c}(G) when GG is bipartite [1]. We show that for bipartite graphs optimal connected orderings also exist in the edge case.

Theorem 2.

If GG is bipartite, then χc(G)=χ(G)\chi_{c}^{\prime}(G)=\chi^{\prime}(G).

The key argument in the proof of Vizing’s theorem is to start from a non-optimal colouring and to reconfigure it to decrease the number of colours used. The reconfiguration step used in the proof, the Kempe change, was first introduced by Kempe in his attempt to prove the four colour theorem and since has become a standard and widely used tool to study colourings as it was proven to often be a fruitful approach.

More formally, an (i,j)(i,j)-Kempe chain is a connected component of the subgraph induced by the edges coloured ii or jj, and a Kempe change consists of switching the colours of the edges in this component. Note that after switching the colours, the colouring is still proper. Moreover, contrary to the case of vertex colouring, when considering edge colouring, Kempe chains have a much more restrained structure as they can only be paths or even cycles.

In Theorem 2, we use Kempe changes to reconfigure a kk-edge colouring to a connected greedy kk-edge colouring. In order to do this we define the notion of ‘reachability’ which might be of independent interest. Let GG^{\prime} be the subgraph induced by the edges of colour <k<k. Reachability predicts whether we can ‘jump’ between the components of GG^{\prime} via a connected ordering that assigns the edges between the components colour kk; by induction, we can find optimal connected orderings for the components of GG^{\prime}, which we combine to an optimal connected ordering for GG. We can get a similar reachability result for general graphs (Lemma 7), of which the following is an easy corollary.

Theorem 3.

If GG has maximum degree 33 then χc(G)4\chi_{c}^{\prime}(G)\leq 4.

However, we did not manage to push through the induction argument used in Theorem 2 to provide a full answer to the following problem, which we leave open.

Problem 1 (Question 3 in [5]).

Is it true that χc(G)Δ+1\chi^{\prime}_{c}(G)\leq\Delta+1 for each graph GG of maximum degree Δ\Delta?

Throughout this paper, we use the short-cut xyxy for the edge {x,y}\{x,y\} and write [n][n] to mean {1,,n}\{1,\dots,n\}. We use the notation NG(v)N_{G}(v) for the set of vertices adjacent to vv in GG.

2 Proof of NP-hardness

In this section, we prove Theorem 1. We first define some auxiliary constructions.

Let Δ3\Delta\geq 3 be given. The Δ\Delta-dimensional hypercube QΔQ_{\Delta} with vertex set {0,1}Δ\{0,1\}^{\Delta} is Δ\Delta-regular and satisfies χ(QΔ)=Δ\chi^{\prime}(Q_{\Delta})=\Delta. Indeed, we may reserve a different colour for each ‘direction’ as in Figure 1. Pick an edge xyE(QΔ)xy\in E(Q_{\Delta}). Let QΔ+Q_{\Delta}^{+} be the graph with vertex set V(QΔ+)=V(QΔ){x,y}V(Q_{\Delta}^{+})=V(Q_{\Delta})\cup\{x^{\prime},y^{\prime}\} and edge set

E(QΔ+)=(E(QΔ){xy}){xx,yy}.E(Q_{\Delta}^{+})=(E(Q_{\Delta})\setminus\{xy\})\cup\{xx^{\prime},yy^{\prime}\}.

Then χ(QΔ+)=Δ\chi^{\prime}(Q_{\Delta}^{+})=\Delta. An example is given in Figure 1.

xxyy
xxyyxx^{\prime}yy^{\prime}
xxyyxx^{\prime}yy^{\prime}uuss
Figure 1: The graphs Q3Q_{3}, Q3+Q_{3}^{+} and H3H_{3} are depicted with possible 33-edge colourings.

Below we consider the situation in which we attempt to extend a colouring in which one of the edges has been precoloured. We assign the lowest available colour to the edges in a connected ordering starting from an edge incident with the precoloured edge.

Lemma 4.

Let Δ3\Delta\geq 3. Let xx,yyE(QΔ+)xx^{\prime},yy^{\prime}\in E(Q_{\Delta}^{+}) be the two edges containing a vertex of degree 1.

  • If α\alpha is a Δ\Delta-edge colouring of QΔ+Q_{\Delta}^{+}, then α(xx)=α(yy)\alpha(xx^{\prime})=\alpha(yy^{\prime}).

  • If xxxx^{\prime} is precoloured with some colour i[Δ]i\in[\Delta], then there is a connected ordering of the edges of QΔ+Q_{\Delta}^{+} such that the greedy procedure uses Δ\Delta colours.

Proof.

To see the first claim, suppose that we assign xxxx^{\prime} and yyyy^{\prime} different colours. One of the colour classes must then cover an odd number of vertices from QΔQ_{\Delta} (because it covers an even number of vertices in QΔ+Q_{\Delta}^{+} as any colour class of an edge colouring of QΔ+Q_{\Delta}^{+} forms a matching). Let vV(QΔ)v\in V(Q_{\Delta}) be a vertex not covered by this colour class. Since vv has degree Δ\Delta, there are edges of Δ\Delta different colours incident to it. Hence we have used at least Δ+1\Delta+1 colours.

To see the second claim, fix any Δ\Delta-edge colouring α\alpha of QΔ+Q_{\Delta}^{+} with α(xx)=i\alpha(xx^{\prime})=i. Let z{x,x}z\in\{x,x^{\prime}\} be the vertex of degree Δ\Delta. We can now always create an ordering of the edges leading to the edge colouring α\alpha. Indeed, we first colour the edge incident to zz which needs to get colour 11, then the edge incident to zz that needs to get colour 22, etc, until we coloured all edges incident to zz. We then pick a neighbour of zz of degree Δ\Delta and colour all edges incident to this one in a similar order. We continue like this until all edges have been coloured. ∎

We will extend QΔ+Q_{\Delta}^{+} into a gadget HH. Let us first explain the case Δ=3\Delta=3. We obtain the graph H3H_{3} from the graph Q3+Q_{3}^{+} by adding a new vertex uu adjacent to the vertices xx^{\prime} and yy^{\prime} as well as adding a new vertex ss adjacent to uu as in Figure 1. Suppose we have a connected greedy 3-edge colouring of HH starting from ss. By Lemma 4, xxxx^{\prime} and yyyy^{\prime} must get the same colour. Since xux^{\prime}u and yuy^{\prime}u cannot get the same colour, the edges xx,yyxx^{\prime},yy^{\prime} and susu must all receive the same colour. Since we started from ss, some edge from {xx,yy}\{xx^{\prime},yy^{\prime}\} is the first edge to be coloured from Q3+Q_{3}^{+}. Since xx^{\prime} and yy^{\prime} have degree 22, this edge will not get colour 33. If we force the edge susu to have colour 33, and then continue in a connected greedy fashion, then this shows we cannot colour all the edges using three colours. On the other hand, if we force it to have colour 11 or 22, then we can continue to colour xux^{\prime}u, xxxx^{\prime}, the remainder of the hypercube and finally yyyy^{\prime} and yuy^{\prime}u using Lemma 4. This proves the lemma below in the case Δ=3\Delta=3.

xxyyxxyyxx^{\prime}yy^{\prime}uussQΔxyQ_{\Delta}-xyQΔxyQ_{\Delta}-xy\vdotsΔ2\Delta-2
Figure 2: The graph HH is depicted with a possible edge colouring.
Lemma 5.

For any Δ3\Delta\geq 3, there exists a graph HH of maximum degree Δ\Delta with a special vertex ss of degree 11 with the following properties.

  • If the edge incident with ss is precoloured with colour Δ\Delta, then there is no connected greedy Δ\Delta-edge colouring of HH starting from this edge.

  • If the edge incident with ss is precoloured with i[Δ1]i\in[\Delta-1], then there exists a connected greedy Δ\Delta-edge colouring of HH starting from this edge.

Proof.

We extend Δ2\Delta-2 copies of QΔ+Q_{\Delta}^{+} to the graph HH. We first glue all these copies on their respective vertices labelled xx^{\prime} and yy^{\prime}. We then obtain the graph HH by adding a new vertex uu adjacent to the (merged) vertices xx^{\prime} and yy^{\prime} and a new vertex ss adjacent to uu (see Figure 2).

Let α\alpha be a Δ\Delta-edge colouring. Since α(xu)α(yu)\alpha(x^{\prime}u)\neq\alpha(y^{\prime}u), we find that there exists a QΔ+Q_{\Delta}^{+} copy for which α(xx)=α(yy)=α(su)\alpha(xx^{\prime})=\alpha(yy^{\prime})=\alpha(su), where xx and yy are the vertices in this copy adjacent to xx^{\prime} and yy^{\prime} respectively. If we start the colouring from an edge incident to uu, then one of the edges in {xx,yy}\{xx^{\prime},yy^{\prime}\} is the first edge to be coloured from QΔ+Q_{\Delta}^{+}; since xx^{\prime} has degree Δ1\Delta-1, this edge will not get colour Δ\Delta. Combined with Lemma 4, this shows that no connected Δ\Delta-edge colouring starting from susu can exist in which the edge susu is precoloured Δ\Delta.

On the other hand, if susu gets a colour strictly smaller than Δ\Delta, then we first may colour xux^{\prime}u, then all edges incident to xx^{\prime}, and finally by Lemma 4 we can further extend the connected ordering in such a way that all copies of QΔ+Q_{\Delta}^{+} are Δ\Delta-edge coloured while no edge incident with yy^{\prime} receives colour Δ\Delta. So we have at least one colour leftover for yuy^{\prime}u (which will in fact need to get colour Δ\Delta). ∎

We are now ready to show that it is NP-hard to decide whether χ(G)=χc(G)\chi^{\prime}(G)=\chi_{c}(G) on the class of graphs of maximum degree Δ\Delta, for all Δ4\Delta\geq 4.

Proof of Theorem 1.

Let d=Δ1d=\Delta-1, and let GG be an nn-vertex dd-regular graph. We transform GG into a graph GG^{\prime} of maximum degree Δ\Delta such that χ(G)=d\chi^{\prime}(G)=d if and only if χc(G)=χ(G)\chi^{\prime}_{c}(G^{\prime})=\chi^{\prime}(G^{\prime}). In fact, χ(G)=Δ\chi^{\prime}(G^{\prime})=\Delta and |V(G)|Δ22Δn|V(G^{\prime})|\leq\Delta^{2}2^{\Delta}n. This reduction proves the theorem since deciding whether χ(G)=d\chi^{\prime}(G)=d is NP-hard on dd-regular graphs for all d3d\geq 3, as shown by Leven and Galil [4].

\vdotsΔ1\Delta-1uuuuHsH-sHsH-sssvvGvG_{v}
Figure 3: We create an instance of the depicted graph for each vertex of GG.

Let Δ=d+1\Delta=d+1 and let HH be the graph from Lemma 5. For each vV(G)v\in V(G), we create a graph GvG_{v} by merging Δ1\Delta-1 copies of HH on their special vertex ss (see Figure 3). The graph GG^{\prime} is obtained from GG by connecting GvG_{v} to vv via an edge for each vV(G)v\in V(G); for v,vv,v^{\prime} distinct vertices of GG, the graphs GvG_{v} and GvG_{v^{\prime}} are disjoint and have no edges between them. Note that χ(G)=Δ\chi^{\prime}(G^{\prime})=\Delta.

Suppose first that our dd-regular graph GG can be coloured using dd colours. Fix a dd-edge colouring α\alpha of GG. There is a connected ordering of the edges of GG that results in the edge colouring α\alpha. Indeed, since GG is dd-regular, whenever we have ‘reached’ a vertex we can assign the edges incident to this vertex the desired colours, starting from the edge coloured 11, continuing with the edge coloured 22 etc. We may then colour the edge from vv to GvG_{v} with colour d+1d+1 for all vV(G)v\in V(G). Continuing in the various copies of HH, the corresponding edge susu gets a colour <d+1=Δ<d+1=\Delta and hence by Lemma 5 there is a connected ordering in which we can edge colour these with Δ\Delta colours. So χc(G)=χ(G)\chi_{c}^{\prime}(G^{\prime})=\chi^{\prime}(G^{\prime}).

Suppose now that GG is not dd-edge colourable. For contradiction, suppose there is a Δ\Delta-edge colouring α\alpha that can be obtained via a connected ordering. Since GG is not dd-edge colourable, α(vv)=d+1\alpha(vv^{\prime})=d+1 for some vvE(G)vv^{\prime}\in E(G). The two edges between v,vv,v^{\prime} and Gv,GvG_{v},G_{v^{\prime}} are then not coloured Δ\Delta. As GvG_{v} and GvG_{v^{\prime}} are not connected to each other, we may assume that these edge are coloured before any of the edges in GvG_{v} are coloured. Since ss has degree Δ\Delta, there is then a copy of HH with vertex uu connecting to ss in GvG_{v} for which susu has colour Δ\Delta and this is the first edge of HH that is coloured; this contradicts Lemma 5. So χc(G)>χ(G)\chi^{\prime}_{c}(G^{\prime})>\chi^{\prime}(G^{\prime}). ∎

To obtain a graph GG of maximum degree 3 with χc(G)>χ(G)\chi_{c}^{\prime}(G)>\chi^{\prime}(G), we may take five copies of the graph HH from Lemma 5 with Δ=3\Delta=3 and identify their vertices ss with the vertices on a 55-cycle. The resulting graph still has maximum degree 3. Any greedy connected 33-edge colouring has exactly one edge of colour 33 on the 55-cycle; but this means three copies of HH have their edge susu coloured with colour 33, and for at least two this is the first edge to be coloured in HH. This gives a contradiction with Lemma 5. Hence χc(G)>3=χ(G)\chi^{\prime}_{c}(G)>3=\chi^{\prime}(G).

3 Bipartite graphs

Theorem 2 is an immediate consequence of the following lemma.

Lemma 6.

Let GG be a connected bipartite graph with χ(G)k\chi^{\prime}(G)\leq k. Then for any vertex vV(G)v\in V(G), there exists a connected ordering starting from vv leading to a kk-edge colouring of GG.

Proof.

We prove the lemma by induction on kk. If GG is a connected graph with χ(G)=1\chi^{\prime}(G)=1, then GG is a single edge. Hence the lemma is true for k=1k=1. Suppose now that we have proven the lemma for all k<kk^{\prime}<k for some integer k2k\geq 2.

Let α:E(G)[k]\alpha:E(G)\to[k] be a kk-edge colouring of GG and let u,vV(G)u,v\in V(G). For u,vu,v distinct, we say uu strongly reaches vv in the colouring α\alpha if uvE(G)uv\in E(G) and either α(uv)<k\alpha(uv)<k or the degree of uu is kk. Each vertex strongly reaches itself. We now define reachability as the transitive closure of strong reachability: we say uu reaches vv in the colouring α\alpha if there is a sequence u=v0,v1,v=vu=v_{0},v_{1}\dots,v_{\ell}=v of vertices in GG such that vi1v_{i-1} strongly reaches viv_{i} for all i[]i\in[\ell].

We first show that for every vertex vv, there exists a kk-edge colouring of GG such that vv reaches all vertices of GG in this colouring. Take a kk-edge colouring α\alpha of GG which maximises the number of vertices that vv can reach. Suppose that vv cannot yet reach all vertices. We will strictly increase the set of vertices that vv can reach through a series of Kempe changes.

Let AV(G)A\subseteq V(G) be the set of vertices that vv can reach in α\alpha and let B=V(G)AB=V(G)\setminus A. Note that as vv reaches itself, vAv\in A. Since GG is connected, there must be an edge susu from some sAs\in A to some uBu\in B. By the definition of strong reachability, we find that ss has degree strictly smaller than kk and that α(su)=k\alpha(su)=k. Hence ss misses a colour x[k1]x\in[k-1], that is, it has no edge incident of colour xx.

Suppose first that uu has degree <k<k. If vertex uu misses colour xx as well, then the edge susu forms a (k,x)(k,x)-component on its own and a (k,x)(k,x)-Kempe change switches the colour of susu to xx. This adds the vertex uu to the set of vertices that vv can reach, increasing the set of vertices vv can reach as desired. Hence we may assume that uu misses some colour yy but does not miss colour xx. Then y<ky<k and there is some edge ee incident to uu coloured xx. Since all edges between AA and BB are coloured kk, the (x,y)(x,y)-component of ee stays within G[B]G[B]. Hence we may perform an (x,y)(x,y)-Kempe change on this component without affecting the set of vertices that vv can reach. Now we are back in the case in which uu and ss both miss colour xx, which we already handled.

Suppose now that vertex uu has degree kk. Let ee denote the edge coloured xx incident to uu. Note that the (x,k)(x,k)-component CC of ee is a path (of which one endvertex is ss). If it stays within G[B]G[B], then performing an (x,k)(x,k)-Kempe change on ee recolours susu with colour xx without affecting the colours in G[A]G[A] and hence strictly enlarges the set of vertices that vv can reach. So we may assume that CC intersects AA a second time, say sAs^{\prime}\in A is the vertex closest to ss in the path CC. Since ss^{\prime} has an edge incident with BB, we find that it has degree <k<k. Hence it has some colour y<ky<k missing. Once we ensure xx is missing at ss^{\prime}, we can do an (x,k)(x,k)-Kempe change on the component of ee and strictly increase the set of vertices that vv can reach.

If ss^{\prime} has an edge incident with colour xx, then consider the (x,y)(x,y)-component of this edge. This has to stay within AA and performing a Kempe change on it will not affect the set of vertices that vv can reach since x,y<kx,y<k. The only problem is that this chain CC^{\prime} could include the vertex ss. Here is where we use that the graph is bipartite: as can be seen in Figure 4, this would create an odd cycle in the graph, since there is an odd number of edges in CC between ss and ss^{\prime} and an even number of edges in CC^{\prime} between ss and ss^{\prime} (since they have different colours missing). Hence we may perform the (x,y)(x,y)-switch without affecting the missing colour of ss, and can then perform the (x,k)(x,k)-switch as desired.

ssss^{\prime}uukkkkkkxxxxxxxxyyyy(y)(y)(x)(x)AABB
Figure 4: If the (x,y)(x,y)-chain of ss^{\prime} includes ss, then GG contains an odd cycle.

This shows we can always strictly increase the set of vertices that vv can reach. This contradicts the maximality of α\alpha. Hence there exists a colouring α\alpha in which vv can reach all vertices.

Let C1,,CC_{1},\dots,C_{\ell} denote the connected components of GG when we remove all edges of GG coloured kk in α\alpha, where vC1v\in C_{1}. We will show that there is a connected ordering starting from vv that leads to a kk-edge colouring of GG which is a (k1)(k-1)-edge colouring when restricted to any CiC_{i}. Since vv can reach everything in α\alpha, after possibly renumbering C2,,CC_{2},\dots,C_{\ell}, we can find vertices

siC1Ci and vi+1Ci+1NG(si),s_{i}\in C_{1}\cup\dots\cup C_{i}\text{ and }v_{i+1}\in C_{i+1}\cap N_{G}(s_{i}),

for i=1,,i=1,\dots,\ell, such that for all i[1]i\in[\ell-1], sis_{i} can strongly reach vi+1v_{i+1} (‘reach in one step’) and hence dG(si)=kd_{G}(s_{i})=k (since we already know α(sivi+1)=k\alpha(s_{i}v_{i+1})=k by the definition of the components).

Since C1C_{1} is a connected bipartite graph with χ(C1)k1\chi^{\prime}(C_{1})\leq k-1, there exists a connected ordering starting from vv that (k1)(k-1)-edge colours C1C_{1} by the induction hypothesis. By the definition of the components, all edges incident to s1s_{1} except for s1v2s_{1}v_{2} have now been coloured. We colour the edge s1v2s_{1}v_{2} next; this obtains colour kk. Since C2C_{2} is a connected bipartite graph with χ(C2)k1\chi^{\prime}(C_{2})\leq k-1, there exists a connected ordering starting from v2v_{2} that (k1)(k-1)-edge colours C2C_{2} by the induction hypothesis. We extend our previous ordering by this connected ordering and continue like this until we have coloured all edges within the components. We then colour the edges between the components; since colour kk will always be available to them, they will all receive a colour at most kk. ∎

4 Subcubic graphs

Let GG be a graph, let α\alpha be a kk-edge colouring of GG and let i[k]i\in[k]. We say that a vertex vV(G)v\in V(G) can ii-reach another vertex wV(G)w\in V(G) in α\alpha if there exists a sequence of vertices v=v0,v1,v2,,v=wv=v_{0},v_{1},v_{2},\dots,v_{\ell}=w of GG such that for all j[]j\in[\ell] there is an edge vjvj+1E(G)v_{j}v_{j+1}\in E(G) and one of the following holds:

  • α(vjvj+1)<i\alpha(v_{j}v_{j+1})<i;

  • vjv_{j} has incident edges in colours 1,2,,α(vjvj+1)1,2,\dots,\alpha(v_{j}v_{j+1}).

If k=i=Δk=i=\Delta the maximum degree of GG, then this reduces to the notion of reachability from the proof of Theorem 2. The proof of Theorem 3 follows from the lemma below which might be of independent interest.

Lemma 7.

Suppose GG is a graph with maximum degree Δ\Delta and vV(G)v\in V(G). Then GG has an (Δ+1)(\Delta+1)-edge colouring α\alpha such that vv can Δ\Delta-reach all other vertices of GG in α\alpha.

Proof.

In this proof, we will omit the Δ\Delta from Δ\Delta-reach. By Vizing’s theorem [6], GG has at least one (Δ+1)(\Delta+1)-edge colouring α\alpha. We choose such a colouring α\alpha that maximises the size of the set AA of vertices that vv can reach in α\alpha. Let B=V(G)AB=V(G)\setminus A be the set of vertices that vv cannot reach.

Suppose that AV(G)A\neq V(G). The edges between AA and BB are of colour Δ\Delta or Δ+1\Delta+1. Let CBC\subseteq B be the neighbours of AA via edges coloured Δ\Delta. Let DBD\subseteq B the set of vertices adjacent to a vertex in CC (which a priori might overlap with CC). We claim that we can obtain an edge colouring in which vv can reach a strictly larger set of vertices than AA (contradicting the maximality of AA) as soon as one of the following properties holds.

  • (1)

    CC is empty, i.e. there is no Δ\Delta-edge between AA and BB.

  • (2)

    There is an (x,Δ)(x,\Delta)-Kempe chain with x<Δx<\Delta which is a path between a vertex in AA and a vertex in BB.

  • (3)

    Some cCc\in C has a colour x[Δ1]x\in[\Delta-1] missing.

  • (4)

    Some dDd\in D misses colour Δ\Delta or Δ+1\Delta+1.

We will prove the claim after we show that we can assume one of (1)(4)(1)-(4) holds. We suppose all properties above do not hold. Since (1) fails, we know there is an edge from some aAa\in A to some cCc\in C (which has colour Δ\Delta by definition of CC). Since cc is not reachable, there is a colour x<Δx<\Delta missing at aa. Since (3) fails, cc is incident to an edge cdcd of colour xx. As (4)(4) fails, we know that there is some colour y<Δy<\Delta missing at dd. Consider a (Δ,y)(\Delta,y)-Kempe chain starting at dd. Since (2) fails, it stays within BB. After performing the switch, there is a vertex in DD with no edge coloured Δ\Delta, contradicting with (4) failing.

To prove the claim in case (1), suppose that there are no edges coloured Δ\Delta between AA and BB. Since GG is connected, there exists an edge from some aAa\in A to some bBb\in B. Then α(ab)=Δ+1\alpha(ab)=\Delta+1. Let x<Δ+1x<\Delta+1 be the smallest colour missing at aa. Since bb has the edge abab incident in colour Δ+1\Delta+1, bb misses some colour y<Δ+1y<\Delta+1. We do an (x,y)(x,y)-Kempe change on the component of bb (this could be empty). Since all the edges between AA and BB are coloured Δ+1\Delta+1, this chain stays within BB. After the switch both aa and bb miss the colour xx. We may recolour the edge abab with colour xx, and now the set of vertices that vv can reach has increased (since vv can now reach bb as well).

To prove the claim in case (2), suppose that some (x,Δ)(x,\Delta)-chain for x<Δx<\Delta starts in uBu\in B and contains a vertex ss from AA. Let aAa\in A and bBb\in B such that abab is the closest edge between AA and BB in this chain to ss. As x<Δx<\Delta, we find α(ab)=Δ\alpha(ab)=\Delta. Thus aa must have some colour y<Δy<\Delta missing (since bb cannot be reached). The (x,y)(x,y)-chain starting at aa will stay within AA and switching it does not affect which vertices vv can reach. So we may assume that xx is missing at aa and the (x,Δ)(x,\Delta)-component of aa is a path between aa and uu that only intersects AA in the vertex aa. A Kempe change on this component strictly increases the set of vertices that vv can reach.

We now prove the claim assuming (3). Suppose that cCc\in C has a colour x<Δx<\Delta missing. Let aAa\in A with α(ac)=Δ\alpha(ac)=\Delta (which exists by the definition of CC). Let y<Δy<\Delta be a colour missing at aa. The (x,y)(x,y)-chain starting at cc stays in BB, and hence we may perform a switch and then recolour acac to yy in order to increase the set of vertices that vv can reach.

Finally, we prove the claim from (4). Suppose dDd\in D misses colour Δ\Delta or Δ+1\Delta+1. Let cCc\in C be the vertex dd is adjacent to. By (3) we are done unless cc only has the colour Δ+1\Delta+1 missing. If Δ+1\Delta+1 is missing at dd, then we recolour cdcd to colour Δ+1\Delta+1 in order to reduce to (3). So Δ\Delta is missing at dd. Let aAa\in A with α(ac)=Δ\alpha(ac)=\Delta. Let y=α(cd)<Δy=\alpha(cd)<\Delta and let x<Δx<\Delta be a missing colour at aa. We may perform an (x,y)(x,y)-Kempe change starting at aa to ensure that aa misses colour yy. The only vertices on the (y,Δ)(y,\Delta)-Kempe chain containing cc are then aa and dd. After we switch this chain, the set of vertices that vv can reach has strictly increased again. ∎

We are now ready to prove that any graph of maximum degree Δ3\Delta\leq 3 satisfies χc(G)Δ+1\chi_{c}^{\prime}(G)\leq\Delta+1.

Proof of Theorem 3.

Let GG be a graph of maximum degree 3. Pick a vertex vV(G)v\in V(G). Let α\alpha be a 44-edge colouring of GG in which vv can 33-reach all other vertices of GG; this exists by the lemma above.

The proof follows the same argument as the second half of the proof of Theorem 2, now using the fact that any (1,2)(1,2)-component can be 22-edge coloured in a connected greedy fashion starting from any vertex instead of applying the induction hypothesis.

Let C1C_{1} be the (1,2)(1,2)-component of vv. After doing a (1,2)(1,2)-Kempe change if needed, we can colour C1C_{1} in a connected greedy fashion starting from vv. If GG has more components, then since vv can 33-reach all other vertices, there must be a (1,2)(1,2)-component C2C1C_{2}\neq C_{1} and vertices v2C2v_{2}\in C_{2} and s1C1s_{1}\in C_{1} such that s1v2E(G)s_{1}v_{2}\in E(G), and either α(s1v2)<3\alpha(s_{1}v_{2})<3 or s1s_{1} has incident edges in colours 1,,α(s1v2)1,\dots,\alpha(s_{1}v_{2}) in α\alpha. Since s1s_{1} and v2v_{2} are in different (1,2)(1,2)-components, we conclude the latter holds. Since GG has maximum degree 33, it follows that α(s1v2)=3\alpha(s_{1}v_{2})=3. Hence all edges incident to s1s_{1} have been coloured apart from s1v2s_{1}v_{2}, which we put next in the connected ordering. After performing a (1,2)(1,2)-switch if needed, we 22-edge colour the edges of C2C_{2} in a connected greedy fashion starting from v2v_{2}. (Note that there might be no edges to colour in this step, as the component might consist of only v2v_{2}.) As long as the edges of some (1,2)(1,2)-component have not been coloured, we can continue the connected ordering in a similar fashion. The resulting (partial) colouring has the same (1,2)(1,2)-components as α\alpha and coloured an edge 33 if and only if it has colour 33 in α\alpha. We finish the connected ordering by first colouring the edges coloured 33 by α\alpha and then the edges coloured 44 by α\alpha; all these edges receive a colour at most 44. ∎

Acknowledgements

We are grateful to LaBRI for providing us with a great working environment during the time at which the research was conducted. The second and sixth author are thankful for the funding of the ANR Project GrR (ANR-18-CE40-0032) that made their visit possible.

References

  • [1] Fabrício Benevides, Victor Campos, Mitre Dourado, Simon Griffiths, Robert Morris, Leonardo Sampaio, and Ana Silva. Connected greedy colourings. In Alberto Pardo and Alfredo Viola, editors, LATIN 2014: Theoretical Informatics, pages 433–441, Berlin, Heidelberg, 2014. Springer.
  • [2] Édouard Bonnet, Florent Foucaud, Eun Jung Kim, and Florian Sikora. Complexity of Grundy coloring and its variants. Discrete Applied Mathematics, 243:99–114, 2018.
  • [3] Ngoc Khang Le and Nicolas Trotignon. Connected greedy colouring in claw-free graphs. arXiv preprint arXiv:1805.01953, 2018.
  • [4] D. Leven and Z. Galil. NP-completeness of finding the chromatic index of regular graphs. Journal of Algorithms, 4:35–44, 1983.
  • [5] Esdras Mota, Leonardo Rocha, and Ana Silva. Connected greedy coloring of HH-free graphs. Discrete Applied Mathematics, 284:572–584, 2020.
  • [6] Vadim G. Vizing. On an estimate of the chromatic class of a pp-graph. Discret Analiz, 3:25–30, 1964.
  • [7] Manouchehr Zaker. Results on the Grundy chromatic number of graphs. Discrete mathematics, 306(23):3166–3173, 2006.