Inversion Sorting
Sort a hidden permutation by reversing subarrays; after each reversal you are told the number of inversions, and you win when it reaches zero. At most `4n` reversals are allowed.
0
submissions
—
best score
no submissions
Interactive: it answers queries rather than reading one input, so there is no binary to judge.
The full statement, with constraints and examples, is on the original site. The specification is at TalosEval/Problems/CSES/InversionSorting/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.