Исполнитель Редактор получает на вход строку цифр и преобразовывает её. Редактор может выполнять две команды, в которых
А) заменить (v, w).
Эта команда заменяет в строке первое слева вхождение
Например, выполнение команды
Если в строке нет вхождений
Б) нашлось (v).
Эта команда проверяет, встречается ли
Строка исполнителя при этом не изменяется.
ПОКА нашлось (52) ИЛИ нашлось (1122) ИЛИ нашлось (2222)
ЕСЛИ нашлось (52)
ТО заменить (52, 11)
КОНЕЦ ЕСЛИ
ЕСЛИ нашлось (2222)
ТО заменить (2222, 5)
КОНЕЦ ЕСЛИ
ЕСЛИ нашлось (1122)
ТО заменить (1122, 25)
КОНЕЦ ЕСЛИ
КОНЕЦ ПОКА
КОНЕЦ
На вход приведённой выше программе поступает строка, начинающаяся
Приведём решение на языке Python.
for n in range(3,10000+1):
s = '5' + '2' * n
while ('52' in s) or ('1122' in s) or ('2222' in s):
s = s.replace('52', '11', 1)
s = s.replace('2222', '5', 1)
s = s.replace('1122', '25', 1)
if 1*s.count("1")+2*s.count("2")+5*s.count("5") == 64:
print(n)
break
Ответ: 152.

