Maths Olympiad Prep

Library / /8 of 9

, 2019

Combinatorics Difficulty 7.4 National Olympiad, round 2 Prove it Japan

A 4×44 \times 4 grid made up of 1616 1×11 \times 1 squares is given. Suppose we want to color each of the squares by using one of the four colors, red, blue, yellow or green. How many ways of painting all of the boxes are there if the following requirement must be met:
For any row and any column one of the following 3 conditions must be satisfied:
* all four squares must be colored by the same color.
* use two colors, each one to be used to color two squares.
* use all four colors, each one to be used to color one square.

Solution

When we say color in this solution we mean red, blue, yellow and green.
An nn-tuple (c1,c2,,cn)(c_1, c_2, \dots, c_n) of colors (in which the same color can appear any number of times) is called consistent if every color appearing appears an even number of times, or every color appearing appears an odd number of times. Note that nn must be even if (c1,c2,,cn)(c_1, c_2, \dots, c_n) is consistent. The conditions imposed for the problem is equivalent to the statement that for any row and any column the colors (c1,c2,c3,c4)(c_1, c_2, c_3, c_4) used to paint is consistent.
Lemma: Let nn be an odd number, and let (c1,c2,,cn)(c_1, c_2, \dots, c_n) be an nn-tuple of colors. Then, there exists a unique color dd for which (c1,c2,,cn,d)(c_1, c_2, \dots, c_n, d) becomes consistent.
Proof: Since nn is odd, there are odd number of colors which appear odd number of times among c1,,cnc_1, \dots, c_n. Thus, there is one color for which the even-odd parity of the appearances among c1,,cnc_1, \dots, c_n is different from other colors appearing there, and this color is dd.
Let us consider how many ways there are for coloring squares of the given grid to satisfy the conditions of the problem. As indicated in the diagram below, we indicate colors by using symbols. There are 494^9 ways of choosing colors if we choose c1,c2,,c9c_1, c_2, \dots, c_9 freely. If we fix one such choice, then by applying the Lemma to the 33 upper rows to obtain d1,d2,d3d_1, d_2, d_3, and by applying the Lemma to 33 left columns to obtain e1,e2,e3e_1, e_2, e_3. If we can show that the color xx for which (d1,d2,d3,x)(d_1, d_2, d_3, x) is consistent coincides with the color yy for which (e1,e2,e3,y)(e_1, e_2, e_3, y) is consistent, then this common color must be the unique color that should be used to color the right lowest corner of the diagram below.
Since each one of the quadruples
(c1,c2,c3,d1),(c4,c5,c6,d2),(c7,c8,c9,d3),(d1,d2,d3,x) (c_1, c_2, c_3, d_1), (c_4, c_5, c_6, d_2), (c_7, c_8, c_9, d_3), (d_1, d_2, d_3, x)
is consistent, the 1616-tuple obtained by combining these four quadruples is consistent, and so is the 1010-tuple obtained by deleting each of (d1,d2,d3)(d_1, d_2, d_3) twice from the 1616-tuple above. Thus, we conclude that (c1,c2,,c9,x)(c_1, c_2, \dots, c_9, x) is consistent. Arguing in the same way, we also get the fact that (c1,c2,,c9,y)(c_1, c_2, \dots, c_9, y) is consistent. In view of the Lemma above, we conclude that xx and yy represent the same color.
No matter how we choose the colors c1,c2,,c9c_1, c_2, \dots, c_9, we see that there is a unique choice of the color to color the right lowermost square of the diagram below. So, 49=2621444^9 = 262144 is the desired answer to the problem.

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.