For , split vertices into classes of size , coloring edges between classes red and edges inside classes blue. The red graph has no , and every blue component is too small for the connected tree. This proves the lower bound.
For the upper bound let and suppose the blue graph contains no copy of the tree. By the permitted chromatic-number statement, its chromatic number is at most . A graph of larger chromatic number would have a subgraph of chromatic number exactly , obtained by deleting vertices until that number is reached. A proper blue coloring with at most classes puts no blue edges within any class, so each class is a red clique. If there is no red , each class has at most vertices, contradicting . Therefore
The one-vertex boundary cases give one directly.

Articles by others on the same topic (0)

There are currently no matching articles.