Maths Olympiad Prep

Library / /46 of 46

, 2015

Combinatorics Difficulty 7.7 National Olympiad, round 2 Prove it Japan

There are 40304030 numbers consisting of two of each number lying in between (and including) 11 and 20152015. Suppose we line up these numbers from left to right. An ordered sequence of 20152015 numbers chosen from this line-up of 40304030 numbers and considered with the order inherited from the original line-up is called a half-sequence. What is the largest possible number of distinct half-sequences? Regard two half-sequences to be the same if they represent the same sequence of integers, even if they may come from different portions of the original line-up.

Solution

(40302015)2015\binom{4030}{2015} - 2015

In the following, by a subsequence of the given sequence of positive integers we mean a sequence obtained by choosing entries from the original sequence and retaining the order of the choices.

There are (40302015)\binom{4030}{2015} ways of choosing 20152015 numbers from the given sequence. We assume that the given sequence is lined up from left to right, and we define a new sequence f(1),f(2),,f(4030)f(1), f(2), \dots, f(4030) by setting f(i)=jf(i) = j and f(j)=if(j) = i for i<ji < j if the number on the ii-th spot from the left equals the number on the jj-th spot from the left in the original sequence. If there exists an ii for which 0<f(i)i<20150 < f(i) - i < 2015, then there must exist at least 20152015 numbers occupying 11st, 22nd \dots, (i1)(i-1)-th spots from the left or (f(i)+1)(f(i)+1)-th, (f(i)+2)(f(i)+2)-th, \dots, 40304030-th spots from the left on the original sequence, and therefore, there are at least 20152015 ways of choosing 20142014 numbers. Suppose we consider one such sequence of 20142014 numbers, and we insert the number lying at the ii-th spot from left in the original sequence to this sequence at the correct spot to get another subsequence consisting of 20152015 elements and do the same by inserting the number lying at the f(i)f(i)-th spot from left in the original sequence to the sequence at the correct spot to obtain two half-sequences. But it is clear these half-sequences are identical. Therefore, the number of distinct half-sequences is at most (40302015)2015\binom{4030}{2015} - 2015 if there exists ii satisfying 0<f(i)i<20150 < f(i) - i < 2015. The same conclusion holds if there exists ii satisfying 0<if(i)<20150 < i - f(i) < 2015.

In the sequel, we assume that for each ii, 1i40301 \le i \le 4030, f(i)i2015|f(i) - i| \ge 2015 is satisfied. Then, we have f(2015+i)if(2015 + i) \le i (i=1,2,,2015i = 1, 2, \dots, 2015), from which we obtain inductively f(2016)=1f(2016) = 1, f(2017)=2f(2017) = 2, \dots, f(4030)=2015f(4030) = 2015. By symmetry, we may assume that the original sequence is 1,2,3,,2015,1,2,3,,20151, 2, 3, \dots, 2015, 1, 2, 3, \dots, 2015. Call this sequence AA. Now suppose two distinct subsequences formed by selecting 20152015 elements from AA give the same half-sequence. Select one integer lying on the same spot as an entry of half-sequence but chosen from different location from AA, and call this number nn. If this nn was chosen from the left-half of AA, then the entries in the half-sequence lying to the left of nn must form a subsequence of 1,2,,n11, 2, \dots, n-1, and the entries in the half-sequence lying to the right form a subsequence of n+1,n+2,,2015n+1, n+2, \dots, 2015. Consequently, we conclude that this half-sequence must be 1,2,,20151, 2, \dots, 2015. On the other hand, suppose we consider the way of choosing 20152015 elements from AA to form the half-sequence 1,2,,20151, 2, \dots, 2015. If nn is chosen from the left-half of AA, then we must choose any number less than nn also from the left-half of AA, and if nn is chosen from the right-half of AA, then any number greater than nn must also be chosen from the right half of AA. Therefore, there are 20162016 ways of choosing the half-sequence 1,2,,20151, 2, \dots, 2015 from AA, and we conclude that the number of distinct half-sequences is (40302015)1=4030C20151\binom{4030}{2015} - 1 = 4030C_{2015-1}, which gives the answer we seek.

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.