Reed's – Chromatic Conjecture
Canonical statement
View source LaTeX
Every finite simple graph \(G\) satisfies
\[
\chi(G)\leq
\left\lceil\frac{\Delta(G)+1+\omega(G)}2\right\rceil,
\]
where \(\Delta(G)\) is the maximum degree and \(\omega(G)\) the clique
number.Notes
Greedy coloring gives for every graph with maximum degree , while the clique number supplies the lower bound . In 1998 Reed conjectured that the chromatic number always lies at most halfway between these two classical quantities: [Reed1998OmegaDelta]. The rounding is necessary, and the conjectured bound would interpolate sharply between the greedy bound, attained by cliques and odd cycles, and the clique bound.
Substantial partial results are known. Reed's original paper already established that some convex combination bounds for a small positive [Reed1998OmegaDelta], and King and Reed later gave a simpler route to such a bound [KingReed2014]. Bonamy, Kelly, Nelson, and Postle showed that graphs without large cliques have chromatic number at most a fraction of [BonamyPerrettPostle2020Reed]. The fractional analogue of the conjecture is known, and the exact bound has been verified for several graph classes.
The full conjecture, the precise rounded bound for arbitrary graphs, remains open.
References (3)
- [Reed1998OmegaDelta]
\omega,\Delta, and \chi
Open ↗Bruce Reed · 1998 · misc
- [KingReed2014]
Bounding \chi in terms of \omega and \Delta
Open ↗Andrew D. King and Bruce Reed · 2008 · misc
- [BonamyPerrettPostle2020Reed]
Bounding \chi by a fraction of \Delta for graphs without large cliques
Open ↗Marthe Bonamy and Tom Kelly and Peter Nelson and Luke Postle · 2022 · misc
The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.