Исполнитель РазДваТри преобразует число на экране.
У исполнителя есть три команды, которым присвоены номера.
1. Прибавить 1.
2. Умножить на 2.
3. Умножить на 3.
Первая команда увеличивает число на экране
Программа для исполнителя РазДваТри — это последовательность команд.
Сколько существует программ, которые преобразуют исходное
Траектория вычислений — это последовательность результатов выполнения всех команд программы. Например, для программы 312 при исходном
Искомое количество программ равно произведению количества программ, получающих
Пусть R(n) — количество программ, которые
Верны следующие соотношения:
R(3) = 1;
R(4) = R(3) = 1;
R(5) = R(3) = 1;
R(6) = R(5) + R(3) = 2;
R(7) = R(6) = 2;
R(8) = R(7) + R(4) = 3;
R(9) = R(8) + R(3) = 4;
R(10) = R(9) + R(5) = 5;
R(11) = R(10) = 5;
R(12) = R(11) + R(6) + R(4) = 8;
R(13) = R(12) = 8;
R(14) = R(13) + R(7) = 10;
R(15) = R(14) + R(5) = 11.
Программ для получения
311111, 1311, 1121...1, 11121...1, 111121...1, 1111121...1, 11111121...1, 11111112111111, 1111111121111, 111111111211, 11111111112.
Таким образом, количество программ, удовлетворяющих условию задачи, равно 11 · 11 = 121.
Примечание. 1...1 — последовательность из единиц.
Ответ: 121.
Приведём другое решение на языке Python.
def f(x, y):
if x > y or x == 33:
return 0
if x == y:
return 1
else:
return f(x + 1, y) + f(x * 2, y) + f(x * 3, y)
print(f(3, 15) * f(15, 50))

