The problem
Color five dots joined in a ring, with neighboring dots given different colors. Three colors are needed even though no three dots are all joined to each other. Split off two neighboring dots: they need two colors, and the remaining three-dot path also needs two. Does such a split exist for every requested pair of color counts, each at least two and adding up to one more than the whole graph’s count, whenever that count exceeds its largest fully joined group?[1]
Can a graph’s coloring requirement be retained in two disjoint pieces even when it comes from more than a large fully joined group? On the five-cycle A–B–C–D–E–A, the parts {A,B} and {C,D,E} each contain an edge and need two colors. The whole cycle needs three, while its largest clique has two vertices.
The chromatic number is the fewest colors needed; the clique number is the largest fully joined group. For a finite simple graph and integers , assume . Must its vertices partition into S and T with and ? Here an induced subgraph keeps exactly the vertices in its part and every edge between them.[1]
Scope
Finite simple G with ω(G)<χ(G)=s+t−1 and integers s,t≥2. Seek a vertex partition S,T with χ(G[S])≥s and χ(G[T])≥t.
What remains open
The small two-colors-per-part case is known. A July 2026 preprint reports the guarantee for graphs without certain even loops. These results do not cover every graph and every allowed pair of color requirements.[1]
The even-hole-free result is a preprint claim; the full graph target remains open.[1]
Why it matters
A fully joined group forces many colors at one dense spot. A ring can force an extra color through links spread around the graph. Distinguishing these sources of coloring constraints helps explain what a global color count tells us about a graph’s internal structure.[1]
A triangle illustrates why the clique condition matters: it needs three colors, but splitting its three vertices leaves a part with only one vertex, so both parts cannot need two colors. The five-cycle has the same total color requirement without that concentrated obstruction. Comparing the two shows why clique number and chromatic number carry different structural information, and why induced parts are a way to examine the difference.[1]
Definitions
4 terms
chromatic number
The fewest colors needed to color a graph’s vertices so that endpoints of every edge have different colors.[1]
clique
A set of vertices with an edge between every pair. Its vertices all need different colors; clique number is the largest size of such a set.[1]
induced subgraph
The graph obtained by keeping a chosen set of vertices and every original edge whose endpoints both belong to that set.[1]
even-hole-free
Having no induced cycle of even length at least four. An induced cycle has no extra edge between its cycle vertices; this restriction is part of the selected preprint’s result.[1]
Sources
- The Erdős–Lovász Tihany Conjecture holds for all even-hole-free graphs
Notes on The Erdős–Lovász Tihany Conjecture holds for all even-hole-free graphs
Introduction states the full partition target and restricted-class result.