Abstract
The kColouring problem is to decide if the vertices of a graph can be coloured with at most k colours for a fixed integer k such that no two adjacent vertices are coloured alike. If each vertex u must be assigned a colour from a prescribed list \(L(u)\subseteq \{1,\ldots ,k\},\) then we obtain the List kColouring problem. A graph G is Hfree if G does not contain H as an induced subgraph. We continue an extensive study into the complexity of these two problems for Hfree graphs. The graph \(P_r+P_s\) is the disjoint union of the rvertex path \(P_r\) and the svertex path \(P_s.\) We prove that List 3Colouring is polynomialtime solvable for \((P_2+P_5)\)free graphs and for \((P_3+P_4)\)free graphs. Combining our results with known results yields complete complexity classifications of 3Colouring and List 3Colouring on Hfree graphs for all graphs H up to seven vertices.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Graph colouring is a popular concept in Computer Science and Mathematics due to a wide range of practical and theoretical applications, as evidenced by numerous surveys and books on graph colouring and many of its variants (see, for example, [1, 6, 15, 23, 26, 30, 32, 34]). Formally, a colouring of a graph \(G=(V,E)\) is a mapping \(c: V\rightarrow \{1,2,\ldots \}\) that assigns each vertex \(u\in V\) a colourc(u) in such a way that \(c(u)\ne c(v)\) whenever \(uv\in E.\) If \(1\le c(u)\le k,\) then c is also called a kcolouring of G and G is said to be kcolourable. The Colouring problem is to decide if a given graph G has a kcolouring for some given integer k.
It is well known that Colouring is \({\mathsf {NP}}\)complete even if \(k=3\) [29]. To pinpoint the reason behind the computational hardness of Colouring one may impose restrictions on the input. This led to an extensive study of Colouring for special graph classes, particularly hereditary graph classes. A graph class is hereditary if it is closed under vertex deletion. As this is a natural property, hereditary graph classes capture a very large collection of wellstudied graph classes. A classical result in this area is due to Grötschel, Lovász, and Schrijver [18], who proved that Colouring is polynomialtime solvable for perfect graphs.
It is readily seen that a graph class \({\mathcal{G}}\) is hereditary if and only if \({\mathcal{G}}\) can be characterized by a unique set \({\mathcal{H}}_{\mathcal{G}}\) of minimal forbidden induced subgraphs. If \({\mathcal{H}}_{\mathcal{G}}=\{H\},\) then a graph \(G\in {\mathcal{G}}\) is called Hfree. Hence, for a graph H, the class of Hfree graphs consists of all graphs with no induced subgraph isomorphic to H.
Král’, Kratochvíl, Tuza, and Woeginger [25] started a systematic study into the complexity of Colouring on \({\mathcal{H}}\)free graphs for sets \({\mathcal{H}}\) of size at most 2. They showed polynomialtime solvability if H is an induced subgraph of \(P_4\) or \(P_1+P_3\) and \({\mathsf {NP}}\)completeness for all other graphs H. The classification for the case where \({\mathcal{H}}\) has size 2 is far from finished; see the summary in [15] or an updated partial overview in [12] for further details. Instead of considering sets \({\mathcal{H}}\) of size 2, we consider Hfree graphs and follow another wellstudied direction, in which the number of colours k is fixed, that is, k no longer belongs to the input. This leads to the following decision problem:
kColouring  
Instance: a graph G  
Question: does there exist a kcolouring of G 
A klist assignment of G is a function L with domain V such that the list of admissible coloursL(u) of each \(u\in V\) is a subset of \(\{1, 2, \dots ,k\}.\) A colouring crespectsL if \(c(u)\in L(u)\) for every \(u\in V.\) If k is fixed, then we obtain the following generalization of kColouring:
List kColouring  
Instance: a graph G and a klist assignment L  
Question: does there exist a colouring of G that respects L 
For every \(k\ge 3,\)kColouring on Hfree graphs is \({\mathsf {NP}}\)complete if H contains a cycle [14] or an induced claw [21, 28]. Hence, it remains to consider the case where H is a linear forest (a disjoint union of paths). The situation is far from settled yet, although many partial results are known [3,4,5, 8,9,10,11, 16, 20, 22, 27, 31, 33, 35]. Particularly, the case where H is the tvertex path \(P_t\) has been well studied. The cases \(k=4,\)\(t=7\) and \(k=5,\)\(t=6\) are \({\mathsf {NP}}\)complete [22]. For \(k\ge 1,\)\(t=5\) [20] and \(k=3,\)\(t=7\) [3], even List kColouring on \(P_t\)free graphs is polynomialtime solvable (see also [15]).
For a fixed integer k, the kPrecolouring Extension problem is to decide if a given kcolouring \(c^{\prime }\) defined on an induced subgraph \(G^{\prime }\) of a graph G can be extended to a kcolouring c of G. Note that kColouring is a special case of kPrecolouring Extension, whereas the latter problem can be formulated as a special case of List kColouring by assigning list \(\{c^{\prime }(u)\}\) to every vertex u of \(G^{\prime }\) and list \(\{1,\ldots ,k\}\) to every other vertex of G. Recently, it was shown in [9] that 4Precolouring Extension, and therefore 4Colouring, is polynomialtime solvable for \(P_6\)free graphs. In contrast, the more general problem List 4Colouring is \({\mathsf {NP}}\)complete for \(P_6\)free graphs [16]. See Table 1 for a summary of all these results.
From Table 1 we see that only the cases \(k=3,\)\(t\ge 8\) are still open, although some partial results are known for kColouring for the case \(k=3,\)\(t=8\) [10]. The situation when H is a disconnected linear forest \(\bigcup P_i\) is less clear. It is known that for every \(s\ge 1,\) List 3Colouring is polynomialtime solvable for \(sP_3\)free graphs [5, 15]. For every graph H, List 3Colouring is polynomialtime solvable for \((H+P_1)\)free graphs if it is polynomially solvable for Hfree graphs [5, 15]. If \(H=rP_1+P_5\)\((r\ge 0),\) then for every integer k, List kColouring is polynomialtime solvable on \((rP_1+P_5)\)free graphs [11]. This result cannot be extended to larger linear forests H, as List 4Colouring is \({\mathsf {NP}}\)complete for \(P_6\)free graphs [16] and List 5Colouring is \({\mathsf {NP}}\)complete for \((P_2+P_4)\)free graphs [11].
A way of making progress is to complete a classification by bounding the size of H. It follows from the above results and the ones in Table 1 that for a graph H with \(V(H)\le 6,\) 3Colouring and List 3Colouring (and consequently, 3Precolouring Extension) are polynomialtime solvable on Hfree graphs if H is a linear forest, and \({\mathsf {NP}}\)complete otherwise (see also [15]). There are two open cases [15] that must be solved in order to obtain the same statement for graphs H with \(V(H)\le 7.\) These cases are

\(H=P_2+P_5\)

