---
title: Total Coloring Conjecture
url: https://www.emergentmind.com/topics/total-coloring-conjecture
type: topic
---

# Total Coloring Conjecture

The **Total Coloring Conjecture** (TCC), independently due to **Behzad** and **Vizing**, asserts that every simple graph \(G\) admits a proper coloring of \(V(G)\cup E(G)\) with at most \(\Delta(G)+2\) colors, where adjacent vertices, adjacent edges, and incident vertex–edge pairs receive distinct colors. The minimum such number is the **total chromatic number**, usually denoted \(\chi''(G)\), although some recent papers write \(\chi_T(G)\). Since every graph satisfies the lower bound \(\chi''(G)\ge \Delta(G)+1\), the conjecture predicts the sharp two-point range \(\chi''(G)\in\{\Delta(G)+1,\Delta(G)+2\}\) [1812.05833].

## 1. Definitions, notation, and equivalent formulations

A **total coloring** of a simple graph \(G\) assigns colors to both vertices and edges so that adjacent vertices receive different colors, adjacent edges receive different colors, and each edge receives a color distinct from the colors of its endpoints. The minimum number of colors in such a coloring is the total chromatic number \(\chi''(G)\) [1812.05833]. In the notation of some recent dense-graph papers, the same parameter is written \(\chi_T(G)\) [2405.07382].

The conjectural bound is
\[
\chi''(G)\le \Delta(G)+2.
\]
Combined with the basic lower bound \(\chi''(G)\ge \Delta(G)+1\), this yields the standard dichotomy between **type-I** graphs, for which \(\chi''(G)=\Delta(G)+1\), and **type-II** graphs, for which \(\chi''(G)=\Delta(G)+2\) [1812.05833]. This classification is central in the literature because many class-specific results actually determine whether a family is type I or type II, rather than merely proving the conjectured upper bound.

A particularly useful reformulation uses the **total graph** \(T(G)\), whose vertex set is \(V(G)\cup E(G)\), with adjacency encoding either adjacency or incidence in \(G\). Under this construction,
\[
\chi''(G)=\chi(T(G)),
\]
so total coloring becomes ordinary vertex coloring of \(T(G)\) [1803.07450; 2107.09994]. This viewpoint links TCC to equitable coloring, list coloring, and graph-minor questions on total graphs.

For multigraphs, the Behzad–Vizing formulation becomes
\[
\chi''(G)\le \Delta(G)+\mu(G)+1,
\]
where \(\mu(G)\) is the multiplicity. A stronger formulation noted in the literature is \(\chi''(G)\le \chi'(G)+1\), where \(\chi'(G)\) is the chromatic index [2109.07610]. The same paper also recalls **Goldberg’s conjecture**, which predicts
\[
\chi'(G)\ge \Delta(G)+3 \implies \chi''(G)=\chi'(G),
\]
and proves, assuming the Goldberg–Seymour conjecture, that
\[
\chi'(G)\ge \max\{\Delta(G)+2,\ |V(G)|+1\}\implies \chi''(G)=\chi'(G)
\]
for graphs in that regime [2109.07610].

## 2. Difficulty, exactness, and computational status

Total coloring is structurally harder than either vertex coloring or edge coloring in isolation because it imposes both constraints simultaneously. The survey literature explicitly records that finding a minimum total coloring is **NP-hard** in general and even **NP-complete** for some restricted classes such as **cubic bipartite graphs** [1812.05833]. This computational hardness persists even when the conjectural upper bound is known: the challenge often lies in determining whether the graph is type I or type II.

The subcubic case illustrates this distinction sharply. For graphs with \(\Delta=3\), TCC specializes to \(\chi''(G)\le 5\), and the literature cited in the Halin-graph work states that this case was verified by **Rosenfeld** and independently by **Vijayaditya**; thus every subcubic graph is totally 5-colorable [2603.23189]. Yet deciding whether only four colors suffice remains difficult, and the same paper notes that this decision problem is hard even for **cubic bipartite graphs** [2603.23189].

The conjecture remains unresolved in full generality. The survey emphasizes that it is **not settled even for planar graphs**, despite a long sequence of partial theorems, especially for graphs with forbidden local configurations or large maximum degree [1812.05833]. This persistent incompleteness is one reason total coloring continues to function both as a structural conjecture and as an algorithmic benchmark.

## 3. Established graph classes and exact theorems

A large part of the modern literature verifies TCC on restricted families, often by proving the stronger equality \(\chi''(G)=\Delta(G)+1\). For planar-type classes, the dominant techniques are **discharging** and reducible configurations; for product graphs, Cayley graphs, and dense families, constructive colorings, equitable decompositions, and matching-based arguments are more typical.

