Комбинаторные алгоритмы для программистов

         

Решение рекуррентных соотношений


Будем говорить, что рекуррентное соотношение имеет порядок

, если оно позволяет выразить
через
. Например,

рекуррентное соотношение второго порядка, а

- рекуррентное соотношение третьего порядка. Если задано рекуррентное соотношение
-го порядка, то ему удовлетворяет бесконечно много последовательностей. Дело в том, что первые

элементов последовательности можно задать совершенно произвольно - между ними нет никаких соотношений. Но если первые

элементов заданы, то все остальные элементы определяются совершенно однозначно - элемент
выражается в силу рекуррентного соотношения через
элемент
- через
и т.д.

Пользуясь рекуррентным соотношением и начальными членами, можно один за другим выписывать члены последовательности, причем рано или поздно получим любой ее член. Однако при этом придется выписать и все предыдущие члены - ведь не узнав их, мы не узнаем и последующих членов. Но во многих случаях нужно узнать только один определенный член последовательности, а остальные не нужны. В этих случаях удобнее иметь явную формулу для

-го члена последовательности. Некоторая последовательность является решением данного рекуррентного соотношения, если при подстановке этой последовательности соотношение тождественно выполняется. Например, последовательность

является одним из решений рекуррентного соотношения

В самом деле, общий член этой последовательности имеет вид

. Значит,
. Но при любом
имеет место тождество
. Поэтому
является решением указанного соотношения.

Решение рекуррентного соотношения

-го порядка называется общим, если оно зависит от
произвольных постоянных

и путем подбора этих постоянных можно получить любое решение данного соотношения. Например, для соотношения

(8.1)

общим решением будет

(8.2)

В самом деле, легко проверить, что последовательность (8.2) обращает (8.1) в тождество. Поэтому нам надо только показать, что любое решение нашего соотношения можно представить в виде (8.2). Но любое решение соотношения (8.1) однозначно определяется значениями

и
. Поэтому нам надо доказать, что для любых чисел
и


найдутся такие значения
и
, что
и

Но легко видеть, что при любых значениях
и

система уравнений

имеет решение. Поэтому (8.2) действительно является общим решением соотношения (8.1).

Содержание раздела