Maths Olympiad Prep

Library / /253 of 520

Combinatorics Difficulty 6.5 National olympiad Prove it

18. (POL 1) Let SnS_{n} be the number of sequences (a1,a2,,an)\left(a_{1}, a_{2}, \ldots, a_{n}\right), where aia_{i} \in {0,1}\{0,1\}, in which no six consecutive blocks are equal. Prove that SnS_{n} \rightarrow \infty as nn \rightarrow \infty.

Solution

18. Let BnB_{n} be the set of sequences with the stated property (Sn=Bn)\left(S_{n}=\left|B_{n}\right|\right). We shall prove by induction on nn that Sn32Sn1S_{n} \geq \frac{3}{2} S_{n-1} for every nn. Suppose that for every in,Si32Si1i \leq n, S_{i} \geq \frac{3}{2} S_{i-1}, and consequently Si(23)niSnS_{i} \leq \left(\frac{2}{3}\right)^{n-i} S_{n}. Let us consider the 2Sn2 S_{n} sequences obtained by putting 0 or 1 at the end of any sequence from BnB_{n}. If some sequence among them does not belong to Bn+1B_{n+1}, then for some k1k \geq 1 it can be obtained by extending some sequence from Bn+16kB_{n+1-6 k} by a sequence of kk terms repeated six times. The number of such sequences is 2kSn+16k2^{k} S_{n+1-6 k}. Hence the number of sequences not satisfying our condition is not greater than
k12kSn+16kk12k(23)6k1Sn=32Sn2(2/3)612(2/3)6=192601Sn<12Sn \sum_{k \geq 1} 2^{k} S_{n+1-6 k} \leq \sum_{k \geq 1} 2^{k}\left(\frac{2}{3}\right)^{6 k-1} S_{n}=\frac{3}{2} S_{n} \frac{2(2 / 3)^{6}}{1-2(2 / 3)^{6}}=\frac{192}{601} S_{n}<\frac{1}{2} S_{n}
Therefore Sn+1S_{n+1} is not smaller than 2Sn12Sn=32Sn2 S_{n}-\frac{1}{2} S_{n}=\frac{3}{2} S_{n}. Thus we have Sn(32)nS_{n} \geq\left(\frac{3}{2}\right)^{n}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.