    # Total Colourings - A survey

The smallest integer k needed for the assignment of colors to the elements so that the coloring is proper (vertices and edges) is called the total chromatic number of a graph. Vizing and Behzed conjectured that the total coloring can be done using at most Δ(G)+2 colors, where Δ(G) is the maximum degree of G. It is not settled even for planar graphs. In this paper we give a survey on total coloring of graphs.

## Authors

04/26/2019

### Every planar graph with Δ≥ 8 is totally (Δ+2)-choosable

Total coloring is a variant of edge coloring where both vertices and edg...
10/27/2021

### Most direct product of graphs are Type 1

A k-total coloring of a graph G is an assignment of k colors to its elem...
06/11/2018

### Coloring Delaunay-Edges and their Generalizations

We consider geometric graphs whose vertex set is a finite set of points ...
05/20/2021

### Total Coloring and Total Matching: Polyhedra and Facets

A total coloring of a graph G = (V, E) is an assignment of colors to ver...
07/29/2019

### A Connected Version of the Graph Coloring Game

The graph coloring game is a two-player game in which, given a graph G a...
06/24/2019

### Hierarchical Colorings of Cographs

Cographs are exactly hereditarily well-colored graphs, i.e., the graphs ...
02/20/2020

### Total tessellation cover and quantum walk

We propose the total staggered quantum walk model and the total tessella...
##### This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

## 1 Introduction

Let be a simple graph with vertex set and edge set . An element of is a vertex or an edge of . The total coloring of a graph is an assignment of colors to the vertices and edges such that no two incident or adjacent elements receive the same color. The total chromatic number of , denoted by , is the least number of colors required for a total coloring. Clearly, , where is the maximum degree of .

Behzed [4, 5] and Vizing  independently posed a conjecture called Total Coloring Conjecture (TCC) which states that for any simple graph , the total chromatic number is either or . In , Molly and Reed gave a probabilistic approach to prove that for sufficiently large , the total chromatic number is at most .

If then is known as a type-I graph and if then is a type-II graph. In this paper, we present a comprehensive survey on total coloring. Yap   gave a nice survey on total colorings that covers the results till 1995. Therefore, our survey cover results from 1996 onwards. There are four sections in this paper. In the second section, we focus on results on planar graphs. In  

, Borodin gave a survey of results on total colorings of planar graphs up to 2009. There are several improved results on planar graphs since then. Thus, we only present the results from 2010 onwards. For the earlier results we refer the readers to the earlier two excellent surveys mentioned above. Third section of this paper consists of results on non-planar graphs. In this paper, we also prove TCC holds for unitary cayley graphs, mock threshold graphs and odd graphs. In the last section, we survey the results on complexity aspects of total coloring.

## 2 Planar graphs

In this section, we consider the results related to planar graphs (graphs that have a plane embedding). Many of the results in total coloring of planar graphs are based on the maximum degree and the girth constraints.

One of the most yielding techniques on planar graphs is the Discharging Method. While one can say that the discharging method have been used in graph theory for more than 100 years, it came to prominence when it was used to prove the four color theorem by Appel and Hacken. Since then, the method has been applied to many types of problems (including graph embeddings and decompositions, spread of infections in networks, geometric problems, etc.). It is especially useful for dealing with planar graphs. An excellent guide to the method of discharging is given by Cranston and West  .

A rough sketch of using the discharging method is as follows :

Charging phase:

1. Assign initial charges to certain elements of a graph (vertices, edges, faces, etc.,).

2. Compute the total charge assigned to the whole graph (for planar graphs typically using Euler’s formula).

Discharging phase:

3. Redistribute charge in the graph according to a set of discharging rules.

4. Compute the total charge again (using the specific properties of the graph), and derive a conclusion.

A configuration in a graph can be any structure in (often a specified sort of subgraph). A configuration is reducible for a graph property if it cannot occur in a minimal graph not having property . The method of discharging is used to show that a set of reducible configurations is unavoidable in the class of graphs being discussed which establishes that the property cannot have a counterexample in the class. Let or simply denote the degree (number of neighbors) of vertex in , and let denote the average of the vertex degrees in . Degree charging is the assignment to each vertex of an initial charge equal to . In the following, we present the total coloring results on planar graphs.

The total coloring conjecture was verified for planar graphs with  . Sanders and Zhao  showed that every planar graph with is 9-total colorable. Yap   verified TCC for planar graphs with . In  , Kowalik et al. proved that any planar graph with is type-I. Shen et al.  posed a conjecture on the total coloring of planar graph which states that “Planar graphs with are -total colorable”. Wang et al.  proved that for a planar graph with maximum degree and girth such that has no cycles of length from to , the total chromatic number is provided or and , where each vertex is incident with at most one -cycle. For more details we refer the excellent survey by Borodin  .

First we start with results involving planar graphs with maximum degree at least six. As far as we know the first work on the total coloring with was given by Wang et al. . They verified TCC for planar graphs without 4-cycles. Shen et al. improved the result by showing that the planar graph without 4-cycles is type-I  with the reducible configuration shown in Fig.1. Sun et al.  proved that every planar graph with maximum degree 6 is totally 8-colorable if no two triangles in share a common edge (which implies that every vertex in is incident with at most triangles. In other words, every vertex is missing either a 3-cycle or a 4-cycle). They also proved that a planar graph without adjacent triangles and without cycles of length , is type-I. Nicolas Roussel  strengthened the result of   by showing that a planar graph is total 8-colorable if every vertex of is missing some -cycle for . In 2017, Zhu and Xu  improved the result of Sun et al.   to show that TCC holds for planar graphs with provided does not contain any subgraph isomorphic to a 4-fan.

Further improvements on the total coloring of planar graph with as follows. Zhang and Wang  showed that every planar graph with and without adjacent short cycles (a cycle of length at most 4) is -total-colorable. Hou et al.  proved that a planar graph is type-I if and contains neither 4-cycles nor 6-cycles or and contains neither 5-cycles nor 6-cycles. A chordal -cycle is a -cycle with at least one chord. In , Wu et al. improved the result of   by showing that a planar graph with maximum degree is -totally colorable if it contains neither chordal 5-cycle nor chordal 6-cycle, where . Dong et al.  proved that a planar graph where no 6-cycles has a chord satisfies TCC provided . Li  verified TCC for planar graphs with maximum degree six, if for each vertex , there is an integer such that has no -cycle containing .

