There are numbers consisting of two of each number lying in between (and including) and . Suppose we line up these numbers from left to right. An ordered sequence of numbers chosen from this line-up of 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.
Problem 2134
Official solution
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 ways of choosing numbers from the given sequence. We assume that the given sequence is lined up from left to right, and we define a new sequence by setting and for if the number on the -th spot from the left equals the number on the -th spot from the left in the original sequence. If there exists an for which , then there must exist at least numbers occupying st, nd , -th spots from the left or -th, -th, , -th spots from the left on the original sequence, and therefore, there are at least ways of choosing numbers. Suppose we consider one such sequence of numbers, and we insert the number lying at the -th spot from left in the original sequence to this sequence at the correct spot to get another subsequence consisting of elements and do the same by inserting the number lying at the -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 if there exists satisfying . The same conclusion holds if there exists satisfying .
In the sequel, we assume that for each , , is satisfied. Then, we have (), from which we obtain inductively , , , . By symmetry, we may assume that the original sequence is . Call this sequence . Now suppose two distinct subsequences formed by selecting elements from 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 , and call this number . If this was chosen from the left-half of , then the entries in the half-sequence lying to the left of must form a subsequence of , and the entries in the half-sequence lying to the right form a subsequence of . Consequently, we conclude that this half-sequence must be . On the other hand, suppose we consider the way of choosing elements from to form the half-sequence . If is chosen from the left-half of , then we must choose any number less than also from the left-half of , and if is chosen from the right-half of , then any number greater than must also be chosen from the right half of . Therefore, there are ways of choosing the half-sequence from , and we conclude that the number of distinct half-sequences is , which gives the answer we seek.