Browse · MathNet
PrintWinter Mathematical Competition
Bulgaria counting and probability
Problem
One cuts a paper strip of length into two parts of integer lengths and writes down the two integers on the board. Then cuts one of the two parts into two parts of integer lengths and writes down the two integers on the board. The cutting stops when all parts are of length . A cut is called bad if the two parts obtained are not of equal lengths.
a) Find the minimum possible bad cuts.
b) Prove that for all cuttings with minimum possible bad cuts the number of distinct integers on the board is one and the same.
a) Find the minimum possible bad cuts.
b) Prove that for all cuttings with minimum possible bad cuts the number of distinct integers on the board is one and the same.
Solution
a) Let the length of the strip be . Denote by and respectively the number of 's in the binary representation of and the minimum possible number of bad cuts. Let . Consider the following sequence of cuts: first cut a strip of length , next cut a strip of length and so on. After the last cut we obtain two strips of lengths and . Note that a strip whose length is a power of can be cut into strips of length without bad cuts. Therefore the number of bad cuts equals , i.e. We prove by induction on that . For we have and , i.e. the statement is true. Suppose it is true for all , where is a positive integer and let .
1. Suppose the first cut is bad and it leaves two strips of lengths and . Then and . If the binary representations of and have no common digit then and therefore If the binary representations of and have at least one common digit then and therefore
2. Suppose the first cut is not bad, i.e. the strip is cut into two parts each of length . Then and . If then and the statement is true. Otherwise Thus, when we have .
This proves the induction hypothesis giving It follows from (1) and (2) that .
a) Since the binary representation of is , i.e. , we obtain .
b) It follows from the above arguments that if the number of bad cuts is then every bad cut leaves two parts of lengths and such that the binary representations of and have no common digit . Moreover the good cuts are done only over strips whose lengths are powers of . It is clear that rearranging the cuts we may assume that the first cuts are bad. Their number equals and each bad cut gives two new numbers on the table. Therefore after all bad cuts we have distinct numbers. The powers of that appear are all powers up to the highest power in the binary representation of . Thus, the number of distinct numbers on the table equals , where is the highest power of in the binary representation of .
1. Suppose the first cut is bad and it leaves two strips of lengths and . Then and . If the binary representations of and have no common digit then and therefore If the binary representations of and have at least one common digit then and therefore
2. Suppose the first cut is not bad, i.e. the strip is cut into two parts each of length . Then and . If then and the statement is true. Otherwise Thus, when we have .
This proves the induction hypothesis giving It follows from (1) and (2) that .
a) Since the binary representation of is , i.e. , we obtain .
b) It follows from the above arguments that if the number of bad cuts is then every bad cut leaves two parts of lengths and such that the binary representations of and have no common digit . Moreover the good cuts are done only over strips whose lengths are powers of . It is clear that rearranging the cuts we may assume that the first cuts are bad. Their number equals and each bad cut gives two new numbers on the table. Therefore after all bad cuts we have distinct numbers. The powers of that appear are all powers up to the highest power in the binary representation of . Thus, the number of distinct numbers on the table equals , where is the highest power of in the binary representation of .
Final answer
a) 8. b) For any optimal cutting achieving the minimum number of bad cuts, the number of distinct integers recorded equals 2 g(n) + k − 1, where g(n) is the number of ones in the binary expansion of n and k is the largest exponent of two appearing in that expansion.
Techniques
Induction / smoothingGames / greedy algorithmsColoring schemes, extremal arguments