Исполнитель Панцирь получает на вход строку цифр и преобразовывает её. Панцирь может выполнять две команды, в обеих командах v и w обозначают цепочки символов.
1. заменить (v, w)
2. нашлось (v)
Первая команда заменяет в строке первое слева вхождение цепочки v на цепочку w. Если цепочки v в строке нет, эта команда не изменяет строку. Вторая команда проверяет, встречается ли цепочка v в строке исполнителя Панцирь. Если она встречается, то команда возвращает логическое значение «истина», в противном случае возвращает значение «ложь».
Дана программа для Панцирь:
НАЧАЛО
ПОКА нашлось(*1) или нашлось(*5)
ЕСЛИ нашлось(*51)
ТО заменить(*51, 9*)
ИНАЧЕ ЕСЛИ нашлось(*5)
ТО заменить(*5, 0*)
КОНЕЦ ЕСЛИ
ЕСЛИ нашлось(*1)
ТО заменить(*1, 1*)
КОНЕЦ ЕСЛИ
КОНЕЦ ПОКА
КОНЕЦ
На вход приведённой программе поступает строка, начинающаяся с символа «*», после него в строке находится 7 единиц и неизвестное количество пятерок. Расположение цифр может быть любым. Определите наименьшее количество пятерок, которые могли содержаться в изначальной строке, если сумма цифр строки, полученной в результате выполнения программы равна 39.
Аналитическое решение
Программа заменяет пятерки, за которыми находится единица на девятки. Если же за пятеркой находится другая пятерка, то левая пятерка заменяется нулем. Свободные единицы не затрагиваются действиями программы.
Изначально в строке есть точно 7 единиц, сумма которых равна 7. Чтобы сумма цифр конечной строки была равна 39, имеет смысл только добавлять комбинации 51 в строку, так как просто добавление цифр 5 будет давать 0, что не увеличит сумму цифр. При добавлении одной цифры 5 для комбинации 51, сумма цифр будет увеличиваться на 8 (была 1, после добавления пятёрки для 51 получилась 9). Тогда до 39 не хватает 
(7 — исходная сумма единиц). Тогда 
– именно столько цифр 5 нужно добавить в строку, чтобы получилась нужная сумма цифр.
Решение программой
mn = 10 ** 10 # Переменная для минимального количества пятерок
for c51 in range(0, 7 + 1): # Перебираем количество комбинаций ’51’ от 0 до 7 включительно
for c5 in range(100): # Перебираем количество пятерок
s = ’*’ + c51 * ’51’ + (7 - c51) * ’1’ + c5 * ’5’ # Составляем исходную строку
# Реализация программы для исполнителя
while (’*1’ in s) or (’*5’ in s):
if ’*51’ in s:
s = s.replace(’*51’, ’9*’, 1)
elif ’*5’ in s:
s = s.replace(’*5’, ’0*’, 1)
if ’*1’ in s:
s = s.replace(’*1’, ’1*’, 1)
s = s[:-1] # Убираем последний символ строки ’*’, чтобы посчитать сумму цифр
sm = sum(map(int, s)) # Сумма цифр строки
if sm == 39:
mn = min(mn, c51 + c5)
print(mn)