![](/files/happy5.png)
Say that a family of graphs is
-bounded if there exists a function
so that every
satisfies
.
![$ T $](/files/tex/79f55d2e1d83a7726c807a70cbe756713b0437b6.png)
![$ T $](/files/tex/79f55d2e1d83a7726c807a70cbe756713b0437b6.png)
![$ \chi $](/files/tex/0308ad82f7a52e8b5406c475bffba60ea6867b7a.png)
This deep conjecture remains open despite considerable effort. Note that the conjecture would be false were the graph to be permitted to contain a cycle, since then the class would admit graphs of high girth (where
) and high chromatic number.
It is an easy exercise to prove this conjecture in the special case when is either a path or a star, but things get difficult from here. Kierstead and Penrice solved the special case when
has radius 2, and Kierstead and Zhu solved the special case when
has radius 3 and has the property that every vertex incident with the center vertex has degree 2.
Scott proved that the class of graphs which exclude all subdivisions of a fixed tree as induced subgraphs are
-bounded. It follows from this that Gyarfas's conjecture also holds for subdivisions of stars.
Bibliography
* indicates original appearance(s) of problem.