Skip to content

Erdős problem 762

The cochromatic number of GG, denoted by ζ(G)\zeta(G), is the minimum number of colours needed to colour the vertices of GG such that each colour class induces either a complete graph or empty graph.

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

762.lean

Retained formal statement2 of 3

A conjecture of Erdős, Gimbel, and Straight [EGS90], who proved that for every n>2n>2 there exists some f(n)f(n) such that if GG contains no clique on nn vertices then χ(G)≤ζ(G)+f(n)\chi(G)\leq \zeta(G)+f(n).

FormalConjectures/ErdosProblems/762.leanErdos762.erdos_762.variants.bounded_clique_number3 linesExact file
∀ (n : ℕ),  2 < n →    ∃ f, ∀ (V : Type u_1) [Fintype V] (G : SimpleGraph V), G.CliqueFree n → G.chromaticNumber ≤ G.cochromaticNumber + ↑f
SolvedStatement only, no proof