Рекурсивная функция

Рекурси́вная фу́нкция (от лат. recursio — возвращение) — это числовая функция числового аргумента, которая в своей записи содержит себя же. Такая запись позволяет вычислять значения на основе значений , подобно рассуждению по индукции. Чтобы вычисление завершалось для любого , необходимо, чтобы для некоторых функция была определена нерекурсивно (например, для ).

ПримерыПравить

Пример рекурсивной функции, дающей n-ое число Фибоначчи:

 

Руководствуясь этой записью, мы можем вычислить   для любого натурального n за конечное число шагов. Правда, по пути придётся дополнительно вычислить значения  .

Замкнутая формаПравить

В связи с накладными расходами полезно знать, есть ли у рекурсивной функции нерекурсивная (замкнутая) форма.

Замкнутая форма может быть найдена не для всех рекурсивных функций (соотношений). Для некоторых из них найдены лишь приближенные замкнутые формы. Некоторые рекурсивные соотношения, такие как факториал, считаются элементарными математическими операциями.

Например, рекурсивная функция, описывающая сумму чисел натурального ряда:

 

может быть переведена в замкнутую форму:  .

ПриложенияПравить

Рекурсивные функции играют важную роль в теории алгоритмов, так как многие алгоритмы имеют рекурсивную структуру.