For a graph , we define to be the maximum degree, to be the size of the largest clique subgraph, and to be the chromatic number of .
Perhaps the two most trivial bounds on are and . The above conjecture roughly asserts that the (rounded-up) average of and should again be an upper bound on .
The conjecture is easy to verify when is very large. It is trivial when , and it follows from Brook's theorem if . On the other hand, if , so is triangle free, then the conjecture is also true for sufficiently large. Indeed, Johannsen proved the much stronger fact that there exists a fixed constant so that for every triangle free graph .
Reed showed that the conjecture holds when by way of matching theory. More interestingly, he proved (using probabilistc methods) that the conjecture is true provided that is sufficiently large, and is sufficiently close to . More precisely, he proves the following:
It is known that the conjecture is true fractionally (that is with replaced by , the fractional chromatic number of~).
Bibliography
*[R] B. Reed, , and , J. Graph Theory 27 (1998) 177-212.
* indicates original appearance(s) of problem.