Dedalus buys a finite number of binary strings (each of finite length) made up of the binary digits 0 and 1. For each of the strings he buys, Dedalus pays (1/2)L drachmas, where L denotes the length of the string. The Minotaur escapes if he manages to find an infinite sequence of binary digits that does not contain any of the strings bought by Dedalus. Dedalus must trap the Minotaur. For example, if Dedalus were to buy the strings 00 and 11, paying half a drachma, the Minotaur could escape with the infinite sequence 01010101…. On the other hand, Dedalus can trap the Minotaur with an expense of 75 cents of a drachma: it is enough, for example, to buy the strings 0 and 11, or the strings 00, 11, 01. Determine all positive integers c for which Dedalus can trap the Minotaur with an expense less than or equal to c cents of a drachma.
Solutions — 2
Solution 1
Solution:
For every c>0 (not necessarily an integer either), the Lucchese Dedalus, of Genoese origin, can imprison the Minotaur while spending less than c cents of a drachma.
Lemma. For every pair of positive integers k and m, the expense of buying all strings of length mk in which k or more consecutive zeros never occur is less than or equal to (1−2k1)m drachmas.
To prove this, observe first of all that the cost of each of these strings is 2−mk drachmas. This expense must be multiplied by the total number of strings of length mk that do not contain k (or more) consecutive zeros. The exact number of these strings is hard to compute, but in order to obtain an upper bound on the price Dedalus pays, it suffices to find an upper estimate.
To do this, we divide the string of length mk into m blocks of length k, and observe that each block of length k can be any binary string except the one made up of only 0 digits. Since the binary strings of length k number 2k, it follows that for each block there are 2k−1 possible choices. Having m blocks, the total number of strings is at most (2k−1)m, hence the total cost does not exceed 2mk1⋅(2k−1)m=(1−2k1)m as required.
Given now any c>0, we choose k such that 1/2k<c/200, and once k is fixed we choose m such that (1−2k1)m<200c At this point Dedalus will buy the string consisting of k digits 0, which is able to block all sequences that contain, somewhere, at least k consecutive digits 0, plus all strings of length mk in which k or more consecutive zeros never occur, able to block all the remaining possible sequences simply by considering the first block of mk characters.
All this while spending less than c/200+c/200=c/100 drachmas!
Solution 2
Solution:
Alternative solution
We present an alternative version of the preceding Lemma, which requires the purchase of a smaller number of strings, and still allows us to conclude in an analogous manner. For simplicity, we call a k-sequence any infinite sequence in which k+1 (or more) consecutive zeros never occur.
Lemma. For every pair of integers k≥0 and m≥0, Dedalus can imprison all k-sequences by buying (k+1)m strings, all ending with the digit 1, spending in total (1−2k+11)m drachmas.
To prove this, suppose k is a fixed parameter and proceed by induction on m. The case m=0 is easy, since it suffices to buy the string 1.
Suppose now the statement is true for some m, and let us prove it for m+1. Let S1, …, S(k+1)m be strings capable of imprisoning any k-sequence. We now replace each of these strings, say the string Si, with the k+1 strings obtained by appending to the right of Si the strings 1,01,001,…,k0…01 The key observation is that, if Si is able to block a certain k-sequence, then one of the new strings is also able to block the same k-sequence, simply by positioning itself at the same point. Indeed, a k-sequence that contains Si can continue to the right of Si in only one of the k+1 indicated ways.
Letting Li denote the length of Si, the cost of the k+1 strings that replace Si is 2Li+11+⋯+2Li+k+11=2Li1(21+⋯+2k+11)=2Li1⋅(1−2k+11) and hence it equals that of Si multiplied by a fixed factor less than one.
If we now apply the same procedure to all (k+1)m strings that were suitable at step m, we obtain (k+1)m+1 strings that are still suitable and have a total cost equal to the previous one multiplied by the common fixed factor (1−1/2k+1). Moreover, they still all end with the digit 1.
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 translated into English from en; metadata (topic, difficulty) added by this project.