Maths Olympiad Prep

Library / /343 of 520

Combinatorics Difficulty 6.7 National olympiad Find the answer

In a sequence a1,a2,,a1000a_{1}, a_{2}, \ldots, a_{1000} of 1000 different numbers, a pair (ai,aj)\left(a_{i}, a_{j}\right) with i<ji < j is called increasing if ai<aja_{i} < a_{j} and decreasing if ai>aja_{i} > a_{j}. Determine the largest positive integer kk with the property that in any sequence of 1000 different numbers, there are at least kk non-overlapping increasing pairs or at least kk non-overlapping decreasing pairs.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

We will prove that the largest kk is equal to 333. First, consider the sequence 1000,999,998,,669,668,1,2,3,,666,6671000, 999, 998, \ldots, 669, 668, 1, 2, 3, \ldots, 666, 667. The first 333 numbers in the sequence are not usable in an increasing pair, because for each of these numbers, only larger numbers are to the left and only smaller numbers are to the right. Therefore, only the last 667 numbers are available for increasing pairs, and this yields at most 333 non-overlapping increasing pairs. For a decreasing pair (ai,aj)\left(a_{i}, a_{j}\right) with i<ji < j, the same logic applies, and thus k>333k > 333 cannot be satisfied.

Now we prove for all t1t \geq 1 that in a sequence of 3t13t-1 different numbers, there are always at least tt non-overlapping increasing pairs or tt non-overlapping decreasing pairs. We prove this by induction on tt. For t=1t=1, the sequence has length 2, and this pair of numbers is either increasing or decreasing, so it holds. Now let r1r \geq 1 and assume the statement is true for t=rt=r. We now consider t=r+1t=r+1 and take an arbitrary sequence a1,a2,,a3r+2a_{1}, a_{2}, \ldots, a_{3r+2} with 3r+23r+2 different numbers. If the sequence is completely increasing, then we can divide the sequence into adjacent pairs, all of which are increasing. There are 3r+222r+22=r+1\left\lfloor\frac{3r+2}{2}\right\rfloor \geq \frac{2r+2}{2}=r+1 such pairs. If the sequence is completely decreasing, there are analogously at least r+1r+1 decreasing pairs. If the sequence is neither completely increasing nor completely decreasing, then there is a point in the sequence where it first increases and then decreases, or vice versa, i.e., there are numbers ai,ai+1,ai+2a_{i}, a_{i+1}, a_{i+2} in the sequence with ai<ai+1>ai+2a_{i} < a_{i+1} > a_{i+2} or ai>ai+1<ai+2a_{i} > a_{i+1} < a_{i+2}. In both cases, among these three numbers, there is both an increasing pair and a decreasing pair. Now apply the induction hypothesis to the sequence a1,a2,,ai1,ai+3,ai+4,,a3r+2a_{1}, a_{2}, \ldots, a_{i-1}, a_{i+3}, a_{i+4}, \ldots, a_{3r+2}. This is a sequence with 3r+23=3r13r+2-3=3r-1 different numbers, so there are rr non-overlapping increasing pairs or rr non-overlapping decreasing pairs. In the first case, we add the increasing pair from ai,ai+1,ai+2a_{i}, a_{i+1}, a_{i+2} to these, and in the second case, we add the decreasing pair. Thus, we have found r+1r+1 non-overlapping increasing pairs or r+1r+1 non-overlapping decreasing pairs. This completes the induction.

Now substitute t=333t=333 into this result: in a sequence of 998 different numbers, there are always at least 333 non-overlapping increasing pairs or at least 333 non-overlapping decreasing pairs. This also holds for a sequence of 1000 numbers (ignore the last two numbers in the sequence). Therefore, k=333k=333 satisfies the condition and is thus the largest kk that satisfies it.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.