A notion closely related to total coloring of graphs is list total coloring of graphs. Suppose that a set of colors, called a list of , is assigned to each element . A total coloring is called a list total coloring of or -coloring, if for each element . If for every , then a total - coloring is called a list total coloring and we say that is totally -choosable and the minimum integer for which is total -choosable is the total choosability of . Liu et al.  proved that a planar graph is total -choosable (-total colorable) whenever (1) and has no adjacent triangles or (2) and has no intersecting triangles or (3) and has no adjacent triangles and has no -cycles for some integer .

We now list the results on the total coloring of planar graph with maximum degree at least 7. The first work on this direction is due to Sanders and Zhao .

Shen and Wang  showed that the planar graphs with maximum degree 7 and without 5-cycles are 8-totally colorable. Fig.2. shows the reducible configuration used in  . Chang et al.   proved that a planar graph with maximum degree 7, with the additional property that for every vertex , there is an integer so that is not incident with any -cycle, is type-I. Wang and Wu  proved that a planar graph of maximum degree is -totally colorable if no 3-cycle has a common vertex with a 4-cycle or no 3-cycle is adjacent to a cycle of length less than 6. In , Wang et al. proved that for any planar graph with maximum degree and without intersecting 3-cycles (two cycles of length 3 are not incident with a common vertex), and without intersecting 5-cycles, the total chromatic number is  . Wu et al.  proved that for a planar graph with maximum degree at least 7 and without adjacent 4-cycles the total chromatic number is .

The total chromatic number of a planar graph with and without chordal 6-cycles  and without chordal 7-cycles  is .

We now turn to the results on maximum degree at least 8. There are many works on planar graphs with maximum degree at least 8. Yap  verified the TCC for planar graphs with .

Roussel and Zhu  proved that for a planar graph with maximum degree 8, , if there is no -cycle which contains , where is a vertex in and . This is an improvement over . The reducible configurations used by Roussel and Zhu are given in Fig.3. Further, Wang et al. , strengthened the result and proved that for a planar graph with , if for every vertex , there exists two integers, such that is not incident with intersecting -cycles and -cycles, then the total chromatic number of is . Wang et al.  showed that the total chromatic number of planar graphs with is , if for every vertex , there exists two integers such that is not incident with adjacent cycles and cycles.

Xu and Wu  proved that if is a planar graph with maximum degree at least 8 and every 7-cycle of contains at most two chords, then has a -total-coloring. Wang et al. , considered planar graphs with maximum degree and showed that if contains no adjacent -cycles with two chords for some , then is total -colorable. Jian Chang et al.  proved that planar graphs with maximum degree at least 8 and without 5-cycles with two chords are total colorable.

In , Cai et al. proved that the planar graphs with maximum degree 8 and without intersecting chordal 4-cycles are 9-totally colorable. Xu et al.  proved that if is a planar graph with maximum degree at least 8 and every 6-cycle of contains at most one chord or any chordal 6-cycles are not adjacent, then has a -total coloring. In 2014, Wang et al.  showed that a planar graph with and without adjacent cycles of size and , for some , is -total colorable.

Later, Wang et al.  proved that a planar graph with and if is not incident with chordal 6-cycle, or chordal 7-cycle or 2-chordal 5-cycle, then it is type-I. This is a generalisation of  .

In , Chang et al. proved that a planar graph with maximum degree 8 is 9-total colorable if for every vertex , is incident with at most triangles. This is a generalisation of   and  .

There are some other classes of graphs which are similar to planar graphs. We discuss the total coloring of some of them.

A graph is called 1-planar, if it has at most one crossing edge. The following are some results on total coloring of 1-planar graphs. Zhang et al.  proved that each 1-planar graph with is -total colorable and -total colorable if . Jlius Czap  studied the 1-planar graphs and gave some upper bound for the total chromatic number. He showed that a 1-planar graph with satisfies TCC if . He also proved that if is a 1-planar graph without adjacent triangles and with , then and if , then . Xin Zhang et al.  showed that for a 1-planar graph , if and , where is an integer, then .

An outerplanar graph is a planar graph that has a plane embedding such that all vertices lie on the boundary of the outer face. In , Y. Wang and W. Wang characterized the adjacent vertex distinguishing total chromatic number of outerplanar graphs. They proved that, if is an outerplane graph with , then and so the TCC is satisfied. They also proved that, if is an outerplane graph with and without adjacent vertices of maximum degree, then and hence is type-I graph.

A graph is pseudo-outerplanar if each of its blocks has an embedding in the plane so that the vertices lie on a fixed circle and the edges lie inside the disk of this circle with each of them crossing at most one another. In , Xin Zhang and Guizhen Liu verified TCC for pseudo-outerplanar graphs and proved that the total chromatic number of every outerplanar graph with is . Xin Zhang  proved that every pseudo-outerplanar graph with is totally -choosable and hence the total chromatic number also has this as upper bound.

Similar to planar graphs there is another type of graphs called toroidal graphs which are embedding of graphs on torus such that there is no crossing edges. Tao Wang  proved that if is a 1-toroidal graph with maximum degree and without adjacent triangles, then has a total coloring with at most colors.

## 3 Non-planar graphs

### 3.1 Circulant Graph

For a sequence of positive integers , the circulant graph has vertex set , two vertices and being adjacent iff for some

Riadh Khennoufa and Olivier Togni  studied total colorings of circulant graphs and proved that every 4-regular circulant graphs and are type-I graphs for any positive integer and with or and and with or respectively.

A graph is a power of cycle, denoted , and are integers, , if and , where and and , and .

Campos and de Mello  proved that , is type-I and is type-II. They   verified the TCC for powers of cycles even and and also showed that one can obtain a -total coloring for these graphs in polynomial time. They also proved that with are type-I and they proposed the following conjecture.

###### Conjecture 1.

Let , with . Then,

Geetha et al.  proved this conjecture for certain values of and . They also verified TCC for the complement of powers of cycles . In particular, they proved that is type-II for .

Cayley graphs are those whose vertices are the elements of groups and adjacency relations are defined by subsets of the groups. Cayley graphs contain long paths and have many other nice combinatorial properties. They have been used to construct other combinatorial structures. Also, for the constructions of various communication networks, and difference sets in design theory. Cayley graphs have been used to analyze algorithms for computing with groups.

