Maths Olympiad Prep

Library / /78 of 105

Combinatorics Difficulty 5.3 AIME, harder Prove it United States

Problem:

A permutation of the numbers 1,2,,n1,2, \ldots, n is called "bad" if it contains a subsequence of 10 numbers in decreasing order, and "good" otherwise. For example, for n=15n=15,
15,13,1,12,7,11,9,8,10,6,5,4,3,2,14 15,13,1,12,7,11,9,8,10,6,5,4,3,2,14
is a bad permutation, because it contains the subsequence
15,13,12,11,10,6,5,4,3,2 15,13,12,11,10,6,5,4,3,2
Prove that, for each nn, the number of good permutations is at most 81n81^{n}.

Solution

Solution:

Consider any permutation of 1,2,,n1,2, \ldots, n. Let the "height" of a number ii in the permutation be the length of the longest decreasing subsequence ending in ii. Then, the permutation is bad if and only if some number has height at least 10. Also note that all numbers with the same height must be arranged in increasing order. To see that this is so, suppose that two numbers i,ji, j both have height hh, where i<ji<j, but jj precedes ii in the permutation. Then there exists a decreasing subsequence of the permutation having length hh, ending in jj. By attaching ii to the end of this, we get a decreasing sequence of length h+1h+1 ending in ii; this contradicts the assumption that ii had height hh.

Now we know that, in any good permutation, every number has a height in the range 1,2,,91,2, \ldots, 9. We also know that, for each height hh, the numbers with height hh occur in the permutation in increasing order. This means that, if we know which of the numbers 1,2,,n1,2, \ldots, n have height hh and which positions in the permutation are occupied by numbers of height hh for each h=1,2,,9h=1,2, \ldots, 9, we can uniquely reconstruct the permutation from this information. Since every possible good permutation can be represented in this form, the number of good permutations is at most equal to the number of possible assignments of heights 1,2,,91,2, \ldots, 9 to the nn numbers and the nn positions in the permutation. There are 9n9^{n} ways of assigning heights from this range to 1,2,,n1,2, \ldots, n, and another 9n9^{n} ways of assigning heights to the nn positions; altogether this makes for at most (9n)2=81n\left(9^{n}\right)^{2}=81^{n} possible good permutations.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.