Maths Olympiad Prep

Library / /15 of 16

Combinatorics Difficulty 7.6 National olympiad, round 2 Prove it Argentina

In Eventown all authentic coins weigh an even amount of grams and all fake coins weigh an odd amount of grams.
There are 20222022 coins and it is given that exactly 22 of them are fake. We have an electronic scale which only shows if the total weight of the objects put on it is even or odd.
Find the least value of kk such that there is a strategy that allows us to identify the two fake coins using the scale at most kk times.

Solution

The answer is k=21k = 21. First we show a strategy that allows us to identify the two fake coins using the scale 2121 times.
We label the coins with the numbers 1,2,3,,20221, 2, 3, \dots, 2022 written in binary. Since 211=2048>20222^{11} = 2048 > 2022, every coin corresponds to an 1111-digit binary number.
The first 1111 weighings are as follows: for each k=1,2,,11k = 1, 2, \dots, 11, in the kk-th weighing we put on the scale those coins whose kk-th digit is a 11. The total weight will be even if and only if either both or none of the fake coins are on the scale, i.e., if their kk-th digits are equal.
Since the two fake coins are assigned different binary numbers, there is at least one position where one coin has a 11 and the other has a 00. Therefore, we can guarantee that in at least one of these 1111 weighings the total weight is odd. Suppose this happens in weighing number aa. Then one of the fake coins, F1F_1, has a 11 in the aa-th digit, whereas the other fake coin, F2F_2, has a 00 in the aa-th digit. Furthermore, notice that with these first 1111 weighings we already know for each kk if the kk-th digits of F1F_1 and F2F_2 are equal or different. Therefore, if we are able to identify F1F_1, then we can identify F2F_2 as well without any additional weighings.
Now we make 1010 more weighings, which are as follows: for each b=1,2,,11b = 1, 2, \dots, 11, bab \neq a, we put on the scale those coins whose aa-th digit and bb-th digit are both equal to 11. Clearly, F2F_2 is not involved in any of these weighings, so the total weight is odd if and only if F1F_1 is on the scale, and this happens if and only if the bb-th digit of F1F_1 is a 11. So, by observing these 1010 weighings we can identify F1F_1 (because we already knew the aa-th digit, and now we know all the other digits). By our previous observation, this allows us to identify both fake coins. To complete the solution we must prove that 2020 or fewer weighings may not be enough to find the fake coins. We say that a pair of coins is a candidate if, given the information that we have at a certain point, it is possible that those two are the fake coins. For each kk, k=0,1,2,,20k = 0, 1, 2, \dots, 20, let SkS_k be the set of all candidates after kk weighings. A strategy will be successful if S20S_{20} contains only one pair of coins, i.e., the fake coins are determined after 2020 weighings.
Initially we have S0S_0, which is the set of all pairs of coins, whose cardinality is equal to (20222)\binom{2022}{2}, which is greater than 2202^{20}. Now, the key observation is the following. After the first weighing, the set S0S_0 is partitioned into two subsets, one containing all possible pairs of fake coins for which the first weighing would be odd, and the other containing all possible pairs of fake coins for which the first weighing would be even. The largest of these two subsets has at least half the cardinality of S0S_0, and it is of course possible, no matter what the first weighing was, that S1S_1 is the largest of the two subsets.
Now we keep going in the same way: in every weighing, it is always possible that the cardinality of Sk+1S_{k+1} is at least half the cardinality of SkS_k. Hence, there is at least one configuration where the cardinality of S20S_{20} is greater or equal to (20222)220>1\frac{\binom{2022}{2}}{2^{20}} > 1. This means that no strategy that uses the scale only 2020 times can be always successful. This completes the proof.

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 and solution reproduced as published; topic and difficulty added by this site.