Maths Olympiad Prep

Library / /4 of 4

Combinatorics Difficulty 6.8 National Olympiad Prove it Romania

Consider several tokens of different colors and sizes such that no two tokens have the same color and size. Each token JJ has two numbers written on it: one represents the number of tokens with the same color as JJ but different sizes, and the other represents the number of tokens with the same size as JJ but different colors. It is known that each of the numbers 0,1,,1000, 1, \ldots, 100 appears at least once. For what numbers of tokens is this possible?

Solution

Observation 1. If the situation is possible for a certain number mm of tokens, then it is also possible for a number m>mm' > m: we can add mmm' - m tokens with different sizes and colors to a suitable configuration with mm tokens. This shows that it is sufficient to find the minimum number of tokens for which we can obtain the desired configuration.

Observation 2. If each of the numbers 0,1,,n10, 1, \ldots, n - 1 appears at least once on the tokens, then the table has rows (or columns) with exactly 1,2,,n1, 2, \ldots, n tokens, respectively.

Property. We will show that if n2(mod3)n \equiv 2 \pmod{3}, then the table has at least 13n(n+1)\frac{1}{3} n(n+1) tokens.

Let n=3k1n = 3k - 1, and consider 2k2k rows filled with k,k+1,,3k1k, k + 1, \ldots, 3k - 1 tokens. Counting, possibly some tokens multiple times, these rows contain a total of
N=k+(k+1)+(k+2)++(3k1)=k(4k1) N = k + (k + 1) + (k + 2) + \dots + (3k - 1) = k(4k - 1)
tokens. Each token can be counted at most twice. If we denote by xx the number of rows and by yy the number of columns participating in obtaining NN, there are at most xyxy tokens counted twice. Since x+y=2kx + y = 2k, we have xyk2xy \le k^2, so the rows participating in obtaining NN have at least Nk2=k(3k1)=13n(n+1)N - k^2 = k(3k - 1) = \frac{1}{3} n(n + 1) tokens.

Example. A configuration with exactly k(3k1)k(3k-1) tokens can be obtained from a (2k1)×(3k1)(2k-1) \times (3k-1) matrix where, starting from the first column, we place 1,2,,k11, 2, \dots, k-1 tokens on the first k1k-1 rows, and 2k,2k+1,,3k12k, 2k+1, \dots, 3k-1 tokens on the remaining rows. The number of tokens is (1+2++(k1))+(2k+(2k+1)++(3k1))=k(k1)2+k(5k1)=k(3k1)=13n(n+1)(1+2+\dots+(k-1)) + (2k+(2k+1)+\dots+(3k-1)) = \frac{k(k-1)}{2} + k(5k-1) = k(3k-1) = \frac{1}{3} n(n+1), the rows represent rows with 1,2,,k1,2k,2k+1,,3k11, 2, \dots, k-1, 2k, 2k+1, \dots, 3k-1 tokens, and the first kk columns represent rows with 2k1,2k2,,k2k-1, 2k-2, \dots, k tokens.

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.