Indexed metadata
Coloring graphs with no long induced path
Sang-il Oum
Source abstract
Let denote the induced path on vertices. Let denote the maximum number of vertices in a clique of a graph . Previously Gyárfás (1987) proved that every -free graph satisfies , and Gravier, Hoàng, and Maffray (2003) improved this to for . We prove that for ,every -free graph satisfies , where and as . The proof is based on a refinement of the Gyárfás path argument and was found by Claude Fable 5.1 of Anthropic.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.