\(H=P_3+P_4.\)
1.1 Our Results
In Sect. 2 we address the two missing cases listed above by proving the following theorem.
Theorem 1
List 3Colouring is polynomialtime solvable for\((P_2+P_5)\)free graphs and for\((P_3+P_4)\)free graphs.
We prove Theorem 1 as follows. If the graph G of an instance (G, L) of List 3Colouring is \(P_7\)free, then we can use the aforementioned result of Bonomo et al. [3]. Hence we may assume that G contains an induced \(P_7.\) We consider every possibility of colouring the vertices of this \(P_7\) and try to reduce each resulting instance to a polynomial number of smaller instances of 2Satisfiability. As the latter problem can be solved in polynomial time, the total running time of the algorithm will be polynomial. The crucial proof ingredient is that we partition the set of vertices of G that do not belong to the \(P_7\) into subsets of vertices that are of the same distance to the \(P_7.\) This leads to several “layers” of G. We analyse how the vertices of each layer are connected to each other and to vertices of adjacent layers so as to use this information in the design of our algorithm.
Combining Theorem 1 with the known results yields the following complexity classifications for graphs H up to seven vertices; see Sect. 3 for its proof.
Corollary 1
Let H be a graph with\(V(H)\le 7.\)If H is a linear forest, then List 3Colouring is polynomialtime solvable for Hfree graphs; otherwise already 3Colouring is\({\mathsf {NP}}\)complete for Hfree graphs.
1.2 Preliminaries
Let \(G=(V,E)\) be a graph. For a vertex \(v\in V,\) we denote its neighbourhood by \(N(v)=\{u\; \; uv\in E\},\) its closed neighbourhood by \(N[v]=N(v)\cup \{v\}\) and its degree by \(\deg (v)=N(v).\) For a set \(S\subseteq V,\) we write \(N(S)=\bigcup _{v\in S}N(v)\setminus S\) and \(N[S]=N(S)\cup S,\) and we let \(G[S]=(S,\{uv\; \; u,v\in S\})\) be the subgraph of G induced by S. The contraction of an edge \(e=uv\) removes u and v from G and introduces a new vertex which is made adjacent to every vertex in \(N(u)\cup N(v).\) The identification of a set \(S\subseteq V\) by a vertex w removes all vertices of S from G, introduces w as a new vertex and makes w adjacent to every vertex in N(S). The length of a path is its number of edges. The distance\({{\,{\mathrm{dist}}\,}}_G(u,v)\) between two vertices u and v is the length of a shortest path between them in G. The distance\({{\,{\mathrm{dist}}\,}}_G(u,S)\) between a vertex \(u\in V\) and a set \(S\subseteq V\setminus \{v\}\) is defined as \(\min \{{{\,{\mathrm{dist}}\,}}(u,v)\; \; v\in S\}.\)
For two graphs G and H, we use \(G+H\) to denote the disjoint union of G and H, and we write rG to denote the disjoint union of r copies of G. Let (G, L) be an instance of List 3Colouring. For \(S\subseteq V(G),\) we write \(L(S)=\bigcup _{u\in S}L(u).\) We let \(P_n\) and \(K_n\) denote the path and complete graph on n vertices, respectively. The diamond is the graph obtained from \(K_4\) after removing an edge.
We say that an instance \((G^{\prime },L^{\prime })\) is smaller than some other instance (G, L) of List 3Colouring if either \(G^{\prime }\) is an induced subgraph of G with \(V(G^{\prime })<V(G)\); or \(G^{\prime }=G\) and \(L^{\prime }(u)\subseteq L(u)\) for each \(u\in V(G),\) such that there exists at least one vertex \(u^*\) with \(L^{\prime }(u^*)\subset L(u^*).\)
2 The Proof of Theorem 1
In this section we show that List 3Colouring problem is polynomialtime solvable for \((P_2+P_5)\)free graphs and for \((P_3+P_4)\)free graphs. As arguments for these two graph classes are overlapping, we prove both cases simultaneously. Our proof uses the following two results.
Theorem 2
([3]) List 3Colouring is polynomialtime solvable for\(P_7\)free graphs.
If we cannot apply Theorem 2, our strategy is to reduce, in polynomial time, an instance (G, L) of List 3Colouring to a polynomial number of smaller instances of 2List Colouring. We use the following wellknown result due to Edwards.
Theorem 3
([13]) The 2List Colouring problem is lineartime solvable.
We are now ready to prove our main result , namely that List 3Colouring is polynomialtime solvable for \((P_2+P_5)\)free graphs and for \((P_3+P_4)\)free graphs. As arguments for these two graph classes are overlapping, we prove both cases simultaneously. We start with an outline followed by a formal proof.
Outline of the proof of Theorem 1. Our goal is to reduce, in polynomial time, a given instance (G, L) of List 3Colouring, where G is \((P_2+P_5)\)free or \((P_3+P_4)\)free, to a polynomial number of smaller instances of 2ListColouring in such a way that (G, L) is a yesinstance if and only if at least one of the new instances is a yesinstance. As for each of the smaller instances, we can apply Theorem 3, the total running time of our algorithm will be polynomial.
If G is \(P_7\)free, then we do not have to do the above and may apply Theorem 2 instead. Hence, we assume that G contains an induced \(P_7.\) We put the vertices of the \(P_7\) in a set \(N_0\) and define sets \(N_i\)\((i\ge 1\)) of vertices of the same distance i from \(N_0\); we say that the sets \(N_i\) are the layers of G. We then analyse the structure of these layers using the fact that G is \((P_2+P_5)\)free or \((P_3+P_4)\)free. The first phase of our algorithm is about preprocessing (G, L) after colouring the seven vertices of \(N_0\) and applying a number of propagation rules. We consider every possible colouring of the vertices of \(N_0.\) In each branch, we may have to deal with vertices u that still have a list L(u) of size 3. We call such vertices active and prove that they all belong to \(N_2.\) We then enter the second phase of our algorithm. In this phase we show, via some further branching, that \(N_1\)neighbours of active vertices either all have a list from \(\{\{h,i\},\{h,j\}\},\) where \(\{h,i,j\}=\{1,2,3\},\) or they all have the same list \(\{h,i\}.\) In the third phase, we reduce, again via some branching, to the situation where only the latter option applies: \(N_1\)neighbours of active vertices all have the same list. Then in the fourth and final phase of our algorithm, we know so much structure of the instance that we can reduce to a polynomial number of smaller instances of 2ListColouring via a new propagation rule identifying common neighbourhoods of two vertices by a single vertex.
Theorem 1
(Restated) List 3Colouring is polynomialtime solvable for\((P_2+P_5)\)free graphs and for\((P_3+P_4)\)free graphs.
Proof
Let (G, L) be an instance of List 3Colouring, where \(G=(V,E)\) is an Hfree graph for \(H\in \{P_2+P_5,P_3+P_4\}.\) Note that G is \((P_3+P_5)\)free. Since the problem can be solved componentwise, we may assume that G is connected. If G contains a \(K_4,\) then G is not 3colourable, and thus (G, L) is a noinstance. As we can decide if G contains a \(K_4\) in \(O(n^4)\) time by brute force, we assume that from now on G is \(K_4\)free. By brute force, we either deduce in \(O(n^7)\) time that G is \(P_7\)free or we find an induced \(P_7\) on vertices \(v_1,\ldots ,v_7\) in that order. In the first case, we use Theorem 2. It remains to deal with the second case.
Definition
(Layers) Let \(N_0=\{v_1,\ldots ,v_7\}.\) For \(i\ge 1,\) we define \(N_i=\{u\, \; {{\,{\mathrm{dist}}\,}}(u,N_0)=i\}.\) We call the sets \(N_i\)\((i\ge 0)\) the layers of G.
In the remainder, we consider \(N_0\) to be a fixed set of vertices. That is, we will update (G, L) by applying a number of propagation rules and doing some (polynomial) branching, but we will never delete the vertices of \(N_0.\) This will enable us to exploit the Hfreeness of G.
We show the following two claims about layers.
Claim 1
\(V=N_0\cup N_1\cup N_2\cup N_3.\)
Proof of Claim 1
Suppose \(N_i\ne \emptyset\) for some \(i\ge 4.\) As G is connected, we may assume that \(i=4.\) Let \(u_4\in N_4.\) By definition, there exists two vertices \(u_3\in N_3\) and \(u_2\in N_2\) such that \(u_2\) is adjacent to \(u_3\) and \(u_3\) is adjacent to \(u_4.\) Then G has an induced \(P_3+P_5\) on vertices \(u_2,u_3,u_4, v_1,v_2,v_3,v_4, v_5,\) a contradiction.\(\diamond\)
Claim 2
\(G[N_2\cup N_3]\)is the disjoint union of complete graphs of size at most 3, each containing at least one vertex of \(N_2\)(and thus at most two vertices of \(N_3\)).
Proof of Claim 2
First assume that \(G[N_2\cup N_3]\) has a connected component D that is not a clique. Then D contains an induced \(P_3,\) which together with the subgraph \(G[\{v_1,\ldots ,v_5\}\)] forms an induced \(P_3+P_5,\) a contradiction. Then the claim follows after recalling that G is \(K_4\)free and connected.\(\diamond\)
We will now introduce a number of propagation rules, which run in polynomial time. We are going to apply these rules on Gexhaustively, that is, until none of the rules can be applied anymore. Note that during this process some vertices of G may be deleted (due to Rules 4 and 10), but as mentioned we will ensure that we keep the vertices of \(N_0,\) while we may update the other sets \(N_i\)\((i\ge 1).\) We say that a propagation rule is safe if the new instance is a yesinstance of List 3Colouring if and only if the original instance is so.
 Rule 1:

(no empty lists) If \(L(u)=\emptyset\) for some \(u\in V,\) then return no.
 Rule 2:

(some lists of size 3) If \(L(u)\le 2\) for every \(u\in V,\) then apply Theorem 3.
 Rule 3:

(connected graph) If G is disconnected, then solve List 3Colouring on each instance \((D,L_D),\) where D is a connected component of G that does not contain \(N_0\) and \(L_D\) is the restriction of L to D. If D has no colouring respecting \(L_D,\) then return no; otherwise remove the vertices of D from G.
 Rule 4:

(no coloured vertices) If \(u\notin N_0,\)\(L(u)=1\) and \(L(u)\cap L(v)= \emptyset\) for all \(v\in N(u),\) then remove u from G.
 Rule 5:

(single colour propagation) If u and v are adjacent, \(L(u)=1,\) and \(L(u)\subseteq L(v),\) then set \(L(v) := L(v) \setminus L(u).\)
 Rule 6:

(diamond colour propagation) If u and v are adjacent and share two common neighbours x and y with \(L(x)\ne L(y),\) then set \(L(x):=L(x)\cap L(y)\) and \(L(y):=L(x)\cap L(y).\)
 Rule 7:

(twin colour propagation) If u and v are nonadjacent, \(N(u)\subseteq N(v),\) and \(L(v)\subset L(u),\) then set \(L(u):=L(v).\)
 Rule 8:

(triangle colour propagation) If u, v, w form a triangle, \(L(u)\cup L(v)=2\) and \(L(w)\ge 2,\) then set \(L(w){{\,:=\,}}L(w)\setminus (L(u)\cup L(v)),\) so \(L(w)\le 1.\)
 Rule 9:

(no free colours) If \(L(u) \setminus L(N(u))\ge 1\) and \(L(u)\ge 2\) for some \(u\in V,\) then set \(L(u):=\{c\}\) for some \(c\in L(u) \setminus L(N(u)).\)
 Rule 10:

(no small degrees) If \(L(u)>\deg (u)\) for some \(u\in V\setminus N_0,\) then remove u from G.
As mentioned, our algorithm will branch at several stages to create a number of new but smaller instances, such that the original instance is a yesinstance if and only if at least one of the new instances is a yesinstance. Unless we explicitly state otherwise, we implicitly assume that Rules 1–10 are applied exhaustively immediately after we branch (the reason why we may do this is shown in Claim 3). If we apply Rule 1 or 2 on a new instance, then a noanswer means that we will discard the branch. So our algorithm will only return a noanswer for the original instance (G, L) if we discarded all branches. On the other hand, if we can apply Rule 2 on some new instance and obtain a yesanswer, then we can extend the obtained colouring to a colouring of G that respects L, simply by restoring all the already coloured vertices that were removed from the graph due to the rules. We will now state Claim 3.
Claim 3
Rules 1–10 are safe and their exhaustive application takes polynomial time. Moreover, if we have not obtained ayes ornoanswer, then afterwardsGis a connected\((H,K_4)\)free graph, such that\(V=N_0\cup N_1\cup N_2\cup N_3\)and\(2\le L(u)\le 3\)for every\(u\in V\setminus N_0.\)
Proof of Claim 3
It is readily seen that Rules 1–5 are safe. For Rule 6, this follows from the fact that any 3colouring assigns x and y the same colour. For Rule 7, this follows from the fact that u can always be recoloured with the same colour as v. For Rule 8, this follows from the fact that the colours from \(L(u)\cup L(v)\) must be used on u and v. For Rule 9, this follows from the fact that no colour from \(L(u) \setminus L(N(u))\) will be assigned to a vertex in N(u). For Rule 10, this follows from the fact that we always have a colour available for u.
It is readily seen that applying Rules 1, 2 and 4–10 take polynomial time. Applying Rule 3 takes polynomial time, as each connected component of G that does not contain \(N_0\) is a complete graph on at most three vertices due to the \((H,K_4)\)freeness of G (recall that \(H=P_2+P_3\) or \(H=P_3+P_4\)). Each application of a rule either results in a noanswer, a yesanswer, reduces the list size of at least one vertex, or reduces G by at least one vertex. Thus the exhaustive application of the rules takes polynomial time.
Suppose exhaustive application does not yield a noanswer or a yesanswer. By Rule 3, G is connected. As no vertex of \(N_0\) was removed, G contains \(N_0.\) Hence, we can define \(V=N_0\cup N_1\cup N_2\cup N_3\) by Claim 1. By Rules 4 and 5, we find that \(2\le L(u)\le 3\) for every \(u\in V\setminus N_0.\) It is readily seen that Rules 1–10 preserve \((H,K_4)\)freeness of G. \(\diamond\)
Phase 1: Preprocessing \({\mathbf {(G,L)}}\)
In Phase 1 we will preprocess (G, L) using the above propagation rules. To start off the preprocessing we will branch via colouring the vertices of \(N_0\) in every possible way. By colouring a vertex u, we mean reducing the list of permissible colours to size exactly one. (When \(L(u)=\{c\},\) we consider vertex coloured by colour c.) Thus, when we colour some vertex u, we always give u a colour from its list L(u). Moreover, when we colour more than one vertex we will always assign distinct colours to adjacent vertices.
Branching I (O(1) branches)
We now consider all possible combinations of colours that can be assigned to the vertices in \(N_0.\) That is, we branch into at most \(2\times 3^6\) cases, in which \(v_1, \ldots , v_7\) each receives a colour from their list. We note that each branch leads to a smaller instance and that (G, L) is a yesinstance if and only if at least one of the new instances is a yesinstance. Hence, if we applied Rule 1 in some branch, then we discard the branch. If we applied Rule 2 and obtained a noanswer, then we discard the branch as well. If we obtained a yesanswer, then we are done. Otherwise, we continue by considering each remaining branch separately. For each remaining branch, we denote the resulting smaller instance by (G, L) again.
We will now introduce a new rule, namely Rule 11. We apply Rule 11 together with the other rules. That is, we now apply Rules 1–11 exhaustively. However, each time we apply Rule 11 we first ensure that Rules 1–10 have been applied exhaustively.
 Rule 11:

