Olympiad Maths Prep

Track / Stage 6 / 248 of 400 #1248 of 2000

Problem 1248

National olympiad, first round
Combinatorics Difficulty 6.5 Find the answer

5 Several students take an exam, with a total of 4 multiple-choice questions, each with 3 options. It is known: any 3 students have one question where their answers are all different. Find the maximum number of students. (29th

Official solution

5. Suppose there are nn candidates. It is easy to see that each candidate's answer sheet is a sequence of length 4, consisting of the letters AA, BB, and CC. Thus, this problem is equivalent to 3-coloring an n×4n \times 4 grid such that "any three rows have a column with 3 cells of different colors." Let the total number of different-colored pairs in all columns be SS. On one hand, for any column, suppose there are aa cells of color AA, bb cells of color BB, and cc cells of color CC, then the number of different-colored pairs in this column is ab+bc+caab + bc + ca. Note that 3(ab+bc+ca)a2+b2+c2+2(ab+bc+ca)=(a+b+c)2=n23(ab + bc + ca) \leq a^2 + b^2 + c^2 + 2(ab + bc + ca) = (a + b + c)^2 = n^2, so the 4 columns have at most 4n23\frac{4n^2}{3} different-colored pairs. That is, S4n23S \leq \frac{4n^2}{3}. On the other hand, any 3 rows have a column with 3 different colors, which form 3 different-colored pairs, thus there are 3(n3)3 \binom{n}{3} different-colored pairs. However, the same different-colored pair may appear in n2n-2 different 3-row groups, so S3(n3)n2S \geq 3 \cdot \frac{\binom{n}{3}}{n-2}. Therefore, 3(n3)n2S4n233 \cdot \frac{\binom{n}{3}}{n-2} \leq S \leq \frac{4n^2}{3}. However, this inequality always holds, and does not provide a range for nn. Readers can consider whether this estimate can be improved. From another perspective, consider the negation of "any three rows have a column with 3 cells of different colors": there exist three rows such that all columns of these three rows have only two colors. We use proof by contradiction to find the columns with only two colors. Through trial, we find that n<10n < 10. Otherwise, take any 10 rows to form a 10×410 \times 4 grid MM. Consider the first column of MM, there must be a color that appears at most 3 times. Thus, at least 7 rows have only two colors in the first column. Consider the second column of these 7 rows, there must be a color that appears at most 2 times. Thus, at least 5 rows have only two colors in the first and second columns. Consider the third column of these 5 rows, there must be a color that appears at most 1 time. Thus, at least 4 rows have only two colors in the first, second, and third columns. Consider the last column of these 4 rows, there must be a color that appears at most 1 time, thus at least 3 rows have only two colors in all columns. Let these 3 rows be A1A_1, A2A_2, and A3A_3, then any column of A1A_1, A2A_2, and A3A_3 has two cells of the same color, which is a contradiction. When n=9n = 9, the answers chosen by 9 people for each question are (1,2,1,2)(1,2,1,2), (2,3,2,2)(2,3,2,2), (3,1,3,2)(3,1,3,2), (1,1,2,1)(1,1,2,1), (2,2,3,1)(2,2,3,1), (3,3,1,1)(3,3,1,1), (1,3,3,3)(1,3,3,3), (2,1,1,3)(2,1,1,3), (3,2,2,3)(3,2,2,3), so n=9n = 9 is possible, hence the maximum value of nn is 9.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.