olymmath

Nemotron-IMO-Bench 2026 C2

    A graph GG has n>1n>1 vertices. Prove that ∑ec(e)c(e)−1≤n22,\sum_{e} \frac{c(e)}{c(e)-1}\leq \frac{n^2}{2}, the sum being taken over all edges of GG and c(e)c(e) being the number of vertices of the largest complete subgraph of GG containing ee.

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