The survey records that TCC is known for planar graphs with \(\Delta(G)\le 5\), that every planar graph with \(\Delta(G)\le 7\) is 9-total-colorable, that TCC was verified for planar graphs with \(\Delta(G)=8\), and that planar graphs with \(\Delta(G)\ge 9\) are type I [1812.05833]. More recent work narrows the unresolved planar frontier further by handling specific \(\Delta=6\) configurations [2507.12737].

| Graph class | Conclusion | Source |
|---|---|---|
| Pseudo-outerplanar graphs | TCC holds for all pseudo-outerplanar graphs; if \(\Delta(G)\ge 5\), then \(\chi''(G)=\Delta(G)+1\) | [1108.5009] |
| 1-toroidal graphs with \(\Delta\ge 11\) and no adjacent triangles | \(\chi''(G)\le \Delta(G)+2\) | [1206.3862] |
| Planar graphs with \(\Delta=6\) and no mushroom, tent, or cone | Totally 8-colorable | [2507.12737] |
| Coronas of cubic graphs | \(\chi''(G\circ H)=\chi''_{=}(G\circ H)=\Delta(G\circ H)+1\) | [1504.04869] |
| Selected Cayley graph families | Exact type-I and type-II results; perfect Cayley graphs under stated hypotheses satisfy TCC | [2006.07677] |
| Cubic Halin graphs | All cubic Halin graphs except \(K_4,H_4,H_5,H_8\) satisfy \(\chi''(H)=4\) | [2603.23189] |
| Subcubic Halin graphs | All subcubic Halin graphs except \(K_4,H_4,H_5,H_8,H_3\) satisfy \(\chi''(H)=4\) | [2603.23189] |

These results are methodologically diverse. For pseudo-outerplanar graphs, the proof proceeds by induction on \(|V(G)|+|E(G)|\) combined with a structural lemma that forces one of four reducible configurations [1108.5009]. For 1-toroidal graphs, the proof uses a minimal-counterexample setup, passage to an associated embedded graph, and a detailed discharging argument with semi-fans [1206.3862]. For cubic and subcubic Halin graphs, the problem is reduced to finite **palette** computations on **Halin tripoles**, yielding a linear-time algorithm and finite exception lists [2603.23189].

## 4. Dense graphs and asymptotic confirmations

Recent progress has concentrated on dense graphs, where global degree hypotheses permit auxiliary-graph reductions and controlled edge-coloring constructions. A 2024 result proves the general bound
\[
\chi_T(G)\le \Delta(G)+2\left\lceil \frac{|V(G)|}{\Delta(G)+1}\right\rceil
\]
for every graph \(G\). As an immediate corollary, if \(\Delta(G)\ge \tfrac12|V(G)|\), then
\[
\chi_T(G)\le \Delta(G)+4.
\]
The same paper proves a sharp asymptotic theorem for regular graphs: for every \(0<\varepsilon<1\), there exists \(n_0\) such that every \(r\)-regular graph on \(n\ge n_0\) vertices with
\[
r\ge \tfrac12(1+\varepsilon)n
\]
satisfies
\[
\chi_T(G)\le \Delta(G)+2,
\]
thereby confirming TCC for sufficiently large dense regular graphs [2405.07382].

The proof architecture in that paper combines **equitable \((\Delta+1)\)-vertex-coloring** via Hajnal–Szemerédi, auxiliary hypergraph edge-coloring, matching arguments in the complement, and **multifan** or alternating-path recolorings in the style of Vizing’s theorem [2405.07382]. The dense regular theorem was notable because it lowered the density threshold from earlier results on much denser regular graphs to just above \(n/2\).

A 2025 paper strengthens this line by replacing the regularity assumption with a **minimum-degree** hypothesis. It proves that for every \(\varepsilon>0\), there exists \(n_0\) such that every graph \(G\) on \(n\ge n_0\) vertices with
\[
\delta(G)\ge \tfrac12(1+\varepsilon)n
\]
satisfies
\[
\chi_T(G)\le \Delta(G)+2.
\]
Thus every sufficiently large graph with minimum degree slightly more than \(n/2\) satisfies TCC [2507.05548]. The paper explicitly states that this extends prior work in two ways: it replaces a maximum-degree-based hypothesis by a **minimum-degree** hypothesis, and it removes the requirement that the graph be **regular** [2507.05548].

