Combinatorics Coloring Theorem
Brooks' theorem
Builds on Maximum degreeChromatic number
Statement
Let be a finite connected simple graph with maximum degree . Suppose that is not a complete graph and not a cycle graph of odd length. Then .
Remarks
A greedy colouring gives for every graph. Brooks' theorem improves this bound by in all other cases. The two exceptions need colours: with , and an odd cycle has with .
History
R. Leonard Brooks published the theorem in 1941.
Reading path
To understand this page from the ground up, read these 8 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Graph definition
- Graph colouring definition
- Neighbourhood definition
- K-colourable graph definition
- Degree of a vertex definition
- Chromatic number definition
- Maximum degree definition
- Brooks' theorem statement
Further reading
- Web https://en.wikipedia.org/wiki/Brooks'_theorem, Formal statement
About this page
| Tag | 0Y4TV2D5RQ |
|---|---|
| URI | m2://0Y4TV2D5RQ |
| Kind | statement, theorem |
| Writing | W1 stated |
| MSC | 05C15 |
| Status | This copy of the site has no build data. Run m2 status 0Y4TV2D5RQ. |
| Uses | Maximum degree, Chromatic number |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.