Maths Olympiad Prep

Library / /144 of 377

Combinatorics Difficulty 5.0 AIME Find the answer United States

Problem:
A binary string of length nn is a sequence of nn digits, each of which is 00 or 11. The distance between two binary strings of the same length is the number of positions in which they disagree; for example, the distance between the strings 0110101101101011 and 0010111000101110 is 33 since they differ in the second, sixth, and eighth positions.

Find as many binary strings of length 88 as you can, such that the distance between any two of them is at least 33. You get one point per string.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Solution:
The maximum possible number of such strings is 2020. An example of a set attaining this bound is

0000000000110101
1100101010011110
1110000101101011
1101010001100110
1011100110010011
0111110011001101
0011101010101100
0101011111110010
0000111101011001
1010011111111111

This example is taken from page 57 of F. J. MacWilliams and N. J. A. Sloane, The Theory of Error Correcting Codes (New York: Elsevier Publishing, 1977). The proof that 2020 is the best possible is elementary but too long to reproduce here; see pages 537-541 of MacWilliams and Sloane for details.

In general, a set of MM strings of length nn such that any two have a distance of at least dd is called an (n,M,d)(n, M, d)-code. These objects are of basic importance in coding theory, which studies how to transmit information through a channel with a known error rate. For example, since the code given above has minimum distance 33, I can transmit to you a message consisting of strings in this code, and even if there is a possible error rate of one digit in each string, you will still be able to determine the intended message uniquely.

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.