Dual View Random Solved Random Open
PROVED This has been solved in the affirmative.
Let $k\geq 0$. Let $G$ be a graph such that every subgraph $H$ contains an independent set of size $\geq (n-k)/2$, where $n$ is the number of vertices of $H$. Must $G$ have chromatic number at most $k+2$?
A question of Erdős and Hajnal [ErHa67b]. The case $k=0$ is trivial, but they could not prove this even for $k=1$.

This is true, and was proved by Folkman [Fo70b].

See also [73].

View the LaTeX source

External data from the database - you can help update this
Formalised statement? No (Create a formalisation here)
Likes this problem None
Interested in collaborating None
Currently working on this problem None
This problem looks difficult None
This problem looks tractable None

Additional thanks to: Raphael Steiner

When referring to this problem, please use the original sources of Erdős. If you wish to acknowledge this website, the recommended citation format is:

T. F. Bloom, Erdős Problem #922, https://www.erdosproblems.com/922, accessed 2026-01-16