# Difference between revisions of "Graph colouring"

(Importing text file) |
m (link) |
||

Line 5: | Line 5: | ||

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490023.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490023.png" /></td> </tr></table> | ||

− | equality being attainable. Moreover, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490024.png" /> is such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490025.png" />, then there exist subgraphs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490027.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490028.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490029.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490030.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490031.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490032.png" /> is a graph with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490033.png" /> vertices and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490034.png" /> is the complementary graph to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490035.png" />, then | + | equality being attainable. Moreover, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490024.png" /> is such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490025.png" />, then there exist subgraphs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490027.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490028.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490029.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490030.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490031.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490032.png" /> is a graph with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490033.png" /> vertices and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490034.png" /> is the [[complementary graph]] to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490035.png" />, then |

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490036.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044900/g04490036.png" /></td> </tr></table> |

## Revision as of 14:11, 10 January 2016

An assignment of colours to the vertices and/or edges of a graph which displays certain properties. A regular vertex (edge) colouring is a colouring of the vertices (edges) of a graph in which any two adjacent vertices (edges) have different colours. A regular vertex colouring is often simply called a graph colouring. A graph is said to be -colourable if there exists a regular vertex colouring of the graph by colours. The smallest number of colours which suffices for a regular vertex colouring of a graph is called the chromatic number of . If , is said to be -chromatic. A graph is -chromatic if and only if it contains no simple cycles of odd length. If the maximum degree of the vertices of is , is always -colourable except in two cases: 1) and has a connected component which is a cycle of odd length; or 2) and the complete graph with vertices is a connected component of .

The following inequality is valid for the union of two graphs and :

equality being attainable. Moreover, if is such that , then there exist subgraphs and in such that , , . If is a graph with vertices and is the complementary graph to , then

all the bounds being attainable. The chromatic number of a two-dimensional surface is the largest of the chromatic numbers of the graphs which can be regularly imbedded in (cf. Graph imbedding). The equality

is valid for an orientable surface of genus . If , this equation assumes the form , which is the statement of the four-colour problem. Let be the number of different regular colourings of a graph with numbered vertices with or fewer colours; then, for any graph , the function is a polynomial in the variable , called the chromatic polynomial of . Thus, the chromatic polynomial of any tree with vertices has the form . The edge chromatic number (chromatic class) of is the smallest number of colours sufficient for a regular colouring of the edges of . If the maximum degree of the vertices of is (multiple edges are permitted), then

If, in addition, the multiplicity of each edge is at most , then . In particular, for graphs without loops or multiple edges .

Problems involving graph colouring arise in design of communications, in radio-electronics, in planning of experiments, and in other fields.

#### References

[1] | F. Harary, "Graph theory" , Addison-Wesley (1969) pp. Chapt. 9 |

[2] | O. Ore, "Theory of graphs" , Amer. Math. Soc. (1962) |

[3] | C.E. Shannon, "A theorem on colouring the lines of a network" J. Math. Phys. , 28 (1949) pp. 148–151 |

#### Comments

Besides vertex colourings and edge colourings, the colourings of the domains (faces) of a planar map have also been studied. The four-colour problem mentioned in the article above (which is now the four-colour theorem) originally belonged to this category (see Graph, planar). Recent surveys on edge colourings are [a1] and [a2].

#### References

[a1] | S. Fiorini, R.J. Wilson, "Edge-colourings of graphs" , Pitman (1977) |

[a2] | S. Fiorini, R.J. Wilson, "Edge-colourings of graphs" L.W. Beineke (ed.) R.J. Wilson (ed.) , Selected Topics in Graph Theory , Acad. Press (1978) pp. Chapt. 5 |

[a3] | R.J. Wilson, "Introduction to graph theory" , Longman (1985) |

[a4] | R.C. Read, "An introduction to chromatic polynomials" J. Comb. Theory , 4 (1968) pp. 52–71 |

**How to Cite This Entry:**

Graph colouring.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Graph_colouring&oldid=19036