Maths Olympiad Prep

Library / Philippine Mathematical Olympiad /75 of 114

Philippine Mathematical Olympiad

Combinatorics Difficulty 5.7 AIME, harder Prove it Philippines

Problem:

Silverio is very happy for the 25th year of the PMO. In his jubilation, he ends up writing a finite sequence of AA's and GG's on a nearby blackboard. He then performs the following operation: if he finds at least one occurrence of the string "AG""AG", he chooses one at random and replaces it with "GAAA""GAAA". He performs this operation repeatedly until there is no more "AG""AG" string on the blackboard. Show that for any initial sequence of AA's and GG's, Silverio will eventually be unable to continue doing the operation.

Solution

Solution:

We assign the weight 4k4^{k} to each GG in the sequence, where kk is the number of AA's to the right of this GG. In each operation, if 4k4^{k} is the weight of the GG in the "AG""AG" being replaced, then each of the three GG's in "GAAA""GAAA" have a weight of 4k−14^{k-1}. So the sum of the weights decreases by 4k−3⋅4k−1=4k−14^{k} - 3 \cdot 4^{k-1} = 4^{k-1} in each operation. Since the sum of weights in the initial sequence is finite, and the sum of the weights of all GG's must be a nonnegative integer, Silverio can only perform a finite number of operations.

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.