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

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

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

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

. Во многих случаях индексирование последовательности более удобно начинать с нуля; тогда областью определения

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

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

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

(2.3)

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

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

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

Все публикации раздела