Maths Olympiad Prep

Library / /20 of 30

Combinatorics Difficulty 8.5 Shortlist Prove it Germany

Problem:

Given a positive integer nn and a game board consisting of n+1n+1 square fields arranged next to each other, numbered from left to right from 00 to nn. At the beginning of the game there are nn game pieces on field no. 00 and the other fields are empty.

A patient player now chooses, for each move, a field with k0k \neq 0 pieces and moves one of them at most kk fields to the right. In doing so, the piece must remain on the game board. His goal is to bring all nn pieces to field no. nn by means of a sequence of such moves.

Prove that the player cannot achieve this goal with fewer than n1+n2+n3++nn\left\lceil\frac{n}{1}\right\rceil+\left\lceil\frac{n}{2}\right\rceil+\left\lceil\frac{n}{3}\right\rceil+\ldots+\left\lceil\frac{n}{n}\right\rceil moves. (Here x\lceil x\rceil denotes the smallest integer not smaller than xx.)

Solution

Solution:

The game pieces are indistinguishable and all have the same starting field and the same target field. Therefore, the patient player can devise a rule that tells him which of the pieces on the field he has selected he should move.

One possible rule is obtained by numbering the pieces fixedly from 11 to nn and, in each move, after selecting the field, moving the piece with the highest number located there.

Suppose that in this way he moves the piece with number kk (1kn1 \leq k \leq n) to the right. Then the field selected for this cannot have had more than kk pieces on it, because their numbers are at most equal to kk. Hence piece kk is moved at most kk fields to the right in each such move. But since it is moved a total of exactly nn fields, at least nk\left\lceil\frac{n}{k}\right\rceil moves are required for this. This holds for all kk with 1kn1 \leq k \leq n. Summing over kk yields the minimum number of moves required as stated in the problem. \square

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from de; metadata (topic, difficulty) added by this project.