(\({\mathbf {N_3}}\)reduction) If u and v are in \(N_3\) and are adjacent, then remove u and v from G.
Claim 4
Rule 11, applied after exhaustive application of Rules 1–10, is safe and takes polynomial time. Moreover, afterwardsGis a connected\((H,K_4)\)free graph, such that\(V=N_0\cup N_1\cup N_2\cup N_3\)and\(2\le L(u)\le 3\)for every\(u\in V\setminus N_0.\)
Proof of Claim 4
Assume that we applied Rules 1–10 exhaustively and that \(N_3\) contains two adjacent vertices u and v. By Claim 2, we find that u and v have a common neighbour \(w\in N_2\) and no other neighbours. By Rules 4, 5 and 10, we then find that \(L(u)=L(v)=2.\) First suppose that \(L(u)=L(v),\) say \(L(u)=L(v)=\{1,2\}.\) Then, by Rule 8, we find that \(L(w)=\{3\},\) contradicting Rule 4. Hence \(L(u)\ne L(v),\) say \(L(u)=\{1,2\}\) and \(L(v)=\{1,3\}.\) By Rule 8, we find that \(L(w)=\{2,3\}\) or \(L(w)=\{1,2,3\}.\) If w gets colour 1, we can give u colour 2 and v colour 3. If w gets colour 2, we can give u colour 1 and v colour 3. Finally, if w gets colour 3, then we can give u colour 2 and v colour 1. Hence we may set \(V:=V\setminus \{u,v\}.\) This does not destroy the connectivity or \((H,K_4)\)freeness of G.\(\diamond\)
We now show the following claim.
Claim 5
The set \(N_3\) is independent, and moreover, each vertex \(u\in N_3\) has \(L(u)=2\) and exactly two neighbours in \(N_2\) which are adjacent.
Proof of Claim 5
By Rule 11, we find that \(N_3\) is independent. By Claim 2, every vertex of \(N_3\) has at most two neighbours in \(N_2\) and these neighbours are adjacent. Hence, the claim follows from Rules 4, 5, 10 and the fact that \(N_3\) is independent. \(\diamond\)
The following claim is an immediate consequence of Claims 2 and 5 and gives a complete description of the second and third layer, see also Fig. 1.
Claim 6
Every connected component D of \(G[N_2\cup N_3]\) is a complete graph with either \(D\le 2\) and \(D\subseteq N_2,\) or \(D=3\) and \(D\cap N_3\le 1.\)
The following claim describes the location of the vertices with list of size 3 in G.
Claim 7
For every \(u\in V,\) if \(L(u)=3,\) then \(u\in N_2.\)
Proof of Claim 7
As the vertices in \(N_0\) have lists of size 1, the vertices in \(N_1\) have lists of size 2. By Claim 5, the same holds for vertices in \(N_3.\)\(\diamond\)
In the remainder of the proof, we will show how to branch in order to reduce the lists of the vertices \(u\in N_2\) with \(L(u)=3\) by at least one colour. We formalize this approach in the following definition.
Definition
(Active vertices) A vertex \(u\in N_2\) and its neighbours in \(N_1\) are called active if \(L(u)=3.\) Let \(A\) be the set of all active vertices. Let \(A_1=A\cap N_1\) and \(A_2= A\cap N_2.\) We deactivate a vertex \(u\in A_2\) if we reduce the list L(u) by at least one colour. We deactivate a vertex \(w\in A_1\) by deactivating all its neighbours in \(A_2.\)
Note that every vertex \(w\in A_1\) has \(L(w)=2\) by Rule 5 applied on the vertices of \(N_0.\) Hence, if we reduce L(w) by one colour, all neighbours of w in \(A_2\) become deactivated by Rule 5, and w is removed by Rule 4.
For \(1\le i<j\le 7,\) we let \(A(i,j)\subseteq A_1\) be the set of active neighbours of \(v_i\) that are not adjacent to \(v_j\) and similarly, we let \(A(j,i)\subseteq A_1\) be the set of active neighbours of \(v_j\) that are not adjacent to \(v_i.\)
Phase 2: Reduce the number of distinct sets \({\mathbf {A(i,j)}}\)
We will now branch into \(O(n^{45})\) smaller instances such that (G, L) is a yesinstance of List 3Colouring if and only if at least one of these new instances is a yesinstance. Each new instance will have the following property:
 (P):

