Maths Olympiad Prep

Library / /2 of 3

, 2011

Combinatorics Difficulty 5.7 AIME, harder Prove it Romania

A certain language uses an alphabet containing three letters. Some sequences of two or more letters are forbidden, and every two forbidden sequences have different lengths. Prove that there exists admissible words of every length.

Solution

Let ana_n be the number of admissible words with nn letters; then a0=1a_0 = 1 (the empty word), a1=3a_1 = 3 and a2=8a_2 = 8.

Then, if we add a letter at the end of a correct word with nn letters, we obtain either a correct word with n+1n+1 letters, or a forbidden word of the form XYXY, with YY a forbidden sequence with kk letters, 2kn+12 \le k \le n+1 and XX a correct word with nk+1n-k+1 letters. So, the forbidden words with n+1n+1 letters are at most a0+a1+a2++an1a_0 + a_1 + a_2 + \dots + a_{n-1}, hence
an+13an(a0+a1+a2++an1). a_{n+1} \ge 3a_n - (a_0 + a_1 + a_2 + \dots + a_{n-1}).
The above relation allows to prove inductively that an+1>2ana_{n+1} > 2a_n (*), for every n1n \ge 1. Indeed, the base case is obvious, and if (*) is true for all the numbers from 0 to n1n-1, n2n \ge 2, then an2kanka_n \ge 2^k a_{n-k}, 0kn10 \le k \le n-1, whence
an+1an(3(12n+12n1++12))>2an. a_{n+1} \ge a_n \left( 3 - \left( \frac{1}{2^n} + \frac{1}{2^{n-1}} + \dots + \frac{1}{2} \right) \right) > 2a_n.
This shows that there are at least 2n2^n words of length nn.

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.