MathDB
Combinatorics from EGMO 2018

Source: EGMO 2018 P3

April 11, 2018
combinatoricsEGMOEGMO 2018monovariantProcesses

Problem Statement

The nn contestant of EGMO are named C1,C2,CnC_1, C_2, \cdots C_n. After the competition, they queue in front of the restaurant according to the following rules.
[*]The Jury chooses the initial order of the contestants in the queue. [*]Every minute, the Jury chooses an integer ii with 1in1 \leq i \leq n.
[*]If contestant CiC_i has at least ii other contestants in front of her, she pays one euro to the Jury and moves forward in the queue by exactly ii positions. [*]If contestant CiC_i has fewer than ii other contestants in front of her, the restaurant opens and process ends.

[*]Prove that the process cannot continue indefinitely, regardless of the Jury’s choices. [*]Determine for every nn the maximum number of euros that the Jury can collect by cunningly choosing the initial order and the sequence of moves.