Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /186 of 270

Iranian Mathematical Olympiad

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
uumm…mmmmmmuu…mmmm⋮⋮⋮⋮⋱⋮⋮⋮⋮mmmmm…uuwmmmmm…mmuummmm…mmmm \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 k≥⌊n2⌋+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 2i−22i - 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
2i−2+2+2j−2=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 n≤2k−2n \le 2k - 2 which concludes our bound. ■

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.