for \(1\le i\le j\le 7\) with \(ji\ge 2,\) either \(A(i,j)=\emptyset\) or \(A(j,i)=\emptyset .\)
Branching II (\(O\bigl (n^{\bigl (3\cdot \left( \left( {\begin{array}{c}7\\ 2\end{array}}\right) 6\right) \bigr )}\bigr )=O(n^{45})\) branches)
Consider two vertices \(v_i\) and \(v_j\) with \(1\le i\le j\le 7\) and \(ji\ge 2.\) Assume without loss of generality that \(v_i\) is coloured 3 and that \(v_j\) is coloured either 1 or 3. Hence, every \(w\in A(i,j)\) has \(L(w)=\{1,2\},\) whereas every \(w\in A(j,i)\) has \(L(w)=\{2,q\}\) for \(q\in \{1,3\}.\) We branch as follows. We consider all possibilities where at most one vertex of A(i, j) receives colour 2 (and all other vertices of A(i, j) receive colour 1) and all possibilities where we choose two vertices from A(i, j) to receive colour 2. This leads to \(O(n)+O(n^2)=O(n^2)\) branches. In the branches where at most one vertex of A(i, j) receives colour 2, every vertex of A(i, j) will be deactivated. So Property (P) is satisfied for i and j.
Now consider the branches where two vertices \(x_1,x_2\) of A(i, j) both received colour 2. We update A(j, i) accordingly. In particular, afterwards no vertex in A(j, i) is adjacent to \(x_1\) or \(x_2,\) as 2 is a colour in the list of each vertex of A(j, i). We now do some further branching for those branches where \(A(j,i)\ne \emptyset .\) We consider the possibility where each vertex of \(N(A(j,i))\cap A_2\) is given the colour of \(v_j\) and all possibilities where we choose one vertex in \(N(A(j,i))\cap A_2\) to receive a colour different from the colour of \(v_j\) (we consider both options to colour such a vertex). This leads to O(n) branches. In the first branch, every vertex of A(j, i) will be deactivated. So Property (P) is satisfied for i and j.
Now consider a branch where a vertex \(u\in N(A(j,i))\cap A_2\) receives a colour different from the colour of \(v_j.\) We will show that also, in this case, every vertex of A(j, i) will be deactivated. For contradiction, assume that A(j, i) contains a vertex w that is not deactivated after colouring u. As u was in \(N(A(j,i))\cap A_2,\) we find that u had a neighbour \(w^{\prime }\in A(j,i).\) As u is coloured with a colour different from the colour of \(v_j,\) the size of \(L(w^{\prime })\) is reduced by one (due to Rule 4). Hence \(w^{\prime }\) got deactivated after colouring u, and thus \(w^{\prime }\ne w.\) As w is still active, w has a neighbour \(u^{\prime }\in A_2.\) As \(u^{\prime }\) and w are still active, \(u^{\prime }\) and w are not adjacent to \(w^{\prime }\) or u. Hence, \(u,w^{\prime },v_j,w,u^{\prime }\) induce a \(P_5\) in G. As \(x_1\) and \(x_2\) both received colour 2, we find that \(x_1\) and \(x_2\) are not adjacent to each other. Hence, \(x_1,v_i,x_2\) induce a \(P_3\) in G. Recall that all vertices of A(j, i), so also w and \(w^{\prime },\) are not adjacent to \(x_1\) or \(x_2.\) As u and \(u^{\prime }\) were still active after colouring \(x_1\) and \(x_2,\) we find that u and \(u^{\prime }\) are not adjacent to \(x_1\) or \(x_2\) either. By definition of A(j, i), w and \(w^{\prime }\) are not adjacent to \(v_i.\) By definition of A(i, j), \(x_1\) and \(x_2\) are not adjacent to \(v_j.\) Moreover, \(v_i\) and \(v_j\) are nonadjacent, as \(ji\ge 2.\) We conclude that G contains an induced \(P_3+P_5,\) namely with vertex set \(\{x_1,v_i,x_2\} \cup \{u,w^{\prime },v_j,w,u^{\prime }\},\) a contradiction (see Fig. 2 for an example of such a situation). Hence, every vertex of A(j, i) is deactivated. So Property (P) is satisfied for i and j also for these branches.
Finally by recursive application of the above described procedure for all pairs \(v_i, v_j\) such that \(1\le i\le j\le 7\) and \(ji\ge 2\) we get a graph satisfying Property (P), which together leads to \(O\bigl (n^{\bigl (3\cdot \left( \left( {\begin{array}{c}7\\ 2\end{array}}\right) 6\right) \bigr )}\bigr )=O(n^{45})\) branches.
We now consider each resulting instance from Branching II. We denote such an instance by (G, L) again. Note that vertices from \(N_2\) may now belong to \(N_3,\) as their neighbours in \(N_1\) may have been removed due to the branching. The exhaustive application of Rules 1– 11 preserves (P) (where we apply Rule 11 only after applying Rules 1–10 exhaustively). Hence (G, L) satisfies (P).
We observe that if two vertices in \(A_1\) have a different list, then they must be adjacent to different vertices of \(N_0.\) Hence, by Property (P), at most two lists of \(\{\{1,2\},\{1,3\},\{2,3\}\}\) can occur as lists of vertices of \(A_1.\) Without loss of generality this leads to two cases: either every vertex of \(A_1\) has list \(\{1,2\}\) or \(\{1,3\}\) and both lists occur on \(A_1\); or every vertex of \(A_1\) has list \(\{1,2\}\) only. In the next phase of our algorithm, we reduce, via some further branching, every instance of the first case to a polynomial number of smaller instances of the second case.
Phase 3: Reduce to the case where vertices of \({\mathbf {A_1}}\)have the same list
Recall that we assume that every vertex of \(A_1\) has list \(\{1,2\}\) or \(\{1,3\}.\) In this phase, we deal with the case when both types of lists occur in \(A_1.\) We first prove the following claim.
Claim 8
Let \(i\in \{1,3,5,7\}.\) Then every vertex from \(A_1 \cap N(v_i)\) is adjacent to some vertex \(v_j\) with \(j \not \in \{i1,i,i+1\}.\)
Proof of Claim 8
We may assume without loss of generality that \(i=1\) or \(i=3.\) For contradiction suppose there exists a vertex \(w \in A_1 \cap N(v_i)\) that is nonadjacent to all \(v_j\) with \(j \not \in \{i1,i,i+1\}.\) As two consecutive vertices in \(N_0\) have different colours, no vertex in \(A_1\) has two consecutive neighbours in \(N_0\) due to Rules 4 and 5. Hence \(N(w) \cap N_0 = \{v_i\}.\) By definition, w has a neighbour \(u\in A_2.\) If \(i=1,\) then \(\left\{ u,w,v_1,v_2,v_3\right\} \cup \left\{ v_5,v_6,v_7 \right\}\) induces a \(P_3+P_5\) in G. If \(i=3,\) then \(\left\{ v_1,v_2,v_3,w,u \right\} \cup \left\{ v_5,v_6,v_7 \right\}\) induces a \(P_3+P_5\) in G. \(\diamond\)
Claim 9
It holds that\(N(A_1)\cap N_0=\{v_{i1},v_{i},v_{i+1}\}\)for some\(2\le i\le 6.\)Moreover, we may assume without loss of generality that\(v_{i1}\)and\(v_{i+1}\)have colour 3 and both are adjacent to all vertices of\(A_1\)with list\(\{1,2\},\)whereas\(v_{i}\)has colour 2 and is adjacent to all vertices of\(A_1\)with list\(\{1,3\}.\)
Proof of Claim 9
Recall that lists \(\{1,2\}\) and \(\{1,3\}\) both occur on \(A_1.\) For any two vertices \(x\in A_1\) with \(L(x)=\{1,2\}\) and \(y\in A_1\) with \(L(y)=\{1,3\},\) there exist indexes i, j such that \(x\in A(i,j)\) and \(y\in A(j,i)\) (namely, x is adjacent to some vertex \(v_i\) with colour 3 and y is adjacent to some vertex \(v_j\) with colour 2). Note that x and y share no neighbour in \(N_0.\) By using Property (P), we find that each vertex of \(N(x)\cap N_0\) must be adjacent to each vertex of \(N(y)\cap N_0.\) We conclude that either \(N(A_1)\cap N_0=\{v_{i1},v_{i}\}\) for some \(2\le i\le 7,\) or \(N(A_1)\cap N_0=\{v_{i1},v_{i},v_{i+1}\}\) for some \(2\le i\le 6.\)
The case where \(N(A_1)\cap N_0=\{v_{i1},v_{i}\}\) for some \(2\le i\le 7\) is not possible due to Claim 8. It follows that \(N(A_1)\cap N_0=\{v_{i1},v_{i},v_{i+1}\}\) for some \(2\le i\le 6.\) We may assume without loss of generality that \(v_{i}\) has colour 2, meaning that \(v_{i1}\) and \(v_{i+1}\) must have colour 3. It follows that every vertex of \(A_1\) with list \(\{1,3\}\) is adjacent to \(v_i\) but not to \(v_{i1}\) or \(v_{i+1},\) whereas every vertex of \(A_1\) with list \(\{1,2\}\) is adjacent to at least one vertex of \(\{v_{i1},v_{i+1}\}\) but not to \(v_i.\) As a vertex of \(A_1\) with list \(\{1,3\}\) has \(v_i\) as its only neighbour in \(N_0,\) it follows from Claim 8 that i is an even number. This means that \(i1\) is odd. Hence, every vertex of \(A_1\) with list \(\{1,2\}\) is in fact adjacent to both \(v_{i1}\) and \(v_{i+1}\) due to Claim 8.\(\diamond\)
By Claim 9, we can partition the set \(A_1\) into two (nonempty) sets \(X_{1,2}\) and \(X_{1,3},\) where \(X_{1,2}\) is the set of vertices in \(A_1\) with list \(\{1,2\}\) whose only neighbours in \(N_0\) are \(v_{i1}\) and \(v_{i+1}\) (which both have colour 3) and \(X_{1,3}\) is the set of vertices in \(A_1\) with list \(\{1,3\}\) whose only neighbour in \(N_0\) is \(v_i\) (which has colour 2), see Fig. 3.
Our goal is to show that we can branch into at most \(O(n^2)\) smaller instances, in which either \(X_{1,2}=\emptyset\) or \(X_{1,3}=\emptyset ,\) such that (G, L) is a yesinstance of List 3Colouring if and only if at least one of these smaller instances is a yesinstance. Then afterwards it suffices to show how to deal with the case where all vertices in \(A_1\) have the same list in polynomial time; this will be done in Phase 4 of the algorithm. We start with the following O(n) branching procedure (in each of the branches we may do some further O(n) branching later on).
Branching III (O(n) branches)
We branch by considering the possibility of giving each vertex in \(X_{1,2}\) colour 2 and all possibilities of choosing a vertex in \(X_{1,2}\) and giving it colour 1. This leads to O(n) branches. In the first branch we obtain \(X_{1,2}=\emptyset .\) Hence we can start Phase 4 for this branch. We now consider every branch in which \(X_{1,2}\) and \(X_{1,3}\) are both nonempty. For each such branch we will create O(n) smaller instances of List 3Colouring, where \(X_{1,3}=\emptyset ,\) such that (G, L) is a yesinstance of List 3Colouring if and only if at least one of the new instances is a yesinstance.
Let \(w\in X_{1,2}\) be the vertex that was given colour 1 in such a branch. Although by Rule 4 vertex w will need to be removed from G, we make an exception by temporarily keeping w after we coloured it. The reason is that the presence of w will be helpful for analysing the structure of (G, L) after Rules 1–11 have been applied exhaustively (where we apply Rule 11 only after applying Rules 1–10 exhaustively). In order to do this, we first show the following three claims.
Claim 10
Vertex w is not adjacent to any vertex in \(A_2\cup X_{1,2}\cup X_{1,3}.\)
Proof of Claim 10
By giving w colour 1, the list of every neighbour of w in \(A_2\) has been reduced by one due to Rule 5. Hence, all neighbours of w in \(A_2\) are deactivated. For the same reason all neighbours of w in \(X_{1,2},\) which have list \(\{1,2\},\) are coloured 2, and all neighbours of w in \(X_{1,3},\) which have list \(\{1,3\},\) are coloured 3. These vertices were removed from the graph by Rule 4. This proves the claim. \(\diamond\)
Claim 11
The graph \(G[X_{1,3}\cup (N(X_{1,3})\cap A_2)\cup N_3]\) is the disjoint union of one or more complete graphs, each of which consists of either one vertex of \(X_{1,3}\) and at most two vertices of \(A_2,\) or one vertex of \(N_3.\)
Proof of Claim 11
We write \(G^*=G[X_{1,3}\cup (N(X_{1,3})\cap A_2)\cup N_3]\) and first show that \(G^*\) is the disjoint union of one or more complete graphs. For contradiction, assume that \(G^*\) is not such a graph. Then \(G^*\) contains an induced \(P_3,\) say on vertices \(u_1,u_2,u_3\) in that order. As \(w\in X_{1,2}\subseteq N_1,\) we find that w is not adjacent to any vertex of \(N_3.\) By Claim 10, we find that w is not adjacent to any vertex of \(A_2\cup X_{1,3}.\) Recall that \(v_{i1}\) and \(v_{i+1}\) are the only neighbours of w in \(N_0,\) whereas \(v_i\) is the only neighbour of the vertices of \(X_{1,3}\) in \(N_0.\) Hence, \(\{u_1,u_2,u_3\} \cup \{v_1, \ldots , v_{i1},w,v_{i+1},\ldots ,v_7\}\) induces a \(P_3+P_7.\) This contradicts the \((P_3+P_5)\)freeness of G. We conclude that \(G^*\) is the disjoint union of one or more complete graphs.
As G is \(K_4\)free, the above means that every connected component of \(G^*\) is a complete graph on at most three vertices. No vertex of \(N_3\) is adjacent to a vertex in \(X_{1,3}\subseteq N_1.\) Moreover, by definition, every vertex of \(N(X_{1,3})\cap A_2\) is adjacent to at least one vertex of \(X_{1,3}.\) As every connected component of \(G^*\) is a complete graph, this means that no vertex of \(N_3\) is adjacent to a vertex of \(N(X_{1,3})\cap A_2\) either. We conclude that the vertices of \(N_3\) are isolated vertices of \(G^*.\)
Let D be a connected component of \(G^*\) that does not contain a vertex of \(N_3.\) From the above we find that D is a complete graph on at most three vertices. By definition, every vertex in \(X_{1,3}\) has a neighbour in \(A_2\) and every vertex of \(N(X_{1,3})\cap A_2\) has a neighbour in \(X_{1,3}.\) This means that D either consists of one vertex in \(X_{1,3}\) and at most two vertices of \(A_2,\) or D consists of two vertices of \(X_{1,3}\) and one vertex of \(A_2.\) We claim that the latter case is not possible. For contradiction, assume that D is a triangle that consists of three vertices \(s,u_1,u_2,\) where \(s\in A_2\) and \(u_1,u_2\in X_{1,3}.\) However, as \(L(u_1)=L(u_2)=\{1,3\},\) we find that \(L(s)=1\) by Rule 8, contradicting the fact that s belongs to \(A_2.\) This completes the proof of the claim. \(\diamond\)
Claim 12
For every pair of adjacent verticess, twith\(s\in A_2\)and\(t\in N_2,\)eithertis adjacent tow, or\(N(s) \cap X_{1,3} \subseteq N(t).\)
Proof of Claim 12
For contradiction, assume that t is not adjacent to w and that there is a vertex \(r \in X_{1,3}\) that is adjacent to s but not to t. By Claim 10, we find that w is not adjacent to r or s. Just as in the proof of Claim 11, we find that \(\{r,s,t\}\) together with \(\{v_1,,\ldots ,v_{i1},w,v_{i+1},\ldots ,v_7\}\) induces a \(P_3+P_7\) in G, a contradiction. \(\diamond\)
We now continue as follows. Recall that \(X_{1,3}\ne \emptyset .\) Hence there exists a vertex \(s\in A_2\) that has a neighbour \(r\in X_{1,3}.\) As \(s\in A_2,\) we have that \(L(s)=3.\) Then, by Rule 10, we find that s has at least two neighbours t and \(t^{\prime }\) not equal to r. By Claim 11, we find that neither t nor \(t^{\prime }\) belongs to \(X_{1,3}\cup N_3.\) We are going to fix an induced 3vertex path \(P^s\) of G, over which we will branch, in the following way.
If t and \(t^{\prime }\) are not adjacent, then we let \(P^s\) be the induced path in G with vertices \(t,s,t^{\prime }\) in that order. Suppose that t and \(t^{\prime }\) are adjacent. As G is \(K_4\)free and s is adjacent to \(r,t,t^{\prime },\) at least one of \(t,t^{\prime }\) is not adjacent to r. We may assume without loss of generality that t is not adjacent to r.
First assume that \(t\in N_2.\) Recall that s has a neighbour in \(X_{1,3},\) namely r, and that r is not adjacent to t. We then find that t must be adjacent to w by Claim 12. As \(s\in A_2,\) we find that s is not adjacent to w by Claim 10. In this case we let \(P^s\) be the induced path in G with vertices s, t, w in that order.
Now assume that \(t\notin N_2.\) Recall that \(t\notin N_3.\) Hence, t must be in \(N_1.\) Then, as \(t\notin X_{1,3}\) but t is adjacent to a vertex in \(A_2,\) namely s, we find that \(t\in X_{1,2}.\) Recall that \(t^{\prime }\notin X_{1,3}.\) If \(t^{\prime }\in N_1\) then the fact that \(t^{\prime }\notin X_{1,3},\) combined with the fact that \(t^{\prime }\) is adjacent to \(s\in A_2,\) implies that \(t^{\prime }\in X_{1,2}.\) However, by Rule 8 applied on \(s,t,t^{\prime },\) vertex s would have a list of size 1 instead of size 3, a contradiction. Hence, \(t^{\prime }\notin N_1.\) As \(t^{\prime }\notin N_3,\) this means that \(t^{\prime }\in N_2.\) If \(t^{\prime }\) is adjacent to r, then \(t\in X_{1,2}\) with \(L(t)=\{1,2\}\) and \(r\in X_{1,3}\) with \(L(r)=\{1,3\}\) would have the same lists by Rule 6 applied on \(r,s,t,t^{\prime },\) a contradiction. Hence \(t^{\prime }\) is not adjacent to r. Then, by Claim 12, we find that \(t^{\prime }\) must be adjacent to w. Note that s is not adjacent to w due to Claim 10. In this case we let \(P^s\) be the induced path in G with vertices \(s,t^{\prime },w\) in that order.
We conclude that either \(P^s=tst^{\prime }\) or \(P^s=stw\) or \(P^s=st^{\prime }w.\) We are now ready to apply another round of branching.
Branching IV (O(n) branches)
We branch by considering the possibility of removing colour 2 from the list of each vertex in \(N(X_{1,3})\cap A_2\) and all possibilities of choosing a vertex in \(N(X_{1,3})\cap A_2\) and giving it colour 2. In the branch where we removed colour 2 from the list of every vertex in \(N(X_{1,3})\cap A_2,\) we obtain that \(X_{1,3}=\emptyset .\) Hence for that branch we can enter Phase 4. Now consider a branch where we gave some vertex \(s\in N(X_{1,3})\cap A_2\) colour 2. Let \(P^{s}=tst^{\prime }\) or \(P^{s}=stw\) or \(P^{s}=st^{\prime }w.\) We do some further branching by considering all possibilities of colouring the vertices of \(P^{s}\) that are not equal to the already coloured vertices s and w (should w be a vertex of \(P^{s}\)) and all possibilities of giving a colour to the vertex from \(N(s) \cap X_{1,3}\) (recall that by Claim 11, \(N(s) \cap X_{1,3}=1\)). This leads to a total of O(n) branches. We claim that in each of these branches, the size of \(X_{1,3}\) has reduced to at most 1.
For contradiction, assume that there exists a branch where \(X_{1,3}\) contains two vertices y and \(y^{\prime }.\) Let \(s_a\) and \(s_b\) be the neighbours of y and \(y^{\prime }\) in \(A_2,\) respectively. By Claim 11, the graph induced by \(\{y,y^{\prime },s_a,s_b\}\) is isomorphic to \(2P_2.\) Hence, the set \(\{s_a, y, v_{i}, y^{\prime }, s_b\}\) induces a \(P_5\) in G. Recall that \(P^{s}=tst^{\prime }\) or \(P^{s}=stw\) or \(P^{s}=st^{\prime }w.\) As \(s_a\) and \(s_b\) have a list of size 3, neither \(s_a\) nor \(s_b\) is adjacent to a vertex of \(P^{s}\) due to Rule 5. Neither y nor \(y^{\prime }\) is adjacent to \(N(s)\cap X_{1,3},\) as \(N(s)\cap X_{1,3}\) is already coloured. By Claims 10 and 11, neither y nor \(y^{\prime }\) is adjacent to w or s, respectively. As s received colour 2, vertices t and \(t^{\prime }\) have received colour 1 or 3 should they belong to \(P^{s}.\) In that case neither t nor \(t^{\prime }\) can be adjacent to y or \(y^{\prime },\) as \(L(y)=L(y^{\prime })=\{1,3\}.\) By definition, \(v_{i}\) is not adjacent to s or w. Moreover, \(v_{i}\) can only be adjacent to a vertex from \(\{t,t^{\prime }\}\) if that vertex belonged to \(N_1.\) However, recall that t and \(t^{\prime }\) were not in \(X_{1,3}\) while s was an active vertex. Hence if t or \(t^{\prime }\) belonged to \(N_1,\) they must have been in \(X_{1,2}\) and thus not adjacent to \(v_{i}.\) This means that the vertices of \(P^{s},\) together with \(\{s_a,y,v_{i},y^{\prime },s_b\},\) induce a \(P_3+P_5\) in G, a contradiction (see Fig. 4 for an example of such a situation). Thus \(X_{1,3}\) must contain at most one vertex.
Branching V (O(1) branches)
We branch by considering both possibilities of colouring the unique vertex of \(X_{1,3}.\) This leads to two new but smaller instances of List 3Colouring, in each of which the set \(X_{1,3}=\emptyset .\) Hence, our algorithm can enter Phase 4.
Phase 4: Reduce to a Set of Instances of 2List Colouring
Recall that in this stage of our algorithm we have an instance (G, L) in which every vertex of \(A_1\) has the same list, say \(\{1,2\}.\) We deal with this case as follows. First suppose that \(H=P_2+P_5.\) Then \(G[N_2\cup N_3]\) is an independent set, as otherwise two adjacent vertices of \(N_2\cup N_3\) form, together with \(v_1,\ldots ,v_5,\) an induced \(P_2+P_5.\) Hence, we can safely colour each vertex in \(A_2\) with colour 3, and afterwards we may apply Theorem 3.
Now suppose that \(H=P_3+P_4.\) We first introduce two new rules, which turn (G, L) into a smaller instance. In Claims 13 and 15 we show that we may include those rules in our set of propagation rules that we apply implicitly every time we modify the instance (G, L).
 Rule 12:

