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


Последовательности


Бесконечная последовательность

формально определяется как функция

, областью определения которой является множество положительных целых чисел:
. Во многих случаях индексирование последовательности более удобно начинать с нуля; тогда областью определения
будет множество целых неотрицательных чисел. Аналогично определим конечную последовательность или список

как функцию, областью определения которой является множество

. Примером бесконечной последовательности являются простые числа

(2.3)

а перестановка

представляет собой пример конечной последовательности.

В комбинаторных алгоритмах часто приходится встречаться с представлениями конечных последовательностей (или начальных сегментов бесконечных последовательностей) и операциями над ними.



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