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

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

762.lean

Retained formal statement3 of 3

This has been disproved by Steiner [St24b], who constructed a graph GG with ω(G)=4\omega(G)=4, ζ(G)=4\zeta(G)=4, and χ(G)=7\chi(G)=7.

FormalConjectures/ErdosProblems/762.leanErdos762.erdos_762.variants.steiner1 lineExact file
n G, G.cliqueNum = 4 ∧ G.cochromaticNumber = 4 ∧ G.chromaticNumber = 7
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page