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.
, 2011
Solution
Let be the number of admissible words with letters; then (the empty word), and .
Then, if we add a letter at the end of a correct word with letters, we obtain either a correct word with letters, or a forbidden word of the form , with a forbidden sequence with letters, and a correct word with letters. So, the forbidden words with letters are at most , hence
The above relation allows to prove inductively that (), for every . Indeed, the base case is obvious, and if () is true for all the numbers from 0 to , , then , , whence
This shows that there are at least words of length .
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.