MathLabs

Problem 5

An integer N≥2N \ge 2 is given. A collection of N(N+1)N(N+1) soccer players, no two of whom are of the same height, stand in a row. Sir Alex wants to remove N(N−1)N(N-1) players from this row leaving a new row of 2N2N players in which the following NN conditions hold: no one stands between the two tallest players, no one stands between the third and fourth tallest players, …\ldots, no one stands between the two shortest players. Show that this is always possible.
Step 4 of 7: Keep the repeated pair, delete the rest
S←S∪{xq,xp},D←([1,p]∖{q,p})∪(Gk∖{xq,xp})S\gets S\cup\{x_q,x_p\},\quad D\gets\big([1,p]\setminus\{q,p\}\big)\cup\big(G_k\setminus\{x_q,x_p\}\big)
Detailed analysis

Put xqx_q and xpx_p into the surviving set SS, then delete every other player in the initial segment x1,…,xpx_1,\ldots,x_p together with every member of GkG_k occurring later in the row. No player survives strictly between positions qq and pp, so xqx_q and xpx_p become physically adjacent among the survivors, exactly as required for the pair drawn from GkG_k.