The Erdős-Lovász Tihany conjecture asserts that if a finite simple graph satisfies
for integers
,
then its vertex set has a partition into two sets
and
such that
Here
is the clique number,
is the chromatic number,
and
and
are induced subgraphs (Erdős 1968, Song
2026).
The hypothesis excludes complete graphs, whose chromatic number equals their clique number. The conjecture remains open in general; Song (2026) proves it for graphs with no chordless cycle of even length at least 4.
This is problem 628 in the Erdős problems collection (Bloom 2026).