Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Problem 1013
Statement. Let be the minimal such that there exists a triangle-free graph on vertices with chromatic number . Find an asymptotic for , and also prove
Status. Open.
Source. erdosproblems.com/1013, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #1013, https://www.erdosproblems.com/1013.
References.
- [GrYa68] Graver, Jack E. and Yackel, James, Some graph theoretic results associated with Ramsey's theorem. J. Combinatorial Theory 4 (1968), 125--175; Proposition 9, p. 154 (its proof on p. 156, resting on Lemma 9, p. 155, whose estimates are not checked here): , where the paper's is the largest order of a triangle-free graph with no independent vertices, one less than the usual Ramsey number. The paper prints no chromatic-number statement; the library card records the translation to . Library home: Proposition 9.
Formalization. None recorded.
Progress
Not yet compiled.
Known Results
Not yet compiled.
Linked library material
These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.
Graph