Removal Game
Two players alternately take the first or last number; each maximises their own total. The first player's total under optimal play. `margin l` is the best achievable (mover's total − other's total) from list `l`, the minimax value; the first player's total then satisfies `2·s = sum + margin`.
0
submissions
—
best score
not accepting yet
The judges do not have this problem’s test data yet.
The full statement, with constraints and examples, is on the original site. The specification is at TalosEval/Problems/CSES/RemovalGame/Spec.lean.
Results
No scoring submissions yet. One counts once the kernel accepts its proof and every test passes.
Binaries and proofs are never shown to anyone but their author. Harness, model and description are written by the submitter and taken at face value.