The chromatic number of a finite simple graph
with at least one graph vertex is the smallest number
of colors needed to color the vertices of
so that no two adjacent vertices
share the same color (Harary and Palmer 1973, p. 269; Skiena 1990, p. 210),
i.e., the smallest value of
possible to obtain a k-coloring.
Minimum vertex colorings and chromatic
numbers for a sample of graphs are illustrated above. The
graph with no vertices
has chromatic number 0 by convention.
The chromatic number of a graph is most commonly denoted
(e.g., Skiena 1990, West 2000, Godsil and Royle 2001,
Pemmaraju and Skiena 2003), but occasionally also
.
Empty graphs with at least one graph vertex have chromatic number 1 (OEIS A000012), while bipartite graphs with at least one graph edge have chromatic number 2.
The chromatic number of a graph is also the smallest nonnegative
integer
for which the chromatic polynomial
. The optimization problem of finding a minimum
vertex coloring, and hence calculating the chromatic number, is the vertex
coloring problem.
Computation of the chromatic number of a graph is implemented in the Wolfram Language as VertexChromaticNumber[g]. Precomputed chromatic numbers for many named graphs can be obtained using GraphData[graph, "ChromaticNumber"].
The chromatic number of a graph must be greater than or equal to its clique number. A graph
is called a perfect graph if, for each of its induced subgraphs , the chromatic number of
equals the largest number of pairwise adjacent
vertices in
.
A graph for which the clique
number is equal to the chromatic number (with no further restrictions on induced
subgraphs) is said to be weakly perfect.
For a simple graph with at least one graph edge and largest and least adjacency eigenvalues and
, the Hoffman ratio
bound gives
where
denotes the ceiling function (Brouwer and Haemers
2012). For a regular graph of vertex
degree
,
the largest graph eigenvalue is
. In this case the result also follows from
and the Hoffman
ratio bound, where
is the number of vertices
and
is the independence number.
By definition, the edge chromatic number of a graph equals the chromatic number of the line
graph
.
Brooks' theorem states that the chromatic number of a connected simple
graph with at least one graph vertex is at most
the maximum vertex degree , unless the graph is complete
or an odd cycle, in
which case
colors are required (Brooks 1941).
A graph with chromatic number is said to be bicolorable,
and a graph with chromatic number
is said to be three-colorable.
In general, a graph with chromatic number
is said to be a k-chromatic
graph, and a graph with chromatic number
is said to be k-colorable.
The following table gives the chromatic numbers for some named classes of graphs.
| graph | |
| complete
graph | |
| cycle graph | |
| star graph | 2 |
| wheel graph |
For any two positive integers and
, there exists a graph of girth
at least
and chromatic number at least
(Erdős 1959, 1961; Lovász 1968; Skiena 1990, p. 215;
Bollobás and West 2000).
The chromatic number of a closed surface that is connected and orientable
is the largest chromatic number of a graph embeddable in
it. For genus , its value is
where
is the floor function. For
, this is the Heawood
conjecture, proved by Ringel and Youngs (1968). For
, sufficiency of four colors is the four-color
theorem.
is sometimes also denoted
(which is unfortunate, since
commonly refers to the Euler
characteristic). For
, 1, ..., the first few values of
are 4, 7, 8, 9, 10, 11, 12, 12, 13, 13, 14, 15, 15, 16,
... (OEIS A000934).
A different invariant, the achromatic number, maximizes the number of colors in a proper vertex coloring for which every pair of colors appears at the ends of a graph edge. It is at least the chromatic number. Timmons (2026) determined it for sufficiently large Peisert graphs.