18.04.2013 Views

The.Algorithm.Design.Manual.Springer-Verlag.1998

The.Algorithm.Design.Manual.Springer-Verlag.1998

The.Algorithm.Design.Manual.Springer-Verlag.1998

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Vertex Coloring<br />

Notes: An excellent source on vertex coloring heuristics is Syslo, Deo, and Kowalik [SDK83], which<br />

includes experimental results. Heuristics for vertex coloring include Brèlaz [Brè79], Matula [MMI72],<br />

and Turner [Tur88]. Wilf [Wil84] proved that backtracking to test whether a random graph has chromatic<br />

number k runs in constant time, dependent on k but independent of n. This is not as interesting as it<br />

sounds, because only a vanishingly small fraction of such graphs are indeed k-colorable.<br />

Expositions on algorithms to recognize bipartite graphs include [Man89]. Expositions on the hardness of<br />

3-coloring graphs include [AHU74, Eve79a, Man89]. An interesting application of vertex coloring to<br />

scheduling traffic lights appears in [AHU83].<br />

Baase [Baa88] gives a very good description of approximation algorithms for graph coloring, including<br />

Wigderson's [Wig83] factor of approximation algorithm, where is the chromatic<br />

number of G. Hardness of approximation results for vertex coloring include [BGS95].<br />

Brook's theorem states that the chromatic number , where is the maximum degree<br />

of a vertex of G. Equality holds only for odd-length cycles (which have chromatic number 2) and<br />

complete graphs.<br />

<strong>The</strong> most famous problem in the history of graph theory is the four-color problem, first posed in 1852<br />

and finally settled in 1976 by Appel and Haken using a proof involving extensive computation. Any<br />

planar graph can be 5-colored using a variation of the color interchange heuristic. Despite the four-color<br />

theorem, it is NP-complete to test whether a particular planar graph requires four colors or whether three<br />

suffice. See [SK86] for an exposition on the history of the four-color problem and the proof. An efficient<br />

algorithm to four-color a graph is presented in [RSST96].<br />

Related Problems: Independent set (see page ), edge coloring (see page ).<br />

Next: Edge Coloring Up: Graph Problems: Hard Problems Previous: Graph Partition<br />

<strong>Algorithm</strong>s<br />

Mon Jun 2 23:33:50 EDT 1997<br />

file:///E|/BOOK/BOOK4/NODE178.HTM (4 of 4) [19/1/2003 1:31:26]

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!