MathDB
Cards and algorithm

Source: IMO Shortlist 1994, C4

March 29, 2005
algorithminductionvectorcombinatoricsIMO Shortlist

Problem Statement

There are n \plus{} 1 cells in a row labeled from 0 0 to n n and n \plus{} 1 cards labeled from 0 0 to n n. The cards are arbitrarily placed in the cells, one per cell. The objective is to get card i i into cell i i for each i i. The allowed move is to find the smallest h h such that cell h h has a card with a label k>h k > h, pick up that card, slide the cards in cells h \plus{} 1, h \plus{} 2, ... , k k one cell to the left and to place card k k in cell k k. Show that at most 2^n \minus{} 1 moves are required to get every card into the correct cell and that there is a unique starting position which requires 2^n \minus{} 1 moves. [For example, if n \equal{} 2 and the initial position is 210, then we get 102, then 012, a total of 2 moves.]