MathDB
Process on a blackboard

Source: Italy MO 2023 P2

May 7, 2023
combinatorics

Problem Statement

Let nn be a positive integer. On a blackboard, Bobo writes a list of nn non-negative integers. He then performs a sequence of moves, each of which is as follows:
-for each i=1,...,ni = 1, . . . , n, he computes the number aia_i of integers currently on the board that are at most ii,
-he erases all integers on the board,
-he writes on the board the numbers a1,a2,,ana_1, a_2,\ldots , a_n.
For instance, if n=5n = 5 and the numbers initially on the board are 0,7,2,6,20, 7, 2, 6, 2, after the first move the numbers on the board will be 1,3,3,3,31, 3, 3, 3, 3, after the second they will be 1,1,5,5,51, 1, 5, 5, 5, and so on.
(a) Show that, whatever nn and whatever the initial configuration, the numbers on the board will eventually not change any more.
(b) As a function of nn, determine the minimum integer kk such that, whatever the initial configuration, moves from the kk-th onwards will not change the numbers written on the board.