Есть ли в Python пакет для решения последовательности, определенной с помощью рекуррентного отношения? - PullRequest
0 голосов
/ 29 июня 2018

Имеет ли Python пакет для решения последовательности, определенной с использованием отношения повторения?

Например, «Максима» может решить рекуррентное отношение напрямую, используя пакет «solve_rec».

Есть ли что-то подобное для Python?

Код Максима:

kill(all);

load("solve_rec")$ 

a[n]-a[n-1]-a[n-2]=0;

solve_rec(%, a[n],a[1]=2,a[2]=3);

Выход:

a[n]-a[n-1]-a[n-2]=0

 a[n]=((sqrt(5)+1)^n*(3*sqrt(5)+5)*2^(-n-1))/5-((sqrt(5)-1)^n*(3*sqrt(5)-5)*2^(-n-1)*(-1)^n)/5

1 Ответ

0 голосов
/ 29 июня 2018

Этот тип рекуррентного отношения является линейным и однородным. Линейные однородные рекуррентные отношения - это особый класс рекуррентных отношений, которые относительно легко решить (по крайней мере, вручную). Однако не все рекуррентные отношения имеют замкнутые формы, и среди тех, которые имеют, не все принадлежат к особому классу, который компьютеры могут регулярно решать. Python не имеет встроенного решателя отношения повторения, и на Python не может быть написан модуль, который может решить произвольное отношение повторения.

...