Status
On this page
Status
Topics
Status
On this page
Status
Topics
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.
Is it true that if has no and then ?
Source: erdosproblems.com/762
An accepted solution exists. The statement is false.
DISPROVED (LEAN). The site prints the label DISPROVED (LEAN); the Lean proofs the label refers to are third-party files, linked from the claim page below, which this corpus has not built.