Maths Olympiad Prep

Library / /67 of 92

Combinatorics Difficulty 6.8 National olympiad Prove it Iran

nn is a positive integer. Consider all 2n2^n sequences of numbers 00 and 11 with length nn. At first, some of these numbers are marked. Two sequences are called *neighbors* if they have the same value in all their nn digits except for one. In each step, a non-marked sequence that has at least two marked neighbors is also marked. The goal is to have all the sequences to be marked at the end. Find the least number of initially marked sequences such that the goal is achievable.

Solution

First, we make an example. Assume these vertices
uummmmmmmmuummmmmmmmmuuwmmmmmmmuummmmmmmm \begin{array}{ccccccccccc} u & u & m & m & \dots & m & m & m & m \\ m & m & u & u & \dots & m & m & m & m \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots & \vdots & \vdots & \vdots & m \\ m & m & m & m & \dots & u & u & w & m \\ m & m & m & m & \dots & m & m & u & u \\ m & m & m & m & \dots & m & m & m & m \end{array}
where mm's are marked vertices and uu's are unmarked vertices.
(in case of odd nn two vertices have an mm in common)
If we initially mark them, then after one minute all vertices with one mm will be marked. So after two minutes all vertices with two mms will be marked, and so on. So after nn minutes all vertices will be marked.

Now we have to prove that if we initially mark kk vertices, and after a while all vertices get marked, then kn2+1k \ge \lfloor \frac{n}{2} \rfloor + 1.

Consider the connected components of marked vertices every minute. We claim that every marked-connected component with ii initially marked vertices has diameter at most 2i22i - 2. We prove our claim by induction. First step is easy to prove. Now assume that after tt minutes, the claim is true. After t+1t+1 minutes, if two (or more) marked connected components with i,ji, j initially marked vertices merge, then the diameter of the new merged marked component will be at most
2i2+2+2j2=2(i+j)2 2i - 2 + 2 + 2j - 2 = 2(i + j) - 2
So by this claim, after a while we have one connected component having all vertices. This connected component has kk initially marked vertices and diameter nn. Therefore, we have n2k2n \le 2k - 2 which concludes our bound. ■

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.