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

Примеры

править

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

 

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

Замкнутая форма

править

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

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

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

 

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

Приложения

править

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

Примечания

править