Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Statement
Notation (pp. 141--142): is a graph on vertices, its chromatic number, the largest integer such that contains a subdivision of , , and and the independence number and the clique number of .
Theorem 1 (p. 142). For every such graph ,
Source. P. Erdős and S. Fajtlowicz, On the conjecture of Hajós, Combinatorica 1 (1981), no. 2, 141--143, doi:10.1007/BF02579269; Theorem 1 on p. 142. The edition read is identified in the source digest.
Read depth. Claims checked: the statement was read on the page image. The one-line proof was read for structure only.
Proof pointer
P. 142: the paper deduces it in one line from the Lemma and ; the Lemma with gives .
Dependencies
Bears on
- Problem 717: a lower bound for in terms of and , which the paper turns into the lower bound of Theorem 2; the problem asks for an upper bound, and this theorem gives none.