Let be a multiplicative group with identity 1. For the Cayley Graph is the undirected graph having vertex set and edge set .

For a positive integer the unitary Cayley graph is defined by the additive group of the ring of integer modulo and the multiplicative group of its units. If we represent the elements of by the integers 0,1,…, then it is well known that

.

So has vertex set and edge set

.

Boggess et al.   studied the structure of unitary cayley graphs. They have also discussed chromatic number, vertex and edge connectivity, planarity and crossing number. Klotz and Sander   have determined the clique number, the independence number and the diameter. They have given a necessary and sufficient condition for the perfectness of .

The graph is regular of degree denotes the Euler function. Let the prime factorization of be where . If is a prime number, then is the complete graph on vertices. If is a prime power then is a complete -partite graph. In the following theorem we prove TCC holds for unitary Cayley graphs.

###### Theorem 3.1.

A unitary Cayley graph is - total colorable.

###### Proof.

We know that a unitary Cayley graph can be obtained from a balanced partite graph by deleting some edges. Suppose is a prime number, then is the complete graph on vertices. Also, if , a prime power, then is a complete -partite graph and TCC holds for these two graphs  .

When , then the unitary Cayley graph is a bipartite graph and any bipartite graph is total colorable.

Suppose . As is the smallest prime, where induces vertex disjoint cliques each of order . Since is odd, we can color all the elements of these cliques using colors  . Now remove the edges of these cliques. The remaining graph is a -regular graph where the vertices are already coloured. We color the edges of this resultant graph with colors. Thus we have used colors for the total coloring of . ∎

In the following section, we look at graph products and papers on total colouring of product graphs.

### 3.2 Product Graphs

Graph products were first defined by Sabidussi  and Vizing . A lot of work has been done on various topics related to graph products, but on the other hand there are still many questions open. There are four standard graph products, namely, (), (), () and lexicographic product (). In , these products have been widely discussed with significant applications. The vertex sets of these products are same: . The edge sets are ,
,
and
.
The first three products are commutative and the lexicographic product is associative but not commutative.

The total coloring conjecture was verified for the cartesian product of two graphs. Seoud et al. [79, 80] determined the total chromatic number of the join of two paths, the cartesian product of two paths, the cartesian product of a path and a cycle, certain classes of the corona of two graphs and the theta graphs. Kemnitz and Marangio  classified the cartesian product of complete graphs as type-I if or , where and are even and as type-II if is even and odd and . They also obtained the total chromatic number of the cartesian product of two cycles , and , where is a bipartite graph. Using the fact that if is a regular graph with the adjacent vertex distinguishing chromatic index then , Baril et al.   proved that is type-I if are even. Still there are cases of these products of complete graphs which is not classified as type-I or type-II. Equitable total chromatic number of a graph is the smallest integer for which has a -total coloring such that the number of vertices and edges colored with each color differs by at most one. Tong Chunling et al.   improved the results of Seoud et al.   and Kemnitz et al.   by showing that the cartesian product of two cycles and have equitable total 5-coloring. That is, is type-I. Zmasek and erovnik  proved that if TCC holds for graphs and , then it holds for the cartesian product . They also proved that if the factor with largest vertex degree is of type-I, then the product is also of type-I.

There are only a few results proved on total colorings of the other three product graphs. Katja Prnaver and Bla Zmazek  verified the conjecture for direct product of a path and any graph with Geetha and Somasundaram  proved that direct product of two even complete graphs are type-I and the direct product of two cycles and are type-I for certain values of and . They also proved that if () satisfies TCC, then () satisfy TCC, where is any bipartite graph. Mohan et al.  proved that the corona product of two graphs and is always type-I, provided is total colorable and is either a cycle, a complete graph or a bipartite graph. The deleted lexicographic product of two graphs and , denoted by , is a graph with the vertex set and the edge set and , or and . Similar to lexicographic product, and are not necessarily isomorphic. Recently, Vignesh et al.   proved that the if is a bipartite graph and is any total colorable graph then is also total colorable. They further show that for any class-I graph and any graph with at least 3 vertices, is total colorable. In particular, if is class-I then is also type-I.

We present now the results on Sierpiski graphs.

### 3.3 Sierpi´nski Graphs

The Sierpiski graphs , , is defined on the vertex set , where is complete graphs on vertices. Two different vertices and are adjacent if and only if there exists a such that
a) for ;
b) ; and
c) for .

Sierpiski gasket graphs were introduced by Scorer, Grundy and Smith . The graph is obtained from the Sierpiski graphs by contracting every edge of that lies in no triangle. Marko Jakovac and Sandi Klavar  generalized the graphs to Sierpiski graphs for and determined the total colorings of the Sierpiski gasket graphs . In particular they proved that for any and any odd , and are type-I graphs. For the even values of , they believed that is always type-II and hence they proposed a conjecture that is type-II. After three years Andreas M. Hinz, Daniele Parisse   disproved the conjecture based on the canonical total colorings. Also they prove that the Hanoi graphs are type-I graphs. Geetha and Somasundaram  considered the generalized Sierpiski graphs and proved that is type-I for certain classes of .

We now turn our attention to Chordal graphs.

### 3.4 Chordal Graphs

Chordal graphs are graphs in which every induced cycle is a 3-cycle. They form a very important class of graphs due to the fact that they have good algorithmic properties. The TCC is verified for several subfamilies of chordal graphs like interval graphs, split graphs and strongly chordal graphs. A graph is called split graph if its vertex set can be partitioned in to two subsets and such that induces a clique and is independent set in . A color diagram of frame is an ordered set of color arrays, where color array , of length , consists of distinct colors for all . In , Chen et al. proved that the split graphs satisfies TCC. They also proved that if is a split graph with even, then is type-I. They extensively used the concept of color diagram to prove these results. Campos et al.  gave conditions for the split-indifference graph to be type-II and constructed a -total colorings for the remaining. Hilton  proved the following (it is known as Hilton’s condition): Let be a simple graph with an even number of vertices. If has a universal vertex, then is type-II if and only if , where is the cardinality of a maximum independent set of edges of .

Three-clique graphs are generalization of the split-indifference graphs. Campos et al.  proposed a conjecture based on the Hilton’s condition.