(neighbourhood identification) If u and v are adjacent, \(N(v)\subseteq N[u],\)\(N(u)\cap N(v)\ne \emptyset ,\) and \(L(v)=3,\) then identify \(N(u)\cap N(v)\) by w, set \(L(w):=\bigcap \{L(x)\; \;x\in N(u)\cap N(v)\}\) and remove v from G. If G contains a \(K_4,\) then return no.
We note that the case where u and v are adjacent, \(N(v)\subseteq N[u],\) and \(N(u)\cap N(v)= \emptyset\) implies that \(N(v)=\{u\},\) and thus \(\deg (v)=1.\) Therefore, this case was already handled by one of the Rules 1, 4–5, or 10. Whenever we refer to Rule 12 we always assume that the previous rules were applied meaning that we will implicitly assume that \(N(u)\cap N(v)\ne \emptyset .\)
Claim 13
Rule 12 is safe for\(K_4\)free input, takes polynomial time and does not affect any vertex of\(N_0.\)Moreover, if we have not obtained a noanswer, then afterwardsGis a connected\((H, K_4)\)free graph, in which we can define sets\(N_1,N_2,N_3,A_1,A_2\)as before.
Proof of Claim 13
Note that by Claim 3, G is \(K_4\)free before the application of Rule 12. Hence \(N(u)\cap N(v)\) is an independent set. Let w be the new vertex obtained from identifying \(N(u)\cap N(v).\) Observe that every vertex in the common neighbourhood of two adjacent vertices must receive the same colour. Hence w can be given the same colour as any vertex of \(N(u)\cap N(v),\) which belongs to \(\bigcap \{L(x)\; \;x\in N(u)\cap N(v)\}.\) For the reverse direction, we give each vertex \(x\in N(u)\cap N(v)\) the colour of w, which belongs to L(x) by definition. As \(L(v)=3\) and \(N(v)\setminus N(u)=\{u\},\) we have a colour available for v. The above means that (G, L) is a noinstance if a \(K_4\) is created. We conclude that Rule 12 is safe and either yields a noinstance if a \(K_4\) was created, or afterwards we have again that G is \(K_4\)free.
It is readily seen that applying Rule 12 takes polynomial time and that afterwards G is still connected. As \(L(v)=3,\) Claim 7 tells us that \(v\in N_2,\) and thus \(N(v)\subseteq N_1\cup N_2\cup N_3.\) Thus Rule 12 does not involve any vertex of \(N_0.\) Hence, as G is connected, we can define \(V=N_0\cup N_1\cup N_2\cup N_3\) by Claim 1.
It remains to prove that G is Hfree after applying Rule 12. For contradiction, assume that G has an induced subgraph \(P+P^{\prime }\) isomorphic to H. Then we find that the vertex w created by Rule 12 must be in \(V(P)\cup V(P^{\prime }),\) as otherwise, \(P+P^{\prime }\) was already an induced subgraph of G before Rule 12 was applied. We assume, without loss of generality, that w belongs to V(P). By the same argument, we find that w is incident with two edges wx and wy in P that correspond to edges sx and ty with \(s\ne t\) in G before Rule 12 was applied (where s and t belonged to the set of the vertices identified by w). However, then we can replace P by the path xsvty to find again that G already contained a copy of H before Rule 12 was applied. This copy was induced since s, t were not adjacent, as otherwise, u, v, s, t would have induced a \(K_4.\) Hence, we obtained a contradiction.\(\diamond\)
Let \(u\in A_2.\) We let B(u) be the set of neighbours of u that have colour 3 in their list.
Claim 14
For every \(u\in A_2,\) it holds that \(B(u)\ne \emptyset\) and \(B(u)\subseteq N_2\cup N_3.\)
Proof of Claim 14
By Rule 9, there is a vertex \(v\in N(u)\) such that \(3\in L(v).\) Vertex v cannot be in \(N_1\); otherwise the edge uv implies that \(v\in A_1\) and thus v would have list \(\{1,2\}.\) This means that v must be in \(N_2\cup N_3.\)\(\diamond\)
We will use the following rule (in Claim 15 we show that the colour q is unique).
 Rule 13:

