Skip to main content
OlympiadHQ

Browse · MathNet

Print

Dutch Mathematical Olympiad

Netherlands counting and probability

Problem

Niek has 16 square cards that are white on one side and black on the other. He puts down the cards to form a -square. Some of the cards show their white side and some show their black side. For a colour pattern he calculates the monochromaticity as follows. For every pair of adjacent cards that share a side he counts or according to the following rule: if the adjacent cards show the same colour, and if the adjacent cards show different colours. Adding this all together gives the monochromaticity (which might be negative). For example, if he lays down the cards as below, there are 15 pairs of adjacent cards showing the same colour, and 9 such pairs showing different colours.

problem


The monochromaticity of this pattern is thus . Niek investigates all possible colour patterns and makes a list of all possible numbers that appear at least once as a value of the monochromaticity. That is, Niek makes a list with all numbers such that there exists a colour pattern that has this number as its monochromaticity.

a. What are the three largest numbers on his list? (Explain your answer. If your answer is, for example, 12, 9 and 6, then you have to show that these numbers do in fact appear on the list by giving a colouring for each of these numbers, and furthermore prove that the numbers 7, 8, 10, 11 and all numbers bigger than 12 do not appear.)

b. What are the three smallest (most negative) numbers on his list?

c. What is the smallest positive number (so, greater than 0) on his list?

problem


problem


problem
Solution
a. First note that there are horizontal borders between two cards, and also 12 vertical borders. Suppose that of these borders count as , then there are borders counting as . This gives a monochromaticity of . Hence, the monochromaticity is always an even number.

If all cards have the same colour, then all borders count as , and we get the maximal monochromaticity of . Can also occur as the monochromaticity? No, and we will prove that by contradiction. Suppose there is an assignment of cards having monochromaticity . Then there has to be one border with and the rest must count as . In other words, all adjacent cards have the same colour, except for one border. Consider the two cards at this border, and choose two adjacent cards so that you obtain a square. For each pair of cards, you can find such a square. If you start on the left top and go around the four cards in a circle (left top – right top – right bottom – left bottom – left top), then you cross four borders. Since you are starting and ending in the same colour, you must have crossed an even number of borders where the colour is changing. This, however, is in contradiction with the assumption that there is only one border at which the two cards have different colours. We conclude that the monochromaticity can never be .

The next possibilities for large monochromaticities are and . Then there have to be or borders between cards of different colours. This can be achieved by the following colourings:



The three largest numbers on Niek's list are , , and .

b. Suppose that we put the cards such that the monochromaticity is . Then we can turn half of the cards, as in a chess board pattern: we turn a card if and only if all of the adjacent cards are not turned. With this operation all borders between cards change sign, and we obtain a monochromaticity of . In other words, is a possible value for the monochromaticity if and only if is possible. Therefore, the three smallest numbers on Niek's list are the negatives of the three greatest numbers: , , and .

c. We already proved that the monochromaticity is always an even number. The smallest possible positive even number is . This monochromaticity can be obtained by having borders between squares of the same colour, and borders between squares of different colours. There are many ways to achieve this, for example:



Final answer
a) 24, 20, 18; b) −24, −20, −18; c) 2

Techniques

Coloring schemes, extremal argumentsInvariants / monovariants