Status
On this page
Status
Topics
Status
On this page
Status
Topics
For any graph is there some such that every graph on vertices that does not contain as an induced subgraph contains either a complete graph or independent set on vertices?
Source: erdosproblems.com/61
No claim settles this problem.
Open: the site labels the problem OPEN (page last edited 10
April 2026), and the frontmatter standing is derived from the seven claim
pages under claims/, all partial. Six are accepted on refereed
publications: every on at most four vertices, by Erdős and Hajnal
(claim page (Erdős and Hajnal, 1989));
the closure of the property under vertex substitution, by Alon, Pach and
Solymosi
(claim page (Alon, Pach and Solymosi, 2001));
the bull, by Chudnovsky and Safra
(claim page (Chudnovsky and Safra, 2008));
, by Chudnovsky, Scott, Seymour and Spirkl
(claim page (Chudnovsky, Scott, Seymour and Spirkl, 2021));
, and with the four pages before it every on at most five vertices,
by Nguyen, Scott and Seymour
(claim page (Nguyen, Scott and Seymour, 2023));
and an infinite family of with infinitely many prime members, by the same
authors
(claim page (Nguyen, Scott and Seymour, 2023)).
One is claimed: Huang, Ju and Zhou's arXiv preprint of 4 June 2026 for two
six-vertex graphs, the E-graph and the Bird graph
(claim page (Huang, Ju and Zhou, 2026)).
None settles the question for every , so the standing is open.