Prove ListHadwiger (openai/math family 157: Counterexamples to the Hadwiger and Colin de Verdiere…
Prove ListHadwiger (openai/math family 157: Counterexamples to the Hadwiger and Colin de Verdiere…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 157 of the release, Counterexamples to the Hadwiger and Colin de Verdiere conjectures…
The task
Context: this statement belongs to family 157 of the release, *Counterexamples to the Hadwiger and Colin de Verdiere conjectures* (Combinatorics). The family as a whole: Disproves Hadwiger's conjecture even for fractional coloring: arbitrarily large finite simple graphs with independence number at most two satisfy…
Part of raising-heart/openai-math.