У исполнителя Утроитель две команды, которым присвоены номера:
1) прибавь 1,
2) умножь на 3.
Первая из них увеличивает число на экране на 1, вторая утраивает его.
Программа для Утроителя – это последовательность команд.
Сколько существует программ, которые число 2 преобразуют в число 32?
Обозначим R(n) — количество программ, которые преобразуют число 3 в число n. Обозначим t(n) наибольшее кратное 3, не превосходящее n.
Обе команды исполнителя увеличивают исходное число, поэтому общее количество команд в программе не может превосходить 30.
Верны следующие соотношения:
1. Если n не делится на 3, то тогда R(n) = R(t(n)), так как существует единственный способ получения n из t(n) — прибавлением единиц.
2. Пусть n делится на 3.
Тогда R(n) = R(n / 3) + R(n - 1)= R(n / 3) + R(n - 3) (если n > 3).
При n = 6 R(n)) = 2 (два способа: утроением двойки или прибавлением единиц).
Поэтому достаточно постепенно вычислить значения R(n) для всех чисел, кратных 3 и не превосходящих 32: сначала вычисляем R(3), затем R(6), R(9) и т. д.
Имеем:
R(2) = R(3) = R(4) = R(5) = 1,
R(6) = R(5) + R(2) = 1 + 1 = 2 = R(7) = R(8),
R(9) = R(3) + R(6) = 1 + 2 = 3 = R(10) = R(11),
R(12) = R(4)+ R(9)= 1 + 3 = 4 = R(13) = R(14),
R(15) = R(5) + R(12) = 1 + 4 = 5 = R(16) = R(17),
R(18) = R(6) + R(15) = 2 + 5 = 7 = R(19) = R(20),
R(21) = R(7) + R(18) = 2 + 7 = 9 = R(22) = R(23),
R(24) = R(8) + R(21) = 2 + 9 = 11 = R(25) = R(26),
R(27) = R(9) + R(24) = 3 + 11 = 14 = R(28) = R(29),
R(30) = R(10) + R(27) = 3 + 14 = 17 = R(31) = R(32).
Ответ: 17.
Приведём другое решение на языке Python.
def f(x, y):
if x > y:
return 0
if x == y:
return 1
else:
return f(x + 1, y) + f(x * 3, y)
print(f(2, 32))

