Erdős problem 762
The cochromatic number of , denoted by , is the minimum number of colours needed to colour the vertices of such that each colour class induces either a complete graph or empty graph.
Sources
FormalConjectures/ErdosProblems/
762.lean
Retained formal statement
This has been disproved by Steiner [St24b], who constructed a graph with , , and .
∃ n G, G.cliqueNum = 4 ∧ G.cochromaticNumber = 4 ∧ G.chromaticNumber = 7SolvedStatement only, no proof