(\({\mathbf {A_2}}\)listreduction) If a vertex \(v\in B(u)\) for some \(u\in A_2\) has no neighbour outside N[u], then remove colour q from L(u) for \(q\in L(v)\setminus \{3\}.\)
Claim 15
Rule 13 is safe, takes polynomial time and does not affect any vertex of\(N_0.\)Moreover, afterwardsGis a connected\((H, K_4)\)free graph, in which we can define sets\(N_1,N_2,N_3,A_1,A_2\)as before.
Proof of Claim 15
Let u be a vertex in \(A_2\) for which there exists a vertex \(v\in B(u)\) with no neighbour outside N[u]. It is readily seen that Rule 13 applied on u takes polynomial time, does not affect any vertex of \(N_0,\) and afterwards we can define sets \(N_1,N_2,N_3,A_1,A_2\) as before.
We recall by Claim 14 that \(v\in N_2\cup N_3.\) As \(N(v)\setminus N[u]=\emptyset ,\) we find by Rule 12 that \(L(v)\ne 3.\) Then, by Rule 4, it holds that \(L(v)=2.\) Thus vertex v has \(L(v)=\{q,3\}\) for some \(q\in {\{1,2\}}.\) If there exists a colouring c of G with \(c(u)=q\) that respects L, then \(c(v)=3,\) and so c colours each vertex in \(N(v)\cap N(u)\) with a colour from \(\left\{ 1,2 \right\} .\)
We define a colouring \(c^{\prime }\) by setting \(c^{\prime }(u)=3,\)\(c^{\prime }(v)=q\) and \(c^{\prime }= c\) for \(V(G)\setminus \{u,v\}.\) We claim that \(c^{\prime }\) also respects L. As \(N(v)\setminus N[u]=\emptyset ,\) every neighbour \(w\ne u\) of v is a neighbour of u as well and thus received a colour \(c^{\prime }(w)=c(w)\) that is not equal to colour q (and colour 3). As \(v\in N_2\cup N_3\) by Claim 14, all vertices in \(N(u)\setminus N[v]\) are in \(N_1\) by Claim 2. As \(u\in A_2,\) these vertices all belong to \(A_1\) and thus their lists are equal to \(\{1,2\},\) so do not contain colour 3. Hence, \(c^{\prime }\) respects L indeed.
The above means that we can avoid assigning colour q to u. We may therefore remove q from L(u). This completes the proof of the claim. \(\diamond\)
We note that if a colour q is removed from the list of some vertex \(u\in A_2\) due to Rule 13, then u is no longer active.
Assume that Rules 1–13 have been applied exhaustively. By Rule 2, we find that \(A_2\ne \emptyset .\) Then we continue as follows. Let \(u\in A_2\) and \(v\in B(u)\) (recall that B(u) is nonempty due to Claim 14). Let \(A(u,v)\subseteq N_1\) be the set of (active) neighbours of u that are not adjacent to v. Note that \(A(u,v)\subseteq A_1\) by definition. Let \(A(v,u)\subseteq N_1\) be the set of neighbours of v that are not adjacent to u. We claim that both A(u, v) and A(v, u) are nonempty. By Rule 13, we find that \(A(v,u)\ne \emptyset .\) By Rule 12, vertex u has a neighbour \(t\notin N(v).\) As \(v\in N_2\cup N_3\) due to Claim 14, we find by Claim 2 that t belongs to \(N_1,\) thus \(t\in A(u,v),\) and consequently, \(A(u,v)\ne \emptyset .\) We have the following three disjoint situations:

1.
A(v, u) contains a vertex w with \(L(w)=\{1,2\}\) that is not adjacent to some vertex \(t\in A(u,v)\);

2.
A(v, u) contain at least one vertex w that is not adjacent to some vertex \(t\in A(u,v),\) but for all such vertices w it holds that \(L(w)\ne \{1,2\}.\)

