Consider several tokens of different colors and sizes such that no two tokens have the same color and size. Each token has two numbers written on it: one represents the number of tokens with the same color as but different sizes, and the other represents the number of tokens with the same size as but different colors. It is known that each of the numbers appears at least once. For what numbers of tokens is this possible?
Solution
Observation 1. If the situation is possible for a certain number of tokens, then it is also possible for a number : we can add tokens with different sizes and colors to a suitable configuration with 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 appears at least once on the tokens, then the table has rows (or columns) with exactly tokens, respectively.
Property. We will show that if , then the table has at least tokens.
Let , and consider rows filled with tokens. Counting, possibly some tokens multiple times, these rows contain a total of
tokens. Each token can be counted at most twice. If we denote by the number of rows and by the number of columns participating in obtaining , there are at most tokens counted twice. Since , we have , so the rows participating in obtaining have at least tokens.
Example. A configuration with exactly tokens can be obtained from a matrix where, starting from the first column, we place tokens on the first rows, and tokens on the remaining rows. The number of tokens is , the rows represent rows with tokens, and the first columns represent rows with tokens.