Описание тега recurrence
Рекуррентное отношение - это набор уравнений, которые рекурсивно определяют последовательность, с одним или несколькими заданными начальными членами и каждым последующим термином, определяемым как функция от предыдущих членов.
Примером является последовательность Фибоначчи, которую можно определить как:
F(n) = F(n-1) + F(n-2), где F(0) = 1 и F(1) = 1.
Некоторые просто определенные рекуррентные отношения могут иметь очень сложное (хаотическое) поведение, и они являются частью области математики, известной как нелинейный анализ.
Решение рекуррентного отношения означает получение решения в замкнутой форме: нерекурсивной функции, аналитически выраженной в терминах конечного числа определенных "хорошо известных" функций.
Отношения рекуррентности имеют фундаментальное значение при анализе алгоритмов. В информатике повторение обычно возникает, когда мы анализируем сложность алгоритмов "разделяй и властвуй". Если алгоритм спроектирован таким образом, что он разбивает проблему на более мелкие подзадачи (разделяй и властвуй), время его работы описывается соотношением рекуррентности.
Для некоторых типичных рекуррентных соотношений асимптотический рост можно проанализировать с помощью основной теоремы.