3.
Every vertex in A(v, u) is adjacent to every vertex of A(u, v).
Now we construct a triple \((Q,P,x)=(Q(u),P(u),x(u))\) such that Q is a set which contains u, \(P\subseteq Q\) is an induced \(P_4\) and x is a vertex of Q. In Situation 1, we let \(Q=\{w,t,u,v\}.\) We say that Q is of Type 1. We let \(x=u.\) As P we can take the path on vertices t, u, v, w in that order. In Situation 2, we let \(Q=\{w,t,u,v\}\) for some \(w\in A(v,u)\) that is not adjacent to some \(t\in A(u,v).\) We say that Q is of Type 2. We let \(x=v.\) As P we can take the path on vertices t, u, v, w in that order.
Finally, we consider Situation 3. Let w be in A(v, u). Recall that u is active, \(L(w)=2,\) and in Situation 3 all vertices of A(u, v) are adjacent to all vertices in A(v, u), and thus in particular to w. Therefore, u has a neighbour \(s\notin A(u,v)\) that is not adjacent to w, otherwise Rule 7 would be used, a contradiction with u being active. If s is in \(N_1,\) then s is adjacent to v since s is not in A(u, v). If s is in \(N_2\cup N_3,\) then s is adjacent to v by Claim 6. Hence, in both cases we find that s belongs to \(N(u)\cap N(v).\)
We let \(Q=\{s,t,w,u,v\}\) for some \(t\in A(u,v).\) We let \(x=v.\) We say that Q is of Type 3. We claim that the vertices s, u, t, w induce a \(P_4\) in that order. By definition, u is not adjacent to w. If \(sw\in E(G),\) then \(L(u)=L(w)\) due to Rule 6. As w has a list of size 2, u has also a list of size 2. This is a contradiction, as u is an active vertex. If \(st\in E(G),\) then \(L(v)=L(t)\) due to Rule 6. However, this is also a contradiction, as \(L(t)=\{1,2\}\) (since \(t\in A_1\)) and \(3\in L(v).\) Hence, as P we can take the path on vertices s, u, t, w in that order.
In all three situations, we try to extend Q as follows. If A(u, v) contains more vertices than only vertex t, we pick an arbitrary vertex \(t^{\prime }\) of \(N(u)\cap N_1\setminus \{t\}\) and put \(t^{\prime }\) to Q.
We first observe that if \(c(x)=3\) no other vertex of Q can be coloured with colour 3; in particular recall that t and \(t^{\prime }\) (if \(t^{\prime }\) exists) both belong to \(A_1,\) and as such have list \(\{1,2\}.\) Moreover, if Q is of Type 2, then any vertex in A(v, u) with list \(\{1,2\}\) is adjacent to t, as otherwise Q is of Type 1.
Branching VI (O(n) branches)
We choose a vertex \(u\in A_2\) such that \(N(u)\cap N_1\) is minimal and create (Q, P, x). We branch by considering all possibilities of colouring Q such that \(c(x)=3\) and the possibility where we remove colour 3 from L(x). The first case leads to O(1) branches, since \(Q\le 6.\) We will prove that we either terminate by Rule 2 or branch in Branching VII. In the second case we deactivate u directly or by applying Rules 13 and 5. This is the only recursive branch and the depth of the recursion is \(A_2\in O(n).\) Since the first case in the recursion tree always leads either to termination or to subsequent branching in Branching VII, the branching tree in Branching VI can be seen as a path of length O(n), where at each node O(1) branches are created. Hence, we have a total of O(n) branches in Branching VI.
Now consider a branch where Q is coloured. Although by Rule 4 vertices in Q will need to be removed from G, we make an exception by temporarily keeping Q in the graph after we coloured it until the end of Branching VII. The reason is that this will be helpful for analysing the structure of (G, L). We run only Rules 2, 5 and 8 to prevent changes in the size of neighbourhood of vertices in \(A_2\) for the purposes of the next claim (Claim 16). Observe that Rules 2, 5 and 8 do not decrease the degree of any vertex. By Rule 2, \(A_2\ne \emptyset .\) We prove the following claim for vertices in \(A_2.\)
Claim 16
There is no vertex in \(A_2\) with more than one neighbour in \(A_1.\) Moreover \(N(u)\cap A_1=\emptyset .\)
Proof of Claim 16
For contradiction, assume that r is a vertex in \(A_2\) with two or more neighbours in \(A_1.\) By Rule 8, any two distinct neighbours of r in \(A_1\) are not adjacent, that is, the neighbours of r in \(A_1\) form an independent set. In particular, for any two distinct neighbours s and \(s^{\prime }\) of r in \(A_1,\) the set \(\{s,r,s^{\prime }\}\) induces a \(P_3.\) We denote such a path by \(P_{s,s^{\prime }}^{\prime }.\) As every vertex in \(A_1\) has list \(\{1,2\},\) the only possible edges between Q and \(P_{s,s^{\prime }}^{\prime }\) are those between \(\{s,s^{\prime }\}\) and vertex x, the only vertex in Q which has colour 3.
First suppose that Q is of Type 1. Recall that \(x=u.\) If \(t^{\prime }\) does not exists, meaning \(N(u)\cap N_1=1,\) the claim follows. Suppose there exist at least two coloured vertices \(t,t^{\prime }\in Q\cap N(u)\cap N_1.\) Observe that \(N(r)\cap A_1=N(r)\cap N_1.\) We know that u is adjacent to all but one vertex in \(N(r)\cap A_1,\) as otherwise there are at least two vertices s and \(s^{\prime }\) in \(N(r)\cap (A_1\setminus N(u))\) and therefore \(V(P^{\prime }_{s,s^{\prime }})\cup Q\) induces a \(P_3+P_4,\) which would be a contradiction. This situation is captured in Fig. 5. Hence, we find that \(N(u)\cap N_1 \ge N(r)\cap N_11+2,\) which contradicts the choice of u. Thus, if Q is of Type 1, \(N(u)\cap N_1=1,\) so \(N(u)\cap A_1=\emptyset .\)
Now suppose that Q is of Type 2. Recall that \(x=v.\) Recall also that if v is adjacent to a vertex in \(A_1,\) then this vertex must be adjacent to another vertex from Q (either u or t) as well, since otherwise Q would be of Type 1. This is not possible since all vertices in Q are already coloured by colour in \(\{1,2\}.\) Therefore we obtain an induced \(P_3+P_4,\) a contradiction.
Finally, suppose that Q is of Type 3. Recall that x is not in P, thus there is no vertex with a list \(\{1,2\}\) adjacent to P. Therefore we obtain an induced \(P_3+P_4,\) a contradiction.
If Q is of Type 2 or 3, vertex u obtained a colour from the set \(\{1,2\}.\) Hence, \(N(u)\cap A_1=\emptyset .\)\(\diamond\)
We now run reduction Rules 1–13 exhaustively (and in the right order). Recall, however, that we make an exception by not deleting the vertices of Q (specifically, we do not perform the Rule 12 if it would involve identification or deletion of a vertex in Q).
Remark
Claim 16 still holds after Rules 1–13 were applied.
Proof of the Remark
All vertices in \(A_2\) had exactly one neighbour before applying Rules 1–13, by Claim 16. It is readily seen that only Rule 12 can increase the degree of vertices and no rule can increase the size of a list of any vertex. This implies that \(N(u)\cap A_1=\emptyset .\)
For contradiction, assume that there is a vertex r in \(A_2\) with more than one neighbour in \(A_1.\) Vertex r was created by Rule 12, i.e., by identification of at least two vertices \(r_1,\)\(r_2\) which are common neighbours of two adjacent vertices \(s, s^{\prime }\) satisfying the assumptions of Rule 12, in particular \(L(s^{\prime })=3.\) Observe that \(L(r_1)=L(r_2)=3,\) as \(L(r)=3\) and \(L(r)=L(r_1)\cap L(r_2)\) by Rule 12. Therefore, \(r_1,r_2,s^{\prime }\in N_2\cup N_3.\) Vertices \(r_1, r_2\) are nonadjacent, otherwise \(s, s^{\prime }, r_1, r_2\) is a \(K_4.\) This is a contradiction with Claim 2, as \(r_1,r_2,s^{\prime }\) are not a clique. \(\diamond\)
Branching VII (O(n) branches)
We branch by considering the possibility of removing colour 3 from the list of each vertex in \(A_2,\) and all possibilities of choosing one vertex in \(A_2,\) to which we give colour 3, and all possibilities of colouring its neighbour in \(A_1\) (recall that this neighbour is unique due to Claim 16). This leads to O(n) branches. We show that all of them are instances with no vertex with list of size 3 and thus Rule 2 can be applied on them.
In the first branch, all lists have size at most 2 directly by the construction.
Now consider a branch where a vertex \(r\in A_2\) and its unique neighbour \(r_1\) in \(A_1\) were coloured (where r is given colour 3). We make an exception to Rule 4 and temporarily keep vertex r and all its neighbours in G, even if they need to be removed from G due to our rules.
Recall that before \(r_1\) was coloured, \(L(r_1)=\{1,2\}\) and that every vertex in \(A_2\) has exactly one neighbour in \(A_1.\) Before assigning a colour to r, vertex r had exactly two other neighbours \(r_2\) and \(r_3\) by Rule 10, which were in \(N_2\cap N_3,\) and which were adjacent by Claim 2. We claim that \(\{r_1,r,r_2\}\) and \(\{r_1,r,r_3\}\) induce a \(P_3,\) as otherwise \(\{r,r_1,r_2,r_3\}\) induce a \(K_4\) or a diamond: the first case is not possible due to \(K_4\)freeness and in the second case we would have applied Rule 12 on r and \(r_2\) (if \(rr_2\) is an edge), or on r and \(r_3\) (if \(rr_3\) is an edge). As G is \((P_3+P_4)\)free, there must be at least one edge between P and \(\{r_1,r,r_2\}\) and between P and \(\{r_1,r,r_3\}.\) We first show that such an edge is not incident to \(r_1.\)
If there exists an edge between \(r_1\) and a vertex from P, then this vertex must be x (as \(r_1\) was in \(A_1\) and \(L(r_1)=\{1,2\}\) before it was coloured). First, suppose Q is of Type 1. Recall that \(x=u.\) However, by Claim 16\(N(u)\cap A_1=\emptyset .\) Now suppose Q is of Type 2. Then \(x=v.\) If \(r_1\) is adjacent to v, then \(r_1\) is adjacent to another vertex in Q, a contradiction. Finally, suppose that Q is of Type 3. Then x is not in P. Thus \(r_1\) is not adjacent to P. We conclude from the above that both \(r_2\) and \(r_3\) have a neighbour in P. We now prove the following claim.
Claim 17
All vertices\(r, r_1, r_2, r_3\)are coloured:rreceived colour 3, and each of\(r_1, r_2, r_3\)received either colour 1 or 2.
Proof of Claim 17
We only have to show the claim for vertices \(r_2\) and \(r_3.\) Recall that both \(r_2\) and \(r_3\) have a neighbour in P. We claim that neighbourhoods of \(r_2\) and \(r_3\) in Q are disjoint. Otherwise r, \(r_2,\)\(r_3\) and a common neighbour d of \(r_2\) and \(r_3\) in P form a diamond such that \(d\in Q\) is coloured, and therefore r was not active due to Rule 6, a contradiction. Hence, at least one neighbour of \(r_2\) or at least one neighbour of \(r_3\) has obtained a colour different from 3. Since r is coloured by 3, the lists of \(r_2\) and \(r_3\) were reduced by Rule 5 to \(\{1\}\) or \(\{2\}\) (or the instance is a noinstance). \(\diamond\)
We are now ready to show that no vertex has a list of size 3, and thus applying Rule 2 will solve the instance. For contradiction assume that there exists a vertex z with \(L(z)=3,\) that is, \(z\in A_2.\) Vertices \(z_1,z_2,z_3\in N(z)\) exist as \(z\in A_2.\) Those vertices are disjoint from \(r,r_1,r_2,r_3\) which are by Claim 17 coloured since \(L(z)=3.\) The same observations as for neighbours of r hold for neighbours of z by the same arguments as above. Namely, vertex \(z_1\in N(z)\cap A_1\) does not have a neighbour in P and vertices \(z_2,z_3\) are in \(N_2\cup N_3\) and they induce two \(P_3\)s: \(z_1,z,z_2\) and \(z_1,z,z_3.\) Therefore, \(z_2,z_3\) have disjoint neighbourhoods in P. Moreover, at least one edge between \(r_1\) and \(z_2,z_3\) is missing by Rule 6 applied on \(r_1,z,z_2,z_3.\) We may assume without loss of generality that \(r_1z_2\notin E.\) Then vertices \(z_1,z,z_2,q,\) where q is in \(N(z_2)\cap V(P),\) induce a new \(P_4.\) Again at least one vertex from \(r_2,r_3\) is not adjacent to q, without loss of generality assume that \(r_2q \notin E,\) as \(r_2\) and \(r_3\) have disjoint neighbourhoods in P. As \(r_1\) and \(r_2\) are coloured by 1 or 2 by Claim 17, they have no edge to \(z_1\) and to z; otherwise z and \(z_1\) are not active by Rule 5. Recall that \(r_1, z_1\) have no neighbour in P and that r had only one neighbour in \(A_1,\) thus r is not adjacent to \(z_1.\) By Claim 2 there are no edges between \(r,r_2, r_3\) and \(z,z_2, z_3.\) Hence \(r_1,r,r_2\) together with \(z_1,z,z_2,q\) induce a \(P_3+P_4\) in G, a contradiction (see Fig. 6 for an example of such a situation).
The correctness of our algorithm follows from the above description. It remains to analyse its running time. The branching is done in seven stages (Branching I–VII) yielding a total number of \(O(n^{49})\) branches. It is readily seen that processing each branch created in Branching I–VII takes polynomial time. Hence the total running time of our algorithm is polynomial. \(\square\)
Remark
Except for Phase 4 of our algorithm, all arguments in our proof hold for \((P_3+P_5)\)free graphs. The difficulty in Phase 4 is that in contrary to the previous phases we cannot use the vertices from \(N_0\) to find an induced \(P_3+P_5\) and therefore obtain the contradiction similarly to the previous phases.
3 The Proof of Corollary 1
By combining our new results from Sect. 2 with known results from the literature we can now prove Corollary 1.
Corollary 1
(Restated) LetHbe a graph with\(V(H)\le 7.\)IfHis a linear forest, thenList 3Colouring is polynomialtime solvable forHfree graphs; otherwise already3Colouring is\({\mathsf {NP}}\)complete forHfree graphs.
Proof
If H is not a linear forest, then H contains an induced claw or a cycle, which means that 3Colouring is \({\mathsf {NP}}\)complete due to results in [14, 21, 28]. Suppose H is a linear forest. We first recall that List 3Colouring is polynomialtime solvable for \(P_7\)free graphs [8] and thus for \((rP_1+P_7)\)free graphs for every integer \(r\ge 0\) [5, 15]. Now suppose that H is not an induced subgraph of \(rP_1+P_7\) for any \(r\ge 0.\) If \(H=P_1+3P_2,\) then the class of Hfree graphs is a subclass of \(4P_3\)free graphs, for which List 3Colouring is polynomialtime solvable [5, 15]. Otherwise, H has at least two connected components, all of which containing at least one edge. This means that \(H\in \{2P_2+P_3, P_2+P_5, P_3+P_4\}.\) If \(H=2P_2+P_3,\) then the class of Hfree graphs is a subclass of \(4P_3\)free graphs, for which we just recalled that List 3Colouring is polynomialtime solvable. The cases where \(H=P_2+P_5\) and \(H=P_3+P_4\) follow from Theorem 1. \(\square\)
4 Conclusions
By solving two new cases we completed the complexity classifications of 3Colouring and List 3Colouring on Hfree graphs for graphs H up to seven vertices. We showed that both problems become polynomialtime solvable if H is a linear forest, while they stay \({\mathsf {NP}}\)complete in all other cases. Chudnovsky et al. improved our results in a recent arXiv paper [7] that appeared after our paper by showing that List 3Colouring is polynomialtime solvable on \((rP_3+P_6)\)free graphs for any \(r\ge 0.\) In the same paper, they also proved that 5Colouring is \({\mathsf {NP}}\)complete for \((P_2+P_5)\)free graphs. Recall that kColouring \((k\ge 3)\) is \({\mathsf {NP}}\)complete on Hfree graphs whenever H is not a linear forest. For the case where H is a linear forest, the \({\mathsf {NP}}\)hardness result of [7] for 5Colouring for \((P_2+P_5)\)free graphs, together with the known \({\mathsf {NP}}\)hardness results of [22] for 4Colouring for \(P_7\)free graphs and 5Colouring for \(P_6\)free graphs, bounds the number of open cases of kColouring from above.
For future research, we remark that it is still not known if there exists a linear forest H such that 3Colouring is \({\mathsf {NP}}\)complete for Hfree graphs. This is a notorious open problem studied in many papers; for a recent discussion see [17]. It is also open for List 3Colouring, where an affirmative answer to one of the two problems yields an affirmative answer to the other one [16]. In the line of our proof method, we pose the question if 3Colouring is polynomialtime solvable on \((P_2+P_{t2})\)free graphs for some \(t\ge 3\) whenever 3Colouring is polynomialtime solvable for \(P_t\)free graphs.
For \(k\ge 4,\) we emphasize that all open cases involve linear forests H whose connected components are small. For instance, if H has at most six vertices, then the polynomialtime algorithm for 4Precolouring Extension on \(P_6\)free graphs [9] implies that there are only three graphs H with \(V(H)\le 6\) for which we do not know the complexity of 4Colouring on Hfree graphs, namely \(H \in \{P_1+P_2+P_3, P_2+P_4,2P_3\}\) (see [15]).
The main difficulty to extend the known complexity results is that hereditary graph classes characterized by a forbidden induced linear forest are still not sufficiently well understood due to their rich structure (proofs of algorithmic results for these graph classes are therefore often long and technical; see also, for example, [3, 9]). We need a better understanding of these graph classes in order to make further progress. This is not only the case for the two colouring problems in this paper. For example, the Independent Set problem is known to be polynomialtime solvable for \(P_6\)free graphs [19], but it is not known if there exists a linear forest H such that it is \({\mathsf {NP}}\)complete for Hfree graphs. A similar situation holds for Odd Cycle Transversal and Feedback Vertex Set and a whole range of other problems; see [2] for a survey.
References
Alon, N.: Restricted colorings of graphs. In: Walker, K. (ed.) Surveys in Combinatorics. London Mathematical Society Lecture Note Series, pp. 1–33. Cambridge University Press, Cambridge (1993)
Bonamy, M., Dabrowski, K.K., Feghali, C., Johnson, M., Paulusma, D.: Independent feedback vertex set for \({P}_5\)free graphs. Algorithmica 81(4), 1342–1369 (2019)
Bonomo, F., Chudnovsky, M., Maceli, P., Schaudt, O., Stein, M., Zhong, M.: Threecoloring and list threecoloring of graphs without induced paths on seven vertices. Combinatorica 38(4), 779–801 (2018)
Broersma, H., Fomin, F.V., Golovach, P.A., Paulusma, D.: Three complexity results on coloring \(P_k\)free graphs. Eur. J. Comb. 34(3), 609–619 (2013)
Broersma, H., Golovach, P.A., Paulusma, D., Song, J.: Updating the complexity status of coloring graphs without a fixed induced linear forest. Theor. Comput. Sci. 414(1), 9–19 (2012)
Chudnovsky, M.: Coloring graphs with forbidden induced subgraphs. Proceedings of ICM, vol. IV, pp. 291–302 (2014)
Chudnovsky, M., Huang, S., Spirkl S., Zhong, M.: Listthreecoloring graphs with no induced \(P_6+rP_3\) (2018). arXiv:1806.11196
Chudnovsky, M., Maceli, P., Stacho, J., Zhong, M.: 4Coloring \(P_6\)free graphs with no induced 5cycles. J. Graph Theory 84(3), 262–285 (2017)
Chudnovsky, M., Spirkl, S., Zhong, M.: Fourcoloring \({P}_6\)free graphs. In: Proceedings of SODA 2019, pp. 1239–1256 (2019)
Chudnovsky, M., Stacho, J.: 3Colorable subclasses of \(P_8\)free graphs. SIAM J. Discrete Math. 32(2), 1111–1138 (2018)
Couturier, J.F., Golovach, P.A., Kratsch, D., Paulusma, D.: List coloring in the absence of a linear forest. Algorithmica 71(1), 21–35 (2015)
Dabrowski, K.K., Paulusma, D.: On colouring \((2{P}_2,{H})\)free and \((P_5,{H})\)free graphs. Inf. Proc. Lett. 131, 26–32 (2018)
Edwards, K.: The complexity of colouring problems on dense graphs. Theor. Comput. Sci. 43, 337–343 (1986)
EmdenWeinert, T., Hougardy, S., Kreuter, B.: Uniquely colourable graphs and the hardness of colouring graphs of large girth. Comb. Probab. Comput. 7(4), 375–386 (1998)
Golovach, P.A., Johnson, M., Paulusma, D., Song, J.: A survey on the computational complexity of colouring graphs with forbidden subgraphs. J. Graph Theory 84(4), 331–363 (2017)
Golovach, P.A., Paulusma, D., Song, J.: Closing complexity gaps for coloring problems on \(H\)free graphs. Inf. Comput. 237, 204–214 (2014)
Groenland, C., Okrasa, K., Rzążewski, P., Scott, A., Seymour, P., Spirkl, S.: \(H\)colouring \(P_t\)free graphs in subexponential time. Discrete Appl. Math. 267, 184–189 (2019)
Grötschel, M., Lovász, L., Schrijver, A.: Polynomial algorithms for perfect graphs. Ann. Discrete Math. 21, 325–356 (1984)
Grzesik, A., Klimošová, T., Pilipczuk, M., Pilipczuk, M.: Polynomialtime algorithm for maximum weight independent set on \(P_6\)free graphs. In: Proceedings of SODA 2019, pp. 1257–1271 (2019)
Hoàng, C.T., Kamiński, M., Lozin, V.V., Sawada, J., Shu, X.: Deciding \(k\)colorability of \(P_5\)free graphs in polynomial time. Algorithmica 57(1), 74–81 (2010)
Holyer, I.: The NPcompleteness of edgecoloring. SIAM J. Comput. 10(4), 718–720 (1981)
Huang, S.: Improved complexity results on \(k\)coloring \(P_t\)free graphs. Eur. J. Comb. 51, 336–346 (2016)
Jensen, T.R., Toft, B.: Graph Coloring Problems. Wiley, Hoboken (1995)
Klimošová, T., Malík, J., Masařík, T., Novotná, J., Paulusma, D., Slívová, V.: Colouring \((P_r+P_s)\)free graphs. In: Proceedings of ISAAC 2018. LIPIcs, vol. 123, pp. 5:1–5:13 (2018)
Král’, D., Kratochvíl, J., Tuza, Z., Woeginger, G.J.: Complexity of coloring graphs without forbidden induced subgraphs. In: Proceedings of WG 2001. LNCS, vol. 2204, pp. 254–262 (2001)
Kratochvíl, J., Tuza, Z., Voigt, M.: New trends in the theory of graph colorings: choosability and list coloring. In: Proceedings of DIMATIA–DIMACS Conference, vol. 49, pp. 183–197 (1999)
Le, V.B., Randerath, B., Schiermeyer, I.: On the complexity of 4coloring graphs without long induced paths. Theor. Comput. Sci. 389(1–2), 330–335 (2007)
Leven, D., Galil, Z.: NP completeness of finding the chromatic index of regular graphs. J. Algorithms 4(1), 35–44 (1983)
Lovász, L.: Coverings and coloring of hypergraphs. Congr. Numer. VIII, 3–12 (1973)
Paulusma, D.: Open problems on graph coloring for special graph classes. In: Proceedings of WG 2015. LNCS, vol. 9224, pp. 16–30 (2015)
Randerath, B., Schiermeyer, I.: 3Colorability in P for p_{6}free graphs. Discrete Appl. Math. 136(2–3), 299–313 (2004)
Randerath, B., Schiermeyer, I.: Vertex colouring and forbidden subgraphs—a survey. Graphs Combin. 20(1), 1–40 (2004)
Randerath, B., Schiermeyer, I., Tewes, M.: Threecolourability and forbidden subgraphs. II: polynomial algorithms. Discrete Math. 251(1–3), 137–153 (2002)
Tuza, Z.: Graph colorings with local constraints—a survey. Discuss. Math. Graph Theory 17(2), 161–228 (1997)
Woeginger, G.J., Sgall, J.: The complexity of coloring graphs without long induced paths. Acta Cybern. 15(1), 107–117 (2001)
Acknowledgements
We thank Karel Král for pointing out a mistake in a preliminary version of our paper. We also thank two anonymous reviewers for their detailed comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
T. Masařík, J. Novotná and V. Slívová were supported by the Project GAUK 1277018 and the Grant SVV–2017–260452. T. Klimošová was supported by the Center of Excellence—ITI, Project P202/12/G061 of GA ČR, by the Center for Foundations of Modern Computer Science (Charles Univ. Project UNCE/SCI/004), and by the Project GAUK 1277018. T. Masařík was also partly supported by the Center of Excellence—ITI, Project P202/12/G061 of GA ČR. V. Slívová was partly supported by the Project 1709142S of GA ČR and Charles University Project PRIMUS/17/SCI/9. D. Paulusma was supported by the Leverhulme Trust (RPG2016258). An extended abstract of this paper has appeared in the proceedings of ISAAC 2018 [24].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Klimošová, T., Malík, J., Masařík, T. et al. Colouring (P_{r} + P_{s})Free Graphs. Algorithmica 82, 1833–1858 (2020). https://doi.org/10.1007/s0045302000675w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0045302000675w