olymmath

Nemotron-IMO-Bench 2026 C35

    A graph GG contains no K4K_4 and its chromatic number is ≥4\geq 4. Prove that there is a partition V(G)=A∪BV(G)=A\cup B such that the graphs induced by AA and BB have chromatic numbers ≥3\geq 3 and ≥2\geq 2.

    Dataset text Nemotron-IMO-Bench. Open licence.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator nemotron-imo-bench/2026/c35 · Tag G82X9XSHAF · Edit this page on GitHub · Keys: j next, k previous