Problem 5
An integer is given. A collection of soccer players, no two of whom are of the same height, stand in a row. Sir Alex wants to remove players from this row leaving a new row of players in which the following conditions hold: no one stands between the two tallest players, no one stands between the third and fourth tallest players, , no one stands between the two shortest players. Show that this is always possible.
Step 6 of 7: Recurse on a smaller instance for
Detailed analysis
The trimmed pool is again a row of distinct-height players in their original left-to-right order, split by height into consecutive blocks of exactly players each — precisely the shape required for parameter , since . The induction hypothesis therefore applies to this sub-row and produces further survivors, exactly from each of the blocks, arranged into pairs that are each physically adjacent within the sub-row and occupy consecutive height-ranks inside it.