olymmath

Nemotron-IMO-Bench 2026 C40

    A connected graph has 19981998 vertices and each vertex has degree 33. Prove that we can delete 200200 vertices, no two of them joined by an edge, such that the resulting graph is connected.

    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/c40 · Tag P7AY409NCK · Edit this page on GitHub · Keys: j next, k previous