MathDB
every sequence of 1000 numbers has >= k non-overlapping ascending pairs

Source: 2022 Dutch IMO TST 1.4

December 3, 2022
combinatorics

Problem Statement

In a sequence a1,a2,...,a1000a_1, a_2, . . . , a_{1000} consisting of 10001000 distinct numbers a pair (ai,aj)(a_i, a_j ) with i<ji < j is called ascending if ai<aja_i < a_j and descending if ai>aja_i > a_j . Determine the largest positive integer kk with the property that every sequence of 10001000 distinct numbers has at least kk non-overlapping ascending pairs or at least kk non-overlapping descending pairs.