###### Conjecture 2.

A 3-clique graph is type-II if and only if it satisfies Hilton’s condition.

A graph is dually chordal if it is the clique graph of a chordal graph. The class of dually chordal graphs generalize known subclasses of chordal graphs such as doubly chordal graphs, strongly chordal graphs, interval graphs, and indifference graphs. Figueiredo et al.  proved that TCC holds for dually chordal graphs. A pullback from to is a function , such that: (i) is a homomorphism and (ii) is injective when restricted to the neighborhood of . Based on this pullback method, they proved that if is even, then is type-I. A family of sets satisfies the Helly property if any subfamily of pairwise intersecting sets has nonempty intersection. A graph is neighborhood-Helly when the set satisfies the Helly property. A characterization of dually chordal graphs says that is dually chordal if and only if is neighborhood-Helly and is chordal. It is proved that  TCC holds for neighborhood-Helly graphs such that is perfect. They also proposed the following problem which is still open:

Determine the largest graph class for which all its odd maximum degree graphs are class-I and for which all its even maximum degree graphs are type-I.

A graph is weakly chordal if neither the graph nor the complement of the graph has an induced cycle on five or more vertices. A simple graph on is threshold, if can be built sequentially from the empty graph by adding vertices one at a time, where each new vertex is either isolated (nonadjacent to all the previous) or dominant (connected to all the previous). A graph is said to be mock threshold if there is a vertex ordering such that for every the degree of in is 0, 1, , or . Mock threshold graphs are a simple generalization of threshold graphs that, like threshold graphs, are perfect graphs. Mock threshold graphs are perfect and indeed weakly chordal but not necessarily chordal  . Similarly, the complement of a mock threshold graph is also mock threshold.

In the following, we prove the TCC for Mock Threshold graphs.

Note: A total coloring of can be constructed as follows: (This total coloring is due to Hinz and Parisse  )

When is even, we first construct an edge coloring of and extend it. We denote . For , let be the transposition of and on . For even , , for , defines a -edge coloring. In this coloring assignment line will have the missing colors and . We color for all .

When is odd, we use the same coloring of . In the coloring assignment of , still the color is missing in line . We use these colors to the edges incident with vertex and color to the vertex.

###### Theorem 3.2.

Total coloring conjecture holds for any Mock threshold graph .

###### Proof.

Consider the Mock threshold graph with vertex ordering .

We prove this theorem using mathematical induction on the induced subgraph .

For , the maximum degree of all the induced subgraphs is less than or equal to 3. We know that a graph with maximum degree less than or equal to 3 satisfies TCC  .

Let us assume that satisfies TCC.

Claim: The graph satisfies TCC.

The degree of the vertex in can be or .

Case-1: Suppose .

In this case the vertex is is an isolated vertex. By the induction assumption, satisfies TCC.

Case-2: Suppose .

In this case, the vertex is adjacent to a vertex, say , in . Since is total colorable graph with at most colors, at each vertex there will be at least one missing color. We assign this missing color to the edge , and for the vertex , we assign a color of a vertex which is not adjacent to and not the color of . Therefore, satisfies TCC.

Case-3: Suppose .

Let us assume that the vertex is not adjacent with and also assume that
. We consider following two cases:

Subcase-1: is even.

Since is even, is odd. Construct a complete graph induced by the vertices . Now, color this complete graph using colors in the set as given in the note. In this coloring assignment there will be one missing color at each of the vertices and they are distinct. Now, color the edges , with the missing colors. Assign the color to the vertex . To get a total coloring of , we remove these edges and there is no change in the maximum degree.

Subcase-2: is odd.

In this case is even, say . It is known that a graph of order with maximum degree satisfies TCC (see  [44, 22]).

Case-4: Suppose .

The maximum degree of is . Construct a complete graph on the vertex set . We know that the complete graph satisfies TCC. After removing the added edges we get a total coloring of

Hence, in all the cases, the mock threshold graph satisfies TCC.

### 3.5 Multipartite Graphs

Graph amalgamation  is one of the powerful techniques for various graph problems. A graph is an amalgamation of a graph if there exists a function called an amalgamation function from onto and a bijection such that joining and is in if and only if joining and is in . Total coloring conjecture was verified for some classes of multipartite graphs using the amalgamation technique.

Dong and Yap  proved that the complete -prartite graph is of type-I if and , . Deficiency of a graph to be def. Dalal and Rodger  proved that is type-II if and only if (mod 2) and def() is less than the number of parts in of odd size. Dalal et al.  proved that the complete -partite graph is type-I if and only if and if has an even number of vertices then def() is at least the number of parts of odd size. Using graph amalgamations technique they showed that all complete multipartite graphs of the form are type-I .

Chen et al.  proved that an -regular equi-bipartite graph is type-I if and only if contains a 4-cycle. Campos and de Mello  determined the total chromatic number of some bipartite graphs like grids, near-ladders and -dimensional cubes.

### 3.6 Cubic Graphs

In  Dantas et al. proved that for each integer there exists an integer such that, for any , the generalized Petersen graph has total chromatic number 4.

Snarks are cyclically 4-edge-connected cubic graphs that do not allow a 3-edge-coloring. Cavicchiolic et al.  proved that all the snarks of order less than 30 are of type-I (this was proved with the aid of a computer). Also they proposed a open problem “find (if any) the smallest snark (with respect to the order) which is of type-II”. Motivated by that question, Campos et al.  proved that all graphs in three infinite families of snarks, the Flower Snarks, the Goldberg Snarks, and the Twisted Goldberg Snarks are type-I. They gave recursive procedures to construct total-colourings that uses 4 colours in each case. Also they proposed an open problem that all snarks are type-I. Sasaki el al.  prove that the total chromatic number of some classes of Snarks like, Loupekhine, Goldberg snarksboth and Blanuša’s families of graphs is 4. They observed that the total chromatic number seems to have no relation with the chromatic index for a cubic graph of cyclic-edge-connectivity less than 4. Also they proposed the following questions:
(i). What is the smallest type-II cubic graph without a square?
(ii). What is the smallest type-II snark?
Gunnar Brinkmann et al.  considered the problems posed by Campos et al.  and Sasaki el al.  and showed that there exists type-II snarks for each even order They gave a computer search for which all the cubic graphs with girth 5 and up to 32 vertices are type-I. Also they proposed the following questions:
(i). Does there exist a type-II snark of order less than 40? (The only possible orders for which the existence is not yet known are 36 and 38.)
(ii). What is the smallest type-II cubic graph with girth at least 5?
(iii). Is there a girth so that all cubic graphs with girth at least are type-I?

