Maths Olympiad Prep

Library / /34 of 48

Combinatorics Difficulty 8.8 Shortlist Prove it China

Given integer n2n \ge 2. Find the least positive integer mm, such that there are n2n^2 distinct positive real numbers xi,jx_{i,j} (1i,jn1 \le i, j \le n) satisfying the following conditions:
(1) For every i,ji, j,
xi,j=max{xi,1,xi,2,,xi,j} or x_{i,j} = \max\{x_{i,1}, x_{i,2}, \dots, x_{i,j}\} \text{ or}
xi,j=max{x1,j,x2,j,,xi,j}; x_{i,j} = \max\{x_{1,j}, x_{2,j}, \dots, x_{i,j}\};
(2) For every ii, there are at most mm indices kk, with
xi,k=max{xi,1,xi,2,,xi,k}; x_{i,k} = \max\{x_{i,1}, x_{i,2}, \dots, x_{i,k}\};
(3) For every jj, there are at most mm indices kk, with
xk,j=max{x1,j,x2,j,,xk,j}. x_{k,j} = \max\{x_{1,j}, x_{2,j}, \dots, x_{k,j}\}.

Solution

m=n+32m = \lfloor \frac{n+3}{2} \rfloor.

Put these n2n^2 numbers xi,jx_{i,j} in an n×nn \times n table: call xi,jx_{i,j} a "row pivot" if xi,j=max{xi,1,xi,2,,xi,j}x_{i,j} = \max\{x_{i,1}, x_{i,2}, \dots, x_{i,j}\}; call xi,jx_{i,j} a "column pivot", if xi,j=max{x1,j,x2,j,,xi,j}x_{i,j} = \max\{x_{1,j}, x_{2,j}, \dots, x_{i,j}\}.

First, prove mn+32m \ge \lfloor \frac{n+3}{2} \rfloor. Consider all (n1)2(n-1)^2 numbers xi,jx_{i,j} (2i,jn2 \le i, j \le n): every column (from 22 to nn) contains at most m1m-1 column pivots (by condition (3), and notice that x1,jx_{1,j} (2jn2 \le j \le n) is a pivot); every row (from 22 to nn) contains at most m1m-1 row pivots (by condition (2), and notice that xi,1x_{i,1} (2in2 \le i \le n) is a pivot). Due to condition (1), every number is a pivot (row or column or both), and hence
(n1)(m1)+(n1)(m1)(n1)2.1 (n-1)(m-1) + (n-1)(m-1) \ge (n-1)^2. \quad \textcircled{1}
We claim the equality in (1) cannot be attained. Let xi0,j0=maxxi,jx_{i_0,j_0} = \max x_{i,j} (2i,jn2 \le i, j \le n). If xi0,j0x_{i_0,j_0} is both row and column pivots, then xi0,j0x_{i_0,j_0} is counted twice on the left-hand side of (1), and the equality cannot hold. Suppose xi0,j0x_{i_0,j_0} is not a row pivot. Then xi0,1>xi0,j0x_{i_0,1} > x_{i_0,j_0} and there are no other row pivots in this row, the equality in (1) cannot hold. Similarly, if xi0,j0x_{i_0,j_0} is not a column pivot, then there are no other column pivots in this column, and the equality in (1) cannot hold. Therefore, 2(m1)>n12(m-1) > n-1, mn+32m \ge \lfloor \frac{n+3}{2} \rfloor.

Next, construct tables for which m=n+32m = \lfloor \frac{n+3}{2} \rfloor. When n=2tn = 2t, divide the n×nn \times n table into four t×tt \times t tables as follows:

Ω1\Omega_1Ω2\Omega_2
Ω3\Omega_3Ω4\Omega_4

Take ε1,ε2>0\varepsilon_1, \varepsilon_2 > 0 sufficiently small, such that ε1<12nε2<14n2\varepsilon_1 < \frac{1}{2n}\varepsilon_2 < \frac{1}{4n^2}. For k=1,4k=1, 4, let the number in row ii and column jj of Ωk\Omega_k be kiε1+jε2k - i\varepsilon_1 + j\varepsilon_2. Note that in Ω1\Omega_1 and Ω4\Omega_4, the numbers decrease from the top right to the bottom left. For k=2,3k = 2, 3, let the number in row ii and column jj of Ωk\Omega_k be k+iε1jε2k + i\varepsilon_1 - j\varepsilon_2. Note that in Ω2\Omega_2 and Ω3\Omega_3 the numbers decrease from the bottom left to the top right.

It is easy to check that all numbers in Ω1\Omega_1 and Ω4\Omega_4 are row pivots, and all numbers in Ω2\Omega_2 and Ω3\Omega_3 are column pivots. In addition, except for the first and the t+1t+1 rows, there are no other column pivots in Ω1\Omega_1 and Ω4\Omega_4; except for the first and the t+1t+1 columns, there are no other row pivots in Ω2\Omega_2 and Ω3\Omega_3. Hence, conditions (2) and (3) are fulfilled, and m=t+1m = t+1.

When n=2t1n = 2t - 1, take the construction for n=2tn = 2t as above and remove the rightmost column and the bottom row. \square

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.