The Borodin-Kostochka Conjecture

Medium ★★ Graph Theory

Status partial high confidence

The Borodin–Kostochka conjecture remains open for general graphs with $\Delta \ge 9$. Since the problem was posted, the conjecture has been verified for several hereditary graph classes ($(P_5,\text{gem})$-free, $(P_6,\text{apple,torch})$-free, and others), and the unconditional degree threshold has been reduced from Reed's $\Delta_0 \le 10^{14}$ to $\Delta \ge 5.2\times10^9$ in 2026; a companion 2026 paper also establishes the analogue for correspondence (DP) coloring at $\Delta \ge 3\times10^9$.

Cited literature (8)

Reviewer notes. The conjecture is definitively still open in general. A ScienceDirect paper on the list-chromatic version (S0012365X22005064) and a paper on K_{1,3}-bar-free graphs (S0166218X2400266X) returned HTTP 403 and could not be verified; they are not cited. The arXiv paper 2101.01354 by Dhurandhar is not peer-reviewed and should be treated with appropriate caution. The 2026 papers (2603.16670 and 2603.14427) are preprints not yet journal-published as of this review date.

Auto-reviewed 2026-05-08 with claude-sonnet-4-6 (worker 01) (web search enabled).

Conjecture. Every graph with maximum degree $ \Delta \geq 9 $ has chromatic number at most $ \max\{\Delta-1, \omega\} $ .

Discussion

The Borodin-Kostochka conjecture proposes that for any graph $ G $ with maximum degree $ \Delta $ and clique number $ \omega < \Delta $ , $ G $ is $ \Delta-1 $ colourable so long as $ \Delta $ is sufficiently large (specifically, $ \Delta\geq 9 $ ). The requirement that $ \Delta \geq 9 $ is necessary, as one can see by looking at the strong product of $ C_5 $ and $ K_3 $ . Reed [R] proved that there exists a $ \Delta_0 $ for which the conjecture holds whenever $ \Delta \geq \Delta_0 $ . Specifically he proved that $ \Delta_0 \leq 10^{14} $ , but claims that more careful analysis could reduce $ \Delta_0 $ to 1000. The conjecture was recently proven by Cranston and Rabern for claw-free graphs [CR]. In their paper they mention an unpublished strengthening proposed by Borodin and Kostochka, namely that one can replace the chromatic number in the statement of the conjecture with the list chromatic number.

Bibliography

  • [BK] O. V. Borodin and A. V. Kostochka. On an upper bound of a graph's chromatic number, depending on the graph's degree and density. JCTB 23 (1977), 247--250.
  • [CR] D. W. Cranston and L. Rabern. Coloring claw-free graphs with $ \Delta-1 $ colors , arXiv 1206.1269, 2012. Coloring claw-free graphs with colors
  • [R] B. A. Reed. A strengthening of Brooks’ Theorem. J. Comb. Theory Ser. B, 76:136–149, 1999.