### 3.7 Graphs with Degree Constraints

Being a very difficult conjecture, it makes sense to prove the conjecture either for known classes of graphs or graphs with some degree constrains. Hilton and Hind  showed that TCC holds for the graphs having . Chetwynd et al.  gave a necessary and sufficient condition for , if is odd order and regular of degree .

Deficiency of a graph to be def. A graph is said to be conformable if has a vertex colouring that uses colours with def, where is the number of colour classes with parity different from . Chew  improved the previous result (Chetwynd et al. ) for . He proved that for any regular graph of odd order and with , is type-I if and only if is conformable; otherwise type-II.

Dezheng Xie and Zhongshi He  showed that if is a regular graph of even order and , then . Later, Xie DeZheng and Yang WanNian  proved the same result for regular graph of odd order. Combining these two results, we conclude that if regular graph with then satisfies TCC. In  Machado and de Figueiredo proved that every non-complete {square, unichord}-free graph of maximum degree at least 4 is type-I. Also they proved that any {square, unichord}-free graph is total colorable. Using graph decompositions, the same authors  proved that the non-complete { square, unichord }-free graphs of maximum degree 3 are type-I.

A graph is said to be -degenerate for an integer if it can be reduced to a trivial graph by successive removal of vertices with degree . For example, every planar graph is 5-degenerate. Shuji Isobe et al.  proved that an -degenerate graph has admits a total coloring with colors if the maximum degree . The proof is based on Vizing’s and and Konig’s theorems on edge colorings. Further, they gave a linear time algorithm to find a total coloring of a graph with minimum number of colors if is a partial -tree.

### 3.8 Other Classes of Graphs

Mycielski  , introduced the graph Mycielskian graph , to build a graph with a high chromatic number and a small clique number. Let be a graph with vertex set and edge set . Given an integer , the -Mycielskian of , denoted by , is the graph with vertex set , where is the distinct copy of for and the edge set . Chen et al.  showed that the generalized Mycielski graphs satisfy TCC. Also they proved the total chromatic number of generalized Mycielski graphs is if .

Zhi-wen Wang et al.  proved that the vertex distinguishing total chromatic number and the total chromatic number are same for the graphs and . Li and Zhang  proved that the join of a complete inequibipartite graph and a path is type-I. Hilton et al. , determined the total chromatic numbers of graphs of the form , where and are graphs of maximum degree at most two.
The line graph of , denoted by , has the set as its vertex set and two distinct vertices are adjacent if and only if they share a common vertex in . Vignesh et al.   showed in a direct manner that for , is type-I. They believe that is always type-I. Hence they proposed the following conjecture:

###### Conjecture 3.

For any complete graph , .

The double graph of a given graph is constructed by making two copies of (including the initial edge set of each) and adding edges and for every edge of . Vignesh et al.   also prove that for any total colorable graph ,

We know that middle graphs are subclasses of total graphs and super classes of line graphs. Muthuramakrishnan and Jayaraman   obtained the total chromatic number for line, middle and total graphs of star and bistars.

The Kneser graph is the graph whose vertices correspond to the -element subsets of a set of elements, and where two vertices are adjacent if and only if the two corresponding sets are disjoint. A vertex in the odd graph is a -element subset of a -element set. Two vertices are connected by an edge if and only if the corresponding subsets are disjoint. Note that the odd graphs are particular case of Kneser graphs.

###### Theorem 3.3.

Odd graph satisfies TCC.

###### Proof.

Consider a element set . Let be an odd graph defined from the subsets of . Let be any element of . Then, among the vertices of , exactly vertices correspond to sets that contain . Because all these sets contain , they are not disjoint, and form an independent set of . That is, has different independent sets of size . Further, every maximum independent set must have this form, so, has exactly maximum independent sets.

If is a maximum independent set, formed by the sets that contain , then the complement of is the set of vertices that do not contain . This complementary set induces a matching in . Each vertex of the independent set is adjacent to vertices of the matching, and each vertex of the matching is adjacent to vertices of the independent set  .

Based on the decomposition, we give a total coloring of in the following way:

Assign colors to the edges between the vertices in the maximum independent set and the vertices in the matching. Color the edges in matching and the vertices in with a new color. Color one set of vertices in the matching with another new color and the second set of vertices with the missing colors at these vertices. This will give a total coloring of using at most colors.

In the next section we look at the algorithmic aspects of TCC that has been discussed in the literature.

## 4 Algorithms

It is known  that the problem of finding a minimal total coloring of a graph is in general case NP-hard. In the same paper, Sanchez-Arroyo also proved that the problem is NP-complete even for cubic bipartite graphs. For general classes of graphs, the total coloring would be harder than edge colouring. Due to its complexity, several authors aim to find classes of graphs where there is a polynomial time algorithm for optimal total coloring. Bojarshinov  showed that the Behzad and Vizing conjecture holds for interval graphs. Also, he proved that every interval graph with even maximum degree can be totally colored in colors in time . This is the first known polynomial time algorithm for total colorings. Recently, Golumbic  showed that a rooted path graph is type-I if is even, otherwise it satisfies TCC. Also, he gave a greedy algorithm (very greedy neighborhood coloring algorithm) which takes time.

Chordal graphs are a subclass of the perfect graphs. We know that linear time algorithms exist for vertex colorings of chordal graphs. Yet, the complexity of total coloring is open for the class of chordal graphs. The complexity is know for interval graphs , split graphs  and dually chordal graphs . In , Machado and Celina de Figueiredo proved that the total coloring of bipartite unichord-free graphs is NP-complete using the concept of separating class. Machado et al.   used a decomposition result to establish that every chordless graph of maximum degree has total chromatic number and proved that this coloring can be obtained in time . Machado et al.   discussed the time complexity of {square, unichord}-free graphs and showed that the total coloring can be obtained in polynomial time. In this case it is interesting to see that the edge coloring of this type of graphs is NP-complete.