Its main reduction introduces a matching \(M\) in the complement \(\overline{G}\) and an auxiliary graph \(G^M\) obtained by adding a new vertex \(x\), the edges of \(M\), and all edges from \(x\) to vertices not covered by \(M\). A “good edge-coloring” of \(G^M\), in which all edges of \(M\cup E(x)\) receive distinct colors, immediately yields a total coloring of \(G\) by transferring those edge colors to the corresponding vertices [2507.05548]. The coloring construction uses equitable colorings, decompositions into bipartite subgraphs, multigraph edge-coloring lemmas, and Kempe-change-style recolorings [2507.05548].

## 5. Total graphs, weakenings, and strengthened variants

Because \(\chi''(G)=\chi(T(G))\), many refinements of TCC are naturally phrased on total graphs. One such direction is **equitable total coloring**. Fu’s conjecture, in total-graph language, asserts that \(T(G)\) should be equitably \(k\)-colorable whenever
\[
k\ge \max\{\chi(T(G)),\Delta(G)+2\}.
\]
A list-coloring analogue asks for equitable \(k\)-choosability under
\[
k\ge \max\{\chi_\ell(T(G)),\Delta(G)+2\}.
\]
This conjecture was proved for all graphs with \(\Delta(G)\le 2\), using the fact that total graphs in that range decompose into squares of paths, squares of cycles, and \(K_4\) components [1803.07450].

A second direction is the **weak TCC**
\[
\chi''(G)\le \Delta(G)+3.
\]
This weakening is strong enough to imply a graph-minor statement: if a class \(\mathcal F\) is closed under taking subgraphs and weak TCC holds for every graph in \(\mathcal F\), then **Hadwiger’s conjecture** holds for the class of total graphs \(T(\mathcal F)\) [2107.09994]. The same paper proves that every **5-colorable** graph satisfies weak TCC,
\[
\chi''(G)\le \Delta(G)+3,
\]
thereby extending earlier easy cases for 4-colorable graphs [2107.09994].

A third direction strengthens properness by requiring adjacent vertices to be distinguishable by their local color sets. The **AVD total coloring conjecture** asks for
\[
\chi''_a(G)\le \Delta(G)+3.
\]
This conjecture has been verified for several broad classes in recent work, including **3-degenerate graphs** [2508.03549], many **corona products** [2208.10884], and several families of **central graphs**, **subdivision graphs**, and **joins** [2607.01979]. These results are not equivalent to TCC, but they show that the \(\Delta+3\) threshold is natural in strengthened total-coloring settings.

## 6. Present status, bibliographic tension, and unresolved directions

The dominant status signal in the recent literature is that TCC remains open in full generality. The survey states explicitly that it is not settled even for planar graphs [1812.05833], and the 2025 planar paper identifies the remaining open \(\Delta=6\) frontier through three special substructures—**mushroom**, **tent**, and **cone**—whose exclusion suffices for total 8-colorability [2507.12737]. Likewise, the 2025 dense minimum-degree paper presents its theorem as a partial confirmation for a large asymptotic class rather than a resolution of the general conjecture [2507.05548].

This also clarifies a common misunderstanding: TCC does **not** claim that every graph is type I. Type-II graphs are explicitly allowed, and many exact results are formulated precisely as classifications into \(\Delta(G)+1\) versus \(\Delta(G)+2\) behavior [1812.05833]. Another recurrent misunderstanding is that dense-graph confirmations solve the universal problem; the recent dense results require either regularity plus \(r\ge \tfrac12(1+\varepsilon)n\) [2405.07382] or minimum degree \(\delta(G)\ge \tfrac12(1+\varepsilon)n\) for sufficiently large graphs [2507.05548].

There is also a bibliographic tension in the corpus. A 2020 preprint explicitly claims “A proof of the Total Coloring Conjecture” and states that it settles the conjecture by an algebraic method over \(\mathbb Z_p\) [2003.09658]. However, subsequent papers in 2021, 2025, and 2026 continue to treat TCC as open in general and to develop partial confirmations for specific classes or asymptotic regimes [2107.09994; 2507.05548; 2507.12737]. The record represented here therefore documents an unresolved conjectural landscape together with a claimed proof that has not displaced the open-problem framing in later literature.

From the standpoint of current research directions represented in these papers, three fronts stand out. The first is the **planar \(\Delta=6\)** case, where progressively weaker forbidden-configuration hypotheses have been established but the full case remains open [1812.05833; 2507.12737]. The second is the asymptotic dense regime, where the transition from large maximum degree to large minimum degree has already been achieved [2405.07382; 2507.05548]. The third is the interface with related theories—equitable, list, and adjacent-vertex-distinguishing total coloring—where the total-graph viewpoint continues to generate sharper conjectures and transferable methods [1803.07450; 2508.03549].

Source: https://www.emergentmind.com/topics/total-coloring-conjecture