Erdős–Lovász Tihany conjecture

Still openEvidence checked

Subjects: Graph theory

Collections: Graphs and coloring

Reading depth

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]

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]

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]

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

  1. The Erdős–Lovász Tihany Conjecture holds for all even-hole-free graphs Zi-Xia Song · 2026-07-22
    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.

Related problems

Suggest a correction