Shuji Isobe et al.   proved that the total coloring problem for -degenerate graph can be solved in time O(log) for a fairly large class of graphs including all planar graphs with sufficiently large maximum degree. Further, they showed that the total coloring problem can be solved in linear time for partial -trees with bounded .

Dantas et al.   proved that the problem of deciding whether the equitable total chromatic number is 4 is NP-complete for bipartite cubic graphs. They also found one family of type-I cubic graphs of girth 5 having equitable total chromatic number 4. There are several classes of graphs in which the complexity of total coloring are unknown. We conclude this survey with a listing of the computational complexity of edge and total colorings of certain classes of graphs in Table 1.

## References

•  A. Bahmanian and C. A. Rodger. What are graph amalgamations? eprint arXiv:1710.03844, 2017.
•  J. L. Baril, H. Kheddouci, and O. Togni. Vertex distinguishing edge-and total-colorings of cartesian and other product graphs. Ars Comb., 107:109–127, 2012.
•  R. Behr, V. Sivaraman, and T. Zaslavsky. Mock threshold graphs. Discrete Mathematics, 341(8):2159–2178, 2018.
•  M. Behzad. Graphs and and their chromatic numbers. PhD thesis, Michigan State University, 1965.
•  M. Behzad. The total chromatic number. In Combinatorial Mathematics and Its Applications, Proc, Conf., Oxford 1969, pages 1–8, London, 1971.
•  M. Boggess, T. J. Henderson, I. Jimenez, and R. Karpman. The structure of unitary cayley graphs, technical report. semanticscholar.org, 2008.
•  V. A. Bojarshinov. Edge and total coloring of interval graphs. Discrete Applied Mathematics, 114(1-3):23–28, 2001.
•  O. V. Borodin. Colorings of plane graphs: A survey. Discrete Mathematics, 313(4):517–539, 2013.
•  G. Brinkmann, M. Preissmann, and D. Sasaki. Snarks with total chromatic number 5. Discrete Mathematics and Theoretical Computer Science, 17(1):369–382, 2015.
•  H. Cai. Total coloring of planar graphs without chordal 7-cycles. Acta Mathematica Sinica, English Series, 31(12):1951–1962, 2015.
•  J. S. Cai, G. H. Wang, and G. Y. Yan. Planar graphs with maximum degree 8 and without intersecting chordal 4-cycles are 9-totally colorable. Science China Mathematics, 55(12):2601–2612, 2012.
•  C. N. Campos, S. Dantas, and C. P. de Mello. The total-chromatic number of some families of snarks. Discrete Mathematics, 311(12):984–988, 2011.
•  C. N. Campos, C. H. de Figueiredo, R. Machado, and C. P. de Mello. The total chromatic number of split-indifference graphs. Discrete Mathematics, 312(17):2690–2693, 2012.
•  C. N. Campos and C. P. de Mello. Total colouring of . Tendencias em Matematica Aplicada e Computacional, 4(2):177–186, 2003.
•  C. N. Campos and C. P. de Mello. The total chromatics number of some bipartite graphs. Electronic Notes in Discrete Mathematics, 22:557–561, 2005.
•  C. N. Campos and C. P. de Mello. A result on the total colouring of powers of cycles. Discrete Applied Mathematics, 155(5):585–597, 2007.
•  A. Cavicchioli, T. E. Murgolo, B. Ruini, and F. Spaggiari. Special classes of snarks. Acta Applicandae Mathematicae, 76(1):57–88, 2003.
•  G. J. Chang, J. Hou, and N. Roussel. Local condition for planar graphs of maximum degree 7 to be 8-totally colorable. Discrete Applied Mathematics, 159(8):760–768, 2011.
•  J. Chang, H.J. Wang, J.L. Wu, and A. Yong-Ga. Total colorings of planar graphs with maximum degree 8 and without 5-cycles with two chords. Theoretical Computer Science, 476:16–23, 2013.
•  J. Chang, J.L. Wu, and A. Yong-Ga. Total colorings of planar graphs with sparse triangles. Theoretical Computer Science, 526:120–129, 2014.
•  B. L. Chen, L. Dong, Q. Z. Liu, and K. C. Huang. Total colorings of equibipartite graphs. Discrete mathematics, 194(1-3):59–65, 1999.
•  B. L. Chen and H. L. Fu. Total colorings of graphs of order 2n having maximum degree 2n- 2. Graphs and Combinatorics, 8(2):119–123, 1992.
•  B. L. Chen, H. L. Fu, and M. T. Ko. Total chroamtic number and chromatic index of split graphs. Journal of Combinatorial Mathematics and Combinatorial Computing, (17):137–146, 1995.
•  M. Chen, X. Guo, H. Li, and L. Zhang. Total chromatic number of generalized mycielski graphs. Discrete Mathematics, 334:48–51, 2014.
•  A. G. Chetwynd, A. J. W. Hilton, and Z. Cheng. The total chromatic number of graphs of high minimum degree. Journal of the London Mathematical Society, 2(s2-44):193–202, 1991.
•  K. H. Chew. Total chromatic number of regular graphs of odd order and high degree. Discrete Mathematics, 154(1-3):41–51, 1996.
•  T. Chunling, L. Xiaohui, Y. Yuanshenga, and L. Zhihe. Equitable total coloring of and . Discrete Applied Mathematics, 157(4):596–601, 2009.
•  D. W. Cranston and D. B. West. An introduction to the discharging method via graph coloring. Discrete Mathematics, 340(4):766–793, 2017.
•  J. Czap. A note on total colorings of 1-planar graphs. Information Processing Letters, 113(14-16):516–517, 2013.
•  A. Dalal, B. S. Panda, and C. A. Rodger. Total-colorings of complete multipartite graphs using amalgamations. Discrete Mathematics, 339(5):1587–1592, 2016.
•  A. Dalal and C. A. Rodger. The total chromatic number of complete multipartite graphs with low deficiency. Graphs and Combinatorics, 31(6):2159–2173, 2015.
•  S. Dantas, C. M. H. de Figueiredo, G. Mazzuoccolo, M. Preissmann, V.F. dos Santos, and D. Sasaki. On the equitable total chromatic number of cubic graphs. Discrete Applied Mathematics, 209:84–91, 2016.
•  S. Dantas, C.M.H. de Figueiredo, G. Mazzuoccolo, M. Preissmann, V.F. dos Santos, and D. Sasaki. On the total coloring of generalized petersen graphs. Discrete Mathematics, 339(5):1471–1475, 2016.
•  C. M. H. de Figueiredo, J. Meidanis, and C. P. de Mello. Total-chromatic number and chromatic index of dually chordal graphs. Information Processing Letters, 70(3):147–152, 1999.
•  A. Dong, G. Liu, and G. Li. List edge and list total colorings of planar graphs without 6-cycles with chord. Bulletin of the Korean Mathematical Society, 49(2):359–365, 2012.
•  L. Dong and H. P. Yap. The total chromatic number of unbalanced complete -partite graphs of even order. Bull. Inst. Comb. Appl, 28:107–117, 2000.
•  J. Geetha, H. L. Fu, and K. Somasundaram. Total colorings of circulant graphs. Submitted, 2018.
•  J. Geetha and K. Somasundaram. Total coloring of generalized sierpiski graphs. Australasian Journal Of Combinatorics, 63(1):58–69, 2015.
•  J. Geetha and K. Somasundaram. Total colorings of product graphs. Graphs and Combinatorics, 34(2):339–347, 2018.
•  C. D. Godsil. More odd graph theory. Discrete Mathematics, 32(2):205–207, 1980.
•  M. C. Golumbic. Total coloring of rooted path graphs. Information Processing Letters, 135:73–76, 2018.
•  J. Hattingh. The edge chromatic number of circulant. Quaestiones Mathematicae, 11(4):371–381, 1988.
•  A. J. W. Hilton. A total-chromatic number analogue of plantholt’s theorem. Discrete mathematics, 79(2):169–175, 1990.
•  A. J. W. Hilton. A total-chromatic number analogue of plantholt’s theorem. Discrete mathematics, 79(2):169–175, 1990.
•  A. J. W. Hilton and H. R. Hind. The total chromatic number of graphs having large maximum degree. Discrete Mathematics, 117(1-3):127–140, 1993.
•  A. J. W. Hilton, J. Liu, and C. Zhao. The total chromatic numbers of joins of sparse graphs. Australasian Journal of Combinatorics, 28:93–105, 2003.
•  A. M. Hinz and D. Parisse. Coloring hanoi and sierpiski graphs. Discrete Mathematics, 312(9):1521–1535, 2012.
•  J. Hou, B. Liu, G. Liu, and J. Wu. Total coloring of planar graphs without 6-cycles. Discrete Applied Mathematics, 159(2-3):157–163, 2011.
•  J. Hou, Y. Zhu, G. Liu, J. Wu, and M. Lan. Total colorings of planar graphs without small cycles. Graphs and Combinatorics, 24(2):91–100, 2008.
•  S. Isobe, X. Zhou, and T. Nishizeki. Total colorings of degenerate graphs. Combinatorica, 27(2):167–182, 2007.
•  M. Jakovac and S. Klavar. Vertex-, edge-, and total-colorings of sierpiski-like graphs. Discrete Mathematics, 309(6):1548–1556, 2009.
•  A. Kemnitz and M. Marangio. Total colorings of cartesian products of graphs. Congressus Numerantium, 165:99–110, 2003.
•  R. Khennoufa and O. Togni. Total and fractional total colourings of circulant graphs. Discrete Mathematics, 308(24):6316–6329, 2008.
•  W. Klotz and T. Sander. Some properties of unitary cayley graphs. The electronic journal of combinatorics, 14(1):45, 2007.
•  A. V. Kostochka. The total chromatic number of any multigraph with maximum degree five is at most seven. Discrete Mathematics, 162(1-3):199–214, 1996.
•  L. Kowalik, J. S. Sereni, and R. Škrekovski. Total-coloring of plane graphs with maximum degree nine. SIAM Journal on Discrete Mathematics, 22(4):1462–1479, 2008.
•  G. Li and L. Zhang. Total chromatic number of one kind of join graphs. Discrete Mathematics, 306(16):1895–1905, 2003.
•  X. Li. Total coloring of planar graphs with maximum degree six. Recent Advances in Computer Science and Information Engineering, Lecture Notes in Electrical Engineering, 129:801–805, 2012.
•  B. Liu, J. F. Hou, and G. Z. Liu. List total colorings of planar graphs without triangles at small distance. Acta Mathematica Sinica English Series, 27(12):2437–2444, 2011.
•  R. Machado and C. de Figueiredo. Complexity separating classes for edge-colouring and total-colouring. Journal of the Brazilian Computer Society, 17(4):281–285, 2011.
•  R. C. S. Machado and C. M. H. de Figueiredo. Total chromatic number of {square,unichord}-free graphs. Electronic Notes in Discrete Mathematics, 36:671–678, 2010.
•  R. C. S. Machado and C. M. H. de Figueiredo. Total chromatic number of unichord-free graphs. Discrete Applied Mathematics, 159(16):1851–1864, 2011.
•  R. C. S. Machado, C. M. H. de Figueiredo, and K. Vuskovic. Chromatic index of graphs with no cycle with a unique chord. Theoretical Computer Science, 411(7-9):1221–1234, 2010.
•  R. C. S. Machadoa, C. M. H. de Figueiredo, and N. Trotignon. Edge-colouring and total-colouring chordless graphs. Discrete Mathematics, 313(14):1547–1552, 2013.
•  R. C. S. Machadoa, C. M. H. de Figueiredo, and N. Trotignon. Complexity of colouring problems restricted to unichord-free and {square,unichord}-free graphs. Discrete Applied Mathematics, 164:191–199, 2014.
•  S. Mohan, J. Geetha, and K. Somasundaram. Total coloring of the corona product of two graphs. Australasian Journal Of Combinatorics, 68(1):15–22, 2017.
•  M. Molloy and B. Reed. A bound on the total chromatic number. Combinatorica, 18(2):241–280, 1998.
•  D. Muthuramakrishnan and G. Jayaraman. Total chromatic number of star and bistargraphs. International Journal of Pure and Applied Mathematics, 117(21):699–708, 2017.
•  J. Mycielski. Sur le coloriage des graphs. Colloquium Mathematicum, 3(9):161–162, 1955.
•  H. Petr. Discharging technique in practice. Lecture text for Spring School on Combinatorics, 2000.
•  K. Prnaver and B. Zmazek. On total chromatic number of direct product graphs. Journal of Applied Mathematics and Computing, 33(1-2):449–457, 2010.
•  N. Roussel. Local condition for planar graphs of maximum degree 6 to be total 8-colorable. Taiwanese Journal Of Mathematics, 15(1):87–99, 2011.
•  N. Roussel and X. Zhu. Total coloring of planar graphs of maximum degree eight. Information Processing Letters, 110(8-9):321–324, 2010.
•  G. Sabidussi. Graph multiplication. Mathematische Zeitschrift, 72(1):446–457, 1960.
•  A. Sanchez-Arroyo. Determining the total colouring number is np-hard. Discrete Mathematics, 78(3):315–319, 1989.
•  D. P. Sanders and Y. Zhao. On total 9-coloring planar graphs of maximum degree seven. Journal of Graph Theory, 31(1):67–73, 1999.
•  D. Sasaki, S. Dantas, C. M. H. de Figueiredo, and M. Preissmann. The hunting of a snark with total chromatic number 5. Discrete Applied Mathematics, 164:470–481, 2014.
•  R. S. Scorer, P. M. Grundy, and C. A. B. Smith. Some binary games. Math. Gaz., 28:96–103, 1944.
•  M. A. Seoud. Total chromatic numebers. Applied Mathematics Letters, 5(6):37–39, 1992.
•  M. A. Seoud, AEI Abd el Maqsoud, R. J. Wilson, and J. Williams. Total colourings of cartesian products. International Journal of Mathematical Education in Science and Technology, 28(4):481–487, 1997.
•  L. Shen and Y. Wang. On the 7 total colorability of planar graphs with maximum degree 6 and without 4-cycles. Graphs and Combinatorics, 25(3):401–407, 2009.
•  L. Shen and Y. Wang. Planar graphs with maximum degree 7 and without 5-cycles are 8-totally-colorable. Discrete Mathematics, 310(17-18):2372–2379, 2010.
•  X. Y. Sun, J. L. Wu, Y. W. Wu, and J. F. Hou. Total colorings of planar graphs without adjacent triangles. Discrete Mathematics, 309(1):202–206, 2009.
•  R. Vignesh, J. Geetha, and K. Somasundaram. Total coloring conjecture for certain classes of graphs. Algorithms, 11(10):161, 2018.
•  V. G. Vizing. The cartesian product of graphs. Vyc.Sis,, 9(1):30–43, 1963.
•  V. G. Vizing.

On an estimate of the chromatic class of a

-graph.
Diskret Analiz, 3:25–30, 1964.
•  B. Wang and J. L. Wu. Total coloring of planar graphs with maximum degree 7. Information Processing Letters, 111(20):1019–1021, 2011.
•  B. Wang and J. L. Wu. Total colorings of planar graphs with maximum degree seven and without intersecting 3-cycles. Discrete Mathematics, 311(18-19):2025–2030, 2011.
•  B. Wang and J. L. Wu. Total colorings of planar graphs without intersecting 5-cycles. Discrete Applied Mathematics, 160(12):1815–1821, 2012.
•  B. Wang, J. L. Wu, and S. F. Tian. Total colorings of planar graphs with small maximum degree. Bulletin of the Malaysian Mathematical Sciences Society, 36(3):783–787, 2013.
•  B. Wang, J. L. Wu, and H. J. Wang. Total colorings of planar graphs without chordal 6-cycles. Discrete Applied Mathematics, 171:116–121, 2014.
•  H. Wang, B. Liu, Y. Gu, X. Zhang, W. Wu, and H. Gao. Total coloring of planar graphs without adjacent short cycles.

Journal of Combinatorial Optimization

, 33(1):265–274, 2017.
•  H. Wang, B. Liu, and J. Wu. Total coloring of planar graphs without chordal short cycles. Graphs and Combinatorics, 31(5):1755–1764, 2015.
•  H. Wang, L. Wu, and J. Wu. Total coloring of planar graphs with maximum degree 8. Theoretical Computer Science, 522:54–61, 2014.
•  H. Wang, L. Wu, W. Wu, P. M. Pardalos, and J. Wu. Minimum total coloring of planar graph. Journal of Global Optimization, 60(4):777–791, 2014.
•  H. J. Wang, Z. Y. Luo, Y. Gu, and H. W. Gao. A note on the minimum total coloring of planar graphs. Acta Mathematica Sinica, English Series, 32(8):967–974, 2016.
•  H. J. Wang and J. L. Wu. A note on the total coloring of planar graphs without adjacent 4-cycles. Discrete Matematics, 312(11):1923–1926, 2012.
•  T. Wang. Total coloring of 1-toroidal graphs with maximum degree at least 11 and no adjacent triangles. Journal of Combinatorial Optimization, 33(3):1090–1105, 2017.
•  Y. Wang, Q. Li, and M. Shangguan. On total chromatic number of planar graphs without 4-cycles. Science in China Series A: Mathematics, 50(1):81–86, 2007.
•  Y. Wang and W. Wang. Vertex distinguishing total colorings of outerplanar graphs. Journal of Combinatorial Optimization, 19(2):123–133, 2010.
•  Z. Wang, L. Yan, and Z. Zhang. Vertex distinguishing equitable total chromatic number of join graph. Acta Mathematicae Applicatae Sinica, 23(3):433–438, 2007.
•  Q. Wu, Q. Lu, and Y. Wang. -total colorability of plane graphs of maximum degree with neither chordal 5-cycle nor chordal 6-cycle. Information Processing Letters, 111(15):767–772, 2011.
•  D. Xie and Z. He. The total chromatic number of regular graphs of even order and high degree. Discrete Mathematics, 300(1-3):196–212, 2005.
•  D. Z. Xie and W. N. Yang. The total chromatic number of regular graphs of high degree. Science in China Series A: Mathematics, 52(8):1743–1759, 2009.
•  R. Xu, J. Wu, and H. Wang. Total coloring of planar graphs without some chordal 6-cycles. Bulletin of the Malaysian Mathematical Sciences Society, 38(2):561–569, 2015.
•  R. Xu and J. L. Wu. Total coloring of planar graphs with 7-cycles containing at most two chords. Theoretical Computer Science, 520:124–129, 2014.
•  H. P. Yap. Total colourings of graphs.