Вы находитесь на странице: 1из 99

ОГЛАВЛЕНИЕ

Введение ………………………………………………………………….…… 7
1. Основы дискретного анализа ……………….…..….…….……….…. 10
1.1. Основные формулы и элементарные методы ….……….…..….. 10
1.1.1. Множества ………………………………...…………….…. 10
1.1.1.1. Множества. Способы задания множеств …..…...….. 10
1.1.1.2. Операции над множествами ……………….…......… 13
1.1.1.3. Алгебра множеств ………………….……………..…. 15
1.1.1.4. Разбиения множеств. Правило суммы ….………….. 18
1.1.1.5. Сочетания без повторений ……………………..…… 20
1.1.2. Векторы ………………………..……...…………………… 22
1.1.2.1. Декартово произведение ………………….……….… 22
1.1.2.2. Правило произведения. Размещения ……………….. 24
1.1.2.3. Мультимножества. Сочетания и перестановки с по-
вторениями …………………...…………………...… 26
1.1.2.4. Сюръективные мультимножества …….……………. 29
1.1.2.5. Разбиения и композиции чисел …………….….….... 30
1.1.3. Отношения …………………………….………….………... 32
1.1.3.1. Бинарные отношения .………………..………...……. 32
1.1.3.2. Функции ………………………………..……….……. 35
1.1.3.3. Бинарные отношения специального вида …….……. 39
1.1.3.4. Отношения порядка ………….……………………… 44
1.2. Метод включений и исключений и формулы обращения …….. 47
1.2.1. Основная формула метода включений и исключений и еѐ
применение …………………………………………............ 47
1.2.1.1. Формула включений и исключений ………..………. 47
1.2.1.2. Число элементов объединения множеств …...……... 49
1.2.1.3. Беспорядочные перестановки ………………….….... 50
1.2.1.4. Неподвижные элементы преобразований ………..… 52
1.2.1.5. Число сюръективных отображений ……………….... 53
1.2.1.6. Функция Эйлера ………………….…………….……. 53
1.2.1.7. Общие формулы метода …………………….………. 56
1.2.2. Формулы обращения ….…………………….……………... 59

3
1.2.2.1. Формулы обращения с биномиальными коэффициен-
тами ……………..………………….…………..……. 59
1.2.2.2. Обращение общих формул метода включений и ис-
ключений ……………..…………..…………………. 63
1.2.2.3. Дзета-функция и функция Мѐбиуса ……….….……. 64
1.2.2.4. Обращение мер на множествах ………………..……. 69
1.3. Производящие функции ……..…………….……….……….……72
1.3.1. Алгебра производящих функций ………….…..…......…… 72
1.3.1.1. Классы производящих функций …………….…...…. 72
1.3.1.2. Операции над производящими функциями ………... 83
1.3.2. Производящие функции комбинаторных последовательно-
стей …………………………….……………………….…. 98
1.3.2.1. Производящие функции сочетаний ………..……...... 98
1.3.2.2. Производящие функции размещений ……….......…. 99
2. Теория Пойа ……..……………………….......……….………...…… 102
2.1. Преобразования множества ………..…….….....……….……… 102
2.1.1. Преобразования и подстановки ……..………….…..…… 102
2.1.1.1. Операции и алгебры …………………………...…… 102
2.1.1.2. Гомоморфизм ……..…….……………..……….…… 104
2.1.1.3. Группы ……………………….………...…………… 104
2.1.1.4. Смежные классы ….………………...……….…...… 107
2.1.1.5. Кольца и поля …….……………...……………….… 110
2.1.1.6. Полугруппы преобразований ………..………….…. 112
2.1.1.7. Группы подстановок ...……………………..………. 113
2.1.2. Орбиты и циклы …………….………………...….………. 115
2.1.2.1. Орбиты подстановок ……………..…….……….….. 115
2.1.2.2. Циклы …………….…....…………..……….……….. 116
2.1.2.3. Цикловые классы …..……………………..………... 117
2.1.2.4. Подстановки с заданным числом циклов. Числа Стир-
линга ………….….……….………...……………… 119
2.1.2.5. Цикловой индекс группы подстановок ……..…...... 121
2.2. Теорема Пойа ……………………….……………..……….…… 124
2.2.1. Группы и эквивалентность функций …….…......….…… 124
2.2.1.1. GH-эквивалентность …………………....……..…… 124
2.2.1.2. Лемма Бернсайда ……………………….…..….…… 125
4
2.2.1.3. Число классов GH-эквивалентности …....………… 127
2.2.2. Теорема Пойа о перечислении и еѐ применение .…….... 130
2.2.2.1. Основная теорема ……..………….………………… 130
2.2.2.2. Задача о числе -мультимножеств ….…….….… 135
2.2.2.3. Задача об ожерельях …………...…………..….…… 139
3. Графы ………….……………………………...……………………… 142
3.1. Основные понятия теории графов ……...………….……….…. 142
3.1.1. Граф. Компоненты и виды графов ……………..……..... 142
3.1.1.1. Понятие графа …………...……………………….… 142
3.1.1.2. Степень вершины графа …………..……………..… 144
3.1.1.3. Способы задания графа ………..………….……..… 146
3.1.1.4. Маршруты, пути, цепи, циклы ……...…….……….. 149
3.1.2. Связность ………………..….……….………..………….. 152
3.1.2.1. Компоненты связности …...………….………..…… 152
3.1.2.2. Мосты ……………….…….…………..……..……… 153
3.1.2.3. Блоки ……………………………………….……..… 154
3.1.3. Деревья ………..…………..………..…………………….. 155
3.1.3.1. Теоремы о деревьях …….……………..…………… 155
3.1.3.2. Цикломатическое число …………..………..……… 159
3.2. Перечислительные задачи на графах …………….…..…..…… 160
3.2.1. Помеченные графы …………….………………..…..…… 160
3.2.1.1. Понятие помеченного графа ……..…………..….… 160
3.2.1.2. Перечисление помеченных графов ….………….… 162
3.2.1.3. Перечисление помеченных деревьев ….….…..…... 164
3.2.2. Обходы графов ………….……………………..….……… 170
3.2.2.1. Эйлеровы графы ……...……………….……….…… 170
3.2.2.2. Эйлеровы контуры в орграфах ………….……..….. 172
3.2.2.3. Гамильтоновы графы ………….…………..……..… 181
3.2.3. Раскраски графов …………………………………..……. 184
3.2.3.1. Хроматическое число …….…………...………....… 184
3.2.3.2. Хроматический многочлен ………………..…..…… 185
3.2.3.3 Число k-раскрашенных графов ..……....….…..….… 189
3.2.4. Ациклические орграфы ……...….………………….……. 190
3.2.4.1. Расширения ациклических орграфов …..….…...…. 190
3.2.4.2. Число помеченных ациклических орграфов …...… 192
5
3.2.5. Теорема Пойа и перечисление графов ……….…….…… 194
3.2.5.1. Перечисление корневых деревьев …….……...…… 194
3.2.5.2. Перечисление графов ……...……………………….. 198
3.2.5.3. Перечисление связных графов …….…..………...… 200
Библиографический список ………..……..………...….….…….………… 203
Приложения ………..…….…..………………...……….…………..…….... 206
Приложение 1. Указатель принятых обозначений …………..…………... 206
Приложение 2. Предметный указатель …………...……..…..…………… 221

6
ВВЕДЕНИЕ
В предлагаемом учебном пособии сделана попытка системати-
чески изложить алгебраические методы решения комбинаторных за-
дач дискретного анализа.
Основную идею, на которой построено изложение материала,
можно сформулировать так. Задачи дискретного анализа рассматри-
ваются в их комбинаторном аспекте, исследуется применение комби-
наторных методов их решения с привлечением мощных средств аб-
страктной алгебры.
Наиболее эффективным математическим аппаратом для реше-
ния самых разнообразных комбинаторных задач являются произво-
дящие функции и теория групп. Производящие функции позволяют
легко и красиво решать многие перечислительные комбинаторные за-
дачи. В данном учебном пособии основательно и максимально строго
излагается теория производящих функций, приводятся примеры их
применения к различным (от простых до весьма сложных) задачам
дискретного анализа. Знание теории и умение свободно обращаться с
производящими функциями также важно потому, что они играют ос-
новополагающую роль в решении перечислительных задач теории
графов.
Методы теории групп и производящие функции используются в
теории перечисления Пойа. Общая комбинаторная схема, построен-
ная в рамках этой теории, позволяет с помощью единообразных мето-
дов решать различные классы комбинаторных задач. Именно высокая
степень абстракции, позволяющая методам теории Пойа справляться
с широкими классами задач, предопределила еѐ важную роль в реше-
нии комбинаторных задач, в том числе и перечислительных задач на
графах.
Итак, основная цель данного учебного пособия заключается в
изложении методов решения комбинаторных задач дискретной мате-
матики, основанных на двух описанных алгебраических подходах. В

7
соответствии с этим принят строгий абстрактный стиль изложения.
Автор не упускал из виду, что главной целью фундаментального ма-
тематического образования является развитие у обучающихся спо-
собностей к абстрактному мышлению, которые необходимы и для ма-
тематика, и для программиста. Вместе с тем для лучшего понимания
материала приведены примеры, демонстрирующие применение изла-
гаемых методов.
Несколько слов о структуре учебного пособия. Материал состо-
ит из трех разделов. В первом даются основы дискретного анализа:
теория множеств, элементарная комбинаторика, теория производящих
функций. В интересах целостности изложения все определения, необ-
ходимые утверждения, которые должны быть известны из базового
курса, даются в тексте книги. Вместе с тем вводятся и новые понятия,
которые будут использоваться в последующих главах.
Второй раздел посвящен теории Пойа. Значительную еѐ долю
составляет изложение основ абстрактной алгебры, теории групп и
преобразований множества. В этой части в силу специфики материала
принят наивысший уровень абстракции. Поэтому она может быть
сложной для понимания с первого чтения, но, как уже отмечалось, без
умения оперировать абстрактными категориями не может быть насто-
ящего математического образования. Студенту рекомендуется в дета-
лях воспроизводить излагаемые выводы и доказательства, самостоя-
тельно восстанавливать пропущенные переходы в рассуждениях.
Третий раздел посвящен применению описанных в первых двух
разделах методов к решению перечислительных задач на графах.
Приведены решения наиболее интересных и типичных с точки зрения
применяемой техники таких задач.
В тексте принята тройная нумерация формул, теорем, лемм, ри-
сунков, например, формула . Первая цифра означает номер
раздела, вторая ― подраздела, последние цифры означают порядко-
вый номер формулы (или теоремы, леммы, рисунка) в данном подраз-
деле.

8
Знаком отмечены окончания доказательств теорем и лемм.
В конце книги приведѐн библиографический список. Поскольку
данная дисциплина относится к фундаментальным, основными ис-
точниками при еѐ изучении являются классические, проверенные
временем учебники и монографии. Этого принципа придерживался
автор при составлении списка. Для каждой книги приведено послед-
нее по времени еѐ издание. Вместе с тем в список включены вышед-
шие в последние годы специализированные учебники по дискретной
математике, предназначенные для специалистов (в том числе и буду-
щих) по информационным технологиям.

9
1. ОСНОВЫ ДИСКРЕТНОГО АНАЛИЗА
1.1. ОСНОВНЫЕ ФОРМУЛЫ И ЭЛЕМЕНТАРНЫЕ МЕТОДЫ
1.1.1. Множества
1.1.1.1. Множества. Способы задания множеств
В каждой области математики имеются свои основополагаю-
щие, неопределяемые понятия. Они не вводятся как точные определе-
ния, а понимаются интуитивно, на основе опыта восприятия физиче-
ской реальности, той или иной степени очевидности. Такими поняти-
ями являются точка, прямая, плоскость в геометрии, вероятность в
теории вероятностей, алгоритм, ложь, истина в математической логи-
ке. Через них математически строго определяются все остальные объ-
екты, понятия данной теории.
Основополагающим понятием теории множеств является мно-
жество. Оно понимается как совокупность объектов, рассматривае-
мая как единое целое. Эти объекты называются элементами множе-
ства. Они могут объединяться по какому-либо признаку, но не обяза-
тельно. В множество можно совершенно произвольно включать эле-
менты разной природы. Такая концепция множества, предложенная
немецким математиком Георгом Кантором, лежит в основе так назы-
ваемой «наивной», или канторовской теории множеств. Она оказалась
вполне приемлемой для построения алгебры множеств, описывающей
действия над множествами на самом низком уровне абстракции. Но
впоследствии оказалось, что такое совершенно произвольное толко-
вание множества приводит к парадоксам (антиномиям), открытие ко-
торых на рубеже XIX-XX вв. вызвало необходимость пересмотра кан-
торовской теории на основе более строгой формализации понятия
множества. Таким образом, начали создаваться различные аксиома-
тические теории множеств, назначение которых заключалось в пре-
одолении кризиса в основаниях математики, вызванного открытием
антиномий (Цермело-Френкеля, Неймана, Бернайса, Гѐделя, Рассела,

10
Куайна, Ван Хао). Надо отметить, что этот кризис ещѐ не преодолѐн.
В основаниях математики существуют различные конкурирующие
теории множеств, и к единому мнению об истинной непротиворечи-
вой системе математики так и не пришли. Но это тема отдельной кни-
ги. В данном пособии мы ограничимся изложением канторовской
теории множеств.
Итак, будем обозначать множества прописными латинскими
буквами (с индексами или без них): , , , … , , , … , элементы
множеств ― строчными латинскими буквами: , , , … , , , … .
Если является элементом множества ( принадлежит ), то пишут
(знак принадлежности ― видоизменѐнная первая буква гре-
ческого слова «εδτι» ― «быть»). В противном случае пишут .
Множества и называются равными, если они состоят из од-
них и тех же элементов (записывается ). Если множества ,
не равны, то применяется запись . Множество называется
подмножеством множества ( включено в , содержит ), если
любой элемент A является одновременно и элементом B). Записыва-
ется это так: (или ). Очевидно следующее утверждение.
Лемма 1.1.1
Множества и равны тогда и только тогда, когда и
.
Пустым называется множество, не содержащее элементов, обо-
значается оно знаком . Из определения равных множеств следует,
что пустое множество единственно. Понятно, что для любого мно-
жества само и являются его подмножествами. Они называются
несобственными подмножествами . Все остальные подмножества
(т. е. отличные от и ) называются собственными. Если ― соб-
ственное подмножество множества , то применяется запись .
Противоположным пустому является универсальное множество
(универсум). Определим его как множество , включающее все
остальные множества как подмножества. Такое определение вполне
приемлемо в рамках канторовской теории. Но при повышении уров-

11
ней абстракции (переходе к семействам множеств, построении теории
кардинальных чисел множеств) понятие универсума может порож-
дать парадоксы.
Булеаном множества называется семейство всех подмножеств
. Обозначается булеан . Такая запись связана с тем, что в случае
конечного множества , состоящего из элементов (пункт 1.1.1.4),
булеан содержит множеств (пункт 1.1.2.5).
Приведѐм основные способы задания множеств. Во-первых,
множество можно задавать перечислением его элементов. Например,
для множества , состоящего из элементов , , … , , применя-
ется запись { } (фигурные скобки впредь будут обо-
значать неупорядоченную совокупность). Порядок следования эле-
ментов не имеет значения, обычно буквы и слова располагаются в
лексикографическом порядке например, { }, {
}, числа ― в порядке возрастания ({ }).
Другой способ задания множеств состоит в описании свойств,
однозначно определяющих принадлежность ему элемента. В таком
случае применяется следующая запись: { }, где ―
свойство, которым должен обладать элемент . Читается она так:
множество есть совокупность всех , для которых выполняется
свойство . Например, множество целых степеней можно опре-
делить следующим образом:
{ }.
Одним из видов этого способа является рекурсивное задание
множества. Элементы располагаются в некотором порядке, и каждый
последующий определяется через один или несколько предыдущих.
Понятно, что при этом надо задать один или, соответственно, не-
сколько начальных элементов. Например, множество целых неотри-
цательных степеней рекурсивно задаѐтся так:
{ };
множество чисел Фибоначчи:
{ }

12
( ― множество натуральных чисел); множество целых неотрица-
тельных чисел, кратных :
{ }.
Третий способ задания множеств ― с помощью операций над
другими множествами ― рассматривается в следующем пункте.
1.1.1.2. Операции над множествами
Операции позволяют получать новые множества из одного или
нескольких исходных. Перечислим основные операции над множе-
ствами.
Объединением множеств , называется множество, состоя-
щее из тех и только тех элементов, которые принадлежат хотя бы од-
ному из или . Обозначается , т. е.
{ }
(другое, менее распространѐнное, обозначение ― ). Естествен-
ным образом эта операция обобщается на любое конечное число
множеств:

{ принадлежит хотя бы одному из }.


Запись этого выражения без скобок означает выполнение операций
слева направо. Из законов ассоциативности и коммутативности объ-
единения (см. следующий параграф) следует, что при любой (кор-
ректной) расстановке скобок и при любом порядке множеств в ре-
зультате получается одно и то же множество. Поэтому объединение
нескольких множеств можно записывать без скобок.
Примеры: если { }, { }, то
{ };
если { }, { }, то
{ } ,
― множество целых чисел.
Пересечением множеств и называется множество, состоя-
щее из тех и только тех элементов, которые принадлежат и , и од-

13
новременно. Обозначается пересечение , т. е.
{ }
(другое обозначение ― ). Пересечением конечного числа мно-
жеств , , , называется множество, состоящее из тех и только
тех элементов, которые принадлежат одновременно каждому из этих
множеств. Обозначается . Таким образом,
{ }.
Примеры: пусть { }, { },
тогда { }; пусть { } {
}, { }, тогда
{ }.
Как и объединение, пересечение коммутативно и ассоциативно,
поэтому его можно записывать без скобок, и операции в таком выра-
жении выполняются слева направо.
Следующая операция ― вычитание (нахождение разности).
Разностью множеств и называется множество тех и только тех
элементов , которые не принадлежат . Обозначение: (другое
встречающееся в литературе обозначение ). Очевидно, что раз-
ность в общем случае некоммутативна: .
Примеры: если { }, {
}, то { }, { }; если , то
.
Дополнением (отрицанием) множества называется множество
тех и только тех элементов, которые не принадлежат (другое обо-
значение ), т. е. { } или . Из определений раз-
ности и дополнения следует очевидное равенство

Наконец, введѐм последнюю операцию. Симметрической разно-


стью множеств и называется множество, состоящее из тех и
только тех элементов, которые принадлежат либо , либо , но не
обоим множествам вместе. Обозначается (другие обозначения
, , ): { }. Из
14
этого определения следуют очевидные равенства
.
Операция коммутативна и ассоциативна, поэтому в выражении
скобки не ставят, порядок выполнения операций ―
слева направо.
1.1.1.3. Алгебра множеств
Множества и введѐнные операции над ними образуют алгебру
множеств (подробнее об абстрактных алгебрах рассказывается в
пункте 2.1.1.1). Назовѐм формулой этой алгебры выражение, постро-
енное по следующим правилам:
1) любая буква, обозначающая множество, является формулой;
2) если выражения и ― формулы, то формулами также бу-
дут , , , , ;
3) формулами являются те и только те выражения, которые по-
лучаются по правилам 1 и 2.
Подформулой называется любая часть формулы, сама являюща-
яся формулой. Например, (( ) (( ) )) ― формула,

,( ), ( ), (( ) ) ― еѐ подформулы.
Полученные таким образом формулы будут содержать большое
количество скобок. Для того чтобы избавляться от некоторых из них,
вводится приоритет операций, и устанавливаются правила удаления
лишних скобок. Пусть операции расставлены по возрастанию прио-
ритета в таком порядке: симметрическая разность, разность, объеди-
нение, пересечение, дополнение. Тогда можно удалять скобки по сле-
дующим правилам:
1) внешние скобки всегда можно опускать;
2) если формула содержит вхождения знаков только одной из
операций , , , то в ней опускаются любые скобки, операции вы-
полняются слева направо, как описано в предыдущем пункте 1.1.1.2;
3) внешние скобки в подформуле вида ( ), где ― некоторая

15
подформула, можно опускать;
4) можно опускать те пары скобок, без которых возможно вос-
становление исходной формулы на основе следующего правила. Каж-
дое вхождение знака связывает наименьшие окружающие его под-
формулы. После расстановки скобок, относящихся к , каждое вхож-
дение знака относится к наименьшим подформулам справа и слева
от него. Подобным образом расставляются скобки, относящиеся к
операциям и . При применении этого правила к одному и тому же
знаку движение в формуле происходит слева направо.
Например, в формуле можно удалить все скобки:

; формулу ((( ( )) ) ) можно удалением

лишних скобок привести к виду ; в формулах


, , ( ) ( ) дальней-
шее опускание скобок невозможно.
При соблюдении этих правил и договорѐнностей каждая форму-
ла определяет единственное множество. Запись означает, что
формулы , определяют равные множества. Далее приведены ос-
новные законы и некоторые полезные равенства алгебры множеств.
I. Законы коммутативности:
1. (коммутативность объединения);
2. (коммутативность пересечения);
3. (коммутативность симметрической разно-
сти).
II. Законы ассоциативности:
1. (ассоциативность объединения);
2. (ассоциативность пересечения);
3. (ассоциативность симметриче-
ской разности).
III. Законы дистрибутивности:
1. (дистрибутивность пересече-

16
ния относительно объединения);
2. (дистрибутивность объеди-
нения относительно пересечения);
3. (дистрибутивность объедине-
ния относительно разности справа);
4. (дистрибутивность пересече-
ния относительно разности слева);
5. (дистрибутивность пересече-
ния относительно симметрической разности).
IV. Законы идемпотентности:
1. (идемпотентность объединения);
2. (идемпотентность пересечения).
V. Закон исключѐнного третьего: .
VI. Закон противоречия: .
VII. Закон двойного отрицания: .
VIII. Законы двойственности да Моргана:
1. ;
2. .
IX. Правила поглощения:
1. ;
2. .
X. Правила склеивания:
1. ;
2. ( ) .
XI. .
Равенства (эквивалентности формул) I, II.1, II.2, IV  VII сле-
дуют из определений соответствующих операций. Остальные требу-
ют доказательств. Основные законы доказываются путѐм логических
рассуждений. Некоторые законы и равенства можно также доказывать
методом алгебраических преобразований, применяя ранее доказанные
законы.
17
Докажем, например, равенство XI. Согласно лемме 1.1.1 оно эк-
вивалентно двум включениям: и
. Докажем первое из них. Пусть ― произвольный элемент
множества . Тогда возможны два варианта: или
. В первом случае по определению объединения,
во втором — и , а значит, . Итак, произвольный
элемент множества является также элементом , сле-
довательно, по определению подмножества . Дока-
жем теперь второе включение. Пусть ― произвольный элемент
множества . Это означает, что либо , либо . В первом
случае по определению объединения. Во втором нужно
рассмотреть два возможных варианта: и (других не может
быть по закону исключѐнного третьего). Если , то ,
если же , то , следовательно, . Включе-
ние доказано. Из леммы 1.1.1 следует равенство
.
Ниже даны примеры алгебраических доказательств. Дистрибу-
тивность пересечения относительно разности слева, III.4:

( ) ( )

(здесь применена формула удаления разности). Правило скле-


ивания X.2:
( )
(применены законы III.2 и VI).

1.1.1.4. Разбиение множеств. Правило суммы


Семейство множеств { } называется покрытием
множества , если . Важным видом покрытий
являются разбиения. Покрытие { } называется разбиением

18
множества , если все не пусты и попарно не пересекаются, т. е.
, , , . Множества , , , называются
блоками разбиения. В силу коммутативности объединения разбиение
неупорядоченно, т. е. любая перестановка блоков даѐт то же разбие-
ние. В некоторых случаях удобно рассматривать разбиения с фикси-
рованным порядком следования блоков. Такие разбиения будем назы-
вать поблочно упорядоченными.
Множество называется конечным, если оно содержит конеч-
ное число элементов. Это значит, что элементы отделены друг от
друга (дискретны) и их количество выражается конечным натураль-
ным числом. Это число называется мощностью множества и обо-
значается . Пустое множество также считается конечным и =0.
Множество, содержащее элементов, будем называть -множест-
вом.
Правило суммы — одно из фундаментальных правил комбина-
торики. Оно утверждает, что для любого разбиения конечного множе-
ства с блоками , , , имеет место равенство
.
Доказательство
Докажем правило методом полной математической индукции по
числу блоков . При (база индукции) оно очевидно. Предполо-
жение индукции: пусть оно верно для любого разбиения с блоками.
Построим произвольное разбиение с блоками и докажем, что
для него (индукционный шаг).
Имеем
̃
где ̃ . По определению разбиения , , ,
не пересекаются с , поэтому ̃ . Следовательно, мно-
жество распадается на два непересекающихся множества ̃ и .
Очевидно, что они конечны, причѐм |̃ | . Множества
, , , составляют блоки разбиения ̃ , поэтому по предполо-

19
жению индукции | ̃ | . Тогда |̃ |
. Индукционный шаг дока-
зан.
Для покрытия множества с блоками , , , справедли-
во обобщѐнное правило суммы:

Доказательство
Докажем индукцией по . При (база индукции) правило
очевидно. Предположение индукции: пусть оно верно для любого по-
крытия с блоками. Построим покрытие с блоками. Тогда
множество , как и в доказательстве правила суммы, можно пред-
ставить в виде . Далее, ̃ , где ̃ , ̃
. По правилу суммы
|̃ |
По предположению индукции для любого покрытия с блоками вер-
но неравенство , а поскольку множества , , , образу-
ют покрытие ̃ , то
|̃ |
Далее, очевидно, что , ̃ , конечны и из ̃
следует

Из равенства и неравенств , следует |̃ |


.
1.1.1.5. Сочетания без повторений
Пусть имеется -множество . Сочетанием без повторений из
элементов по называется любое -подмножество (
). Таким образом, сочетание — неупорядоченная совокупность
различных элементов, выбранных из данных также различных эле-
ментов. Число называется объѐмом сочетания. Количество всех
различных сочетаний из по обозначается (в литературе, осо-

20
бенно зарубежной, используется также обозначение ( )).
C помощью правила суммы выведем рекуррентное соотношение
для чисел , связывающее с его значениями при меньших пара-
метрах и . Разобьѐм множество всех сочетаний объѐма из
элементов данного -множества ( на два подмножества:
— множество сочетаний, содержащих фиксированный элемент
; — множество сочетаний, каждое из которых не содержит .
Таким образом, все рассматриваемые сочетания разбиты на два непе-
ресекающихся множества и , т. е. { } — разбиение . Каж-
дое сочетание из совокупности получается добавлением элемента
к некоторому сочетанию объѐма , выбранному из -
множества { }. Поэтому . Сочетания в являют-
ся -подмножествами -множества , следовательно, верно
равенство . По правилу суммы получаем рекуррентное со-
отношение для :

где , , , , . В элементарной комбинаторике равен-


ство известно как формула Паскаля. Начальные значения для
этого соотношения: при всех ( — множество неот-
рицательных целых чисел), при ; , .
Используя рекуррентное соотношение , можно методом
математической индукции доказать формулу для вычисления :

Проведѐм индукцию по . При (база индукции) формула оче-


видна: согласно начальному условию, далее,

согласно и начальному условию. Предположение индукции:


формула верна при для всех целых неотрицательных . Тогда,
подставляя , в , получаем :

21
что и доказывает индукционный шаг.
Числа обладают свойством симметрии: . Оно
следует из того, что каждому -сочетанию элементов -множест-
ва соответствует одно и только одно -сочетание — допол-
нение этого сочетания до .

1.1.2. Векторы
1.1.2.1. Декартово произведение
Вектором (кортежем) длины (размерности) над множеством
называется упорядоченная совокупность элементов . Обозначе-
ние вектора: 〈 〉 (угловые скобки будут всегда ограничи-
вать упорядоченную последовательность). Упорядоченность означает,
что два вектора 〈 〉 и 〈 〉 равны тогда и только
тогда, когда для всех , , , . Элементы вектора назы-
ваются его координатами.
Понятие вектора позволяет ввести следующую важную опера-
цию над множествами. Декартовым (прямым) произведением мно-
жеств , , , называется множество всех векторов вида ⟨
⟩, где , , , . Обозначение декартова произ-
ведения: , т. е.
{ 〈 〉 }.
Если , то декартово произведение
называется декартовой (прямой) степенью множества
.
Примеры: если { }, { }, то
{〈 〉〈 〉〈 〉〈 〉〈 〉〈 〉〈 〉〈 〉〈 〉
〈 〉〈 〉〈 〉};
{〈 〉 〈 〉 〈 〉 〈 〉 〈 〉 〈 〉 〈 〉 〈 〉 〈 〉};

22
{〈 〉〈 〉〈 〉〈 〉〈 〉〈 〉 };
пусть [ ] — отрезок числовой оси от до , [ ], тогда
{ 〈 〉 }—
замкнутая область, ограниченная прямоугольником с вершинами
, , , ;
{ 〈 〉 } —
замкнутая область, ограниченная прямоугольником с вершинами
, , , ;
{ 〈 〉 } —
замкнутая область, ограниченная единичным квадратом;
{ 〈 〉 }—
замкнутая пространственная область, ограниченная поверхностью
единичного куба; если { }, { }, { }, то

{〈〈 〉 〉 〈〈 〉 〉 〈〈 〉 〉 〈〈 〉 〉 〈〈 〉 〉 〈〈 〉 〉 },

{〈 〈 〉〉 〈 〈 〉〉 〈 〈 〉〉 〈 〈 〉〉 〈 〈 〉〉 〈 〈 〉〉 }.
Приведѐнные примеры показывают, что в общем случае декар-
тово произведение некоммутативно и неассоциативно. Введение сим-
вола новой операции требует переформулировки определения фор-
мулы алгебры множеств с назначением приоритета декартову произ-
ведению. Но если во избежание неопределѐнностей декартово произ-
ведение всегда заключать в скобки, то можно обойтись без строгого
определения формулы с этой операцией и формулировки правил
опускания лишних скобок.
Перечислим основные свойства декартова произведения:
I. 1) ;
2)
(дистрибутивность декартова произведения относительно объедине-
ния справа и слева);
II. 1) ;
2)
23
(дистрибутивность декартова произведения относительно пересече-
ния справа и слева);
III. 1) ;
2)
(дистрибутивность декартова произведения относительно разности
справа и слева).
Свойства I, II естественным образом обобщаются на любые ко-
нечные объединения и пересечения множеств.
Докажем, например, свойство III. 1). Пусть . Это
означает, что есть пара 〈 〉, где , . Отсюда следует,
что , . Первое условие влечѐт принадлежность 〈 〉
, из второго вытекает то, что 〈 〉 . Поэтому
, что доказывает .
Докажем обратное включение. Пусть . Зна-
чит, , . Из первого условия следует, что 〈 〉,
где , , из второго следует то, что не может принадлежать
, так как . Следовательно, , а значит, 〈 〉
, .
Из обоих доказанных включений следует равенство III. 1).
В качестве упражнения рекомендуется провести доказательства
всех остальных свойств.
1.1.2.2. Правило произведения. Размещения
Правило произведения, несмотря на свою простоту и очевид-
ность, играет исключительно важную роль в решении перечислитель-
ных задач комбинаторного анализа. Оно утверждает, что для любых
конечных множеств , , , имеет место равенство

Доказательство
Доказательство проведѐм индукцией по . При равенство
очевидно. Пусть оно справедливо для декартова произведения любых
конечных множеств, т. е. верно равенство . Составим прямое

24
произведение произвольных множеств
. Надо доказать, что

Для этого сначала убедимся в том, что правило справедливо для двух
множеств и . Действительно, каждый элемент порождает
ровно пар в . Поэтому все элементов дают пар
декартова произведения. Далее, очевидно, что каждому вектору вида
〈 〉 соответствует одна и только
одна пара 〈〈 〉 〉 , где
, , , , . Следовательно,
,
а по доказанному правилу произведения для двух множеств получаем

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

25
{

То, что при , , очевидно. Для доказательства


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

Формула доказана.
При размещение без повторений называется перестанов-
кой (без повторений) различных элементов. Перестановка, таким
образом, есть расположение этих элементов в ряд. Число различных
-перестановок обозначается , и из доказанной формулы следует
.
Заметим, что каждому -сочетанию из элементов соответ-
ствуют ровно различных -векторов с несовпадающими коор-
динатами из этого -сочетания. Так как число таких -векторов
, то отсюда следует формула, связывающая числа сочетаний и
размещений:

1.1.2.3. Мультимножества. Сочетания и перестановки


с повторениями
Пусть имеются -множество { } и -вектор
〈 〉 с неотрицательными целочисленными координата-

26
ми , , , , причѐм . Неупорядочен-
ная совокупность элементов множества , в которой встречается
раз ( , … , ), называется -мультимножеством первичной
спецификации , порождѐнным множеством . В эле-
ментарной комбинаторике мультимножества называются сочетания-
ми с повторениями. Таким образом, -сочетание с повторениями
представляет собой неупорядоченную совокупность элементов,
выбранных из данного множества , возможно, с повторениями. Чис-
ло называется объѐмом сочетания. Мультимножество ̂ можно за-
писать таким образом:

̂ {⏟ ⏟ ⏟ }.

Можно применять и такую запись: ̂ { }.


Числа называются показателями первичной спецификации -
мультимножества ̂ .
Если среди чисел , , , имеются нулей, единиц, ,
значений , то символическая запись называется
вторичной спецификацией -мультимножества ̂ , а числа ,
, , — еѐ показателями, .
Максимальное подмножество множества , содержащее эле-
менты соответствующего мультимножества ̂ , т. е. объединение всех
подмножеств различных элементов ̂ , называется носителем этого
мультимножества. Очевидно, что носитель представляет собой мно-
жество таких элементов , для которых соответствующие показа-
тели первичной спецификации положительны.
Пример: пусть { }, 〈 〉, то-
гда ̂ { } или ̂ { ,
}; объѐм этого мультимножества равен
, вторичная спецификация: ,
; носителем является множество { ,
}.

27
Количество всех -сочетаний с повторениями из элементов
обозначается . Решим задачу вычисления . Без ограничения
общности можно рассмотреть -множество { }. Если
использовать порядок записи чисел по неубыванию, то любое -
мультимножество, порождѐнное множеством , можно представить в
виде ̂ 〈 〉, где . Каждому та-
кому ̂ можно поставить в соответствие множество { }, где

}
Очевидно, что все различны и принимают значения от до
, следовательно, { } представляет собой -под-
множество -множества { }. Наоборот, по
любому бесповторному сочетанию { } чисел от до
можно по формулам восстановить единственный
вектор 〈 〉, определяющий -мультимножество. Следова-
тельно, число всех различных -мультимножеств, порождѐнных
{ }, равно количеству -подмножеств множества {
}, т. е. . Итак, получаем ответ: .
Теперь решим следующую комбинаторную задачу. Перестанов-
кой с повторениями называется -вектор 〈 〉, в котором
элемент встречается раз, — раз, , — раз, где
. Число называется объѐмом перестановки.
Количество всех различных -перестановок с повторениями при
указанных параметрах обозначается . Выведем фор-
мулу для этой величины. Если все элементы были бы разными, то
число перестановок равнялось бы . Но за счѐт перестановок одина-
ковых элементов некоторые векторы переходят друг в друга. Предпо-
ложим, что элементов одинаковы, а все остальные различны.
Например, элементы снабжены пометками , , ана-

28
логично для и так далее. Тогда все векторы разбиваются на классы,
в каждый из них включаются векторы, переходящие друг в друга пе-
рестановкой одинаковых элементов . В каждый класс входят
векторов, и он определяет единственную перестановку, в которой
элементов одинаковы, остальные различны. Следовательно, число та-
ких классов равно количеству различных не переходящих друг в дру-
га рассматриваемых перестановок. Чтобы получить это число, нужно
общее число -векторов с различными координатами поделить
на число перестановок в одном классе . Получаем, что с учѐтом то-
го, что среди элементов имеются одинаковых, число различных
перестановок равно . Если теперь предположить, что элементов
одинаковы (т. е. убрать с них пометки), то, рассуждая аналогично,
получим различных перестановок с одинаковыми элементами
, одинаковыми . Проведя это рассуждение для всех элемен-
тов, получим формулу

Если просуммировать при всех возможных по-


казателях первичной спецификации, то получится общее число -
векторов над -множеством { }, т. е. количество
-перестановок с повторениями из . Отсюда следует формула

1.1.2.4. Сюръективные мультимножества


Сюръективным называется -мультимножество, у которого
все показатели первичной спецификации положительны. Таким обра-
зом, носителем сюръективного мультимножества, порождѐнного -
множеством { }, является само . В таком мультим-
ножестве каждый элемент присутствует хотя бы в одном эк-
земпляре.
29
Пример: пусть { }, 〈 〉, тогда
̂ { }, или ̂ { ,
}; объѐм этого мультимножества равен
, вторичная спецификация: ,
.
Определим число ̂ различных сюръективных -мультимно-
жеств, носителями которых является данное -множество. Если
удалить из каждого сюръективного -мультимножества по одному
элементу , то получится -мультимножество про-
извольной первичной спецификации. Наоборот, из любого -
мультимножества можно добавлением по одному элементу
, , , получить единственное сюръективное -мультимно-
жество. Следовательно, ̂ равно числу -мультимножеств,
порождѐнных данным -множеством: ̂
Из свойства симметрии (см. пункт 1.1.1.5) следует оконча-
тельный ответ: ̂
1.1.2.5. Разбиения и композиции чисел
Разбиением натурального числа называется его представление
в виде неупорядоченной суммы натуральных чисел:

Неупорядоченность означает, что разбиения, различающиеся только


порядком слагаемых, считаются одинаковыми. Каждое такое разбие-
ние 〈 〉 можно рассматривать как -мультимножество
первичной спецификации , где — число слагаемых,
равных в разбиении , — общее количе-
ство слагаемых. Натуральные числа , , , , образующие разби-
ение, называются его частями, а — его характеристикой. Есте-
ственно, возникает задача подсчѐта числа разбиений при различных
условиях. Эта задача просто и эффективно решается с помощью про-
изводящих функций.
Представление натурального числа в виде упорядоченной

30
суммы натуральных чисел называется его композицией. Части и ха-
рактеристика композиции определяются так же, как и для разбиения.
Задача подсчѐта числа композиций также в общем виде решается ме-
тодом производящих функций. На данный момент можно сформули-
ровать следующие результаты. Число различных композиций харак-
теристики с ровно частями равно количеству сюръективных -
мультимножеств, порождѐнных -множеством { } (элемен-
ты этого -множества — номера слагаемых, и каждый номер при-
сутствует в -мультимножестве столько раз, чему равно соответ-
ствующее слагаемое), т. е. .
Для того чтобы подсчитать общее число композиций характери-
стики , нужно просуммировать по всем от до :
. Эта сумма равна числу всех подмножеств -
множества. Найдѐм это число. Пусть { }. Каждому
подмножеству поставим в соответствие двоичный вектор длины
, в котором , если принадлежит этому подмножеству и
в противном случае ( , , , ). Очевидно, что это со-
ответствие взаимно однозначно: каждому подмножеству соответ-
ствует единственный описанный вектор и наоборот. Значит, число
различных подмножеств совпадает с количеством двоичных векторов
длины , которое по правилу произведения равно . Итак, су-
ществуют различных композиций характеристики .
Например, выпишем все композиции числа :

, , , ,
, ,
, ,
, , ,
, , ,
.
Всего композиций.

31
1.1.3. Отношения
1.1.3.1. Бинарные отношения
Пусть имеются некоторые множества , , , . Рассматри-
вается декартово произведение :
{ 〈 〉 }.
Произвольное подмножество называется
n-местным отношением, заданным на множествах , , , ,
число ― арностью отношения. Таким образом, если все -векто-
ры 〈 〉, у которых , , , , , составляют декар-
тово произведение , то некоторые, возможно, не все
из них, образуют n-местное отношение . Говорят, что упорядочен-
ная совокупность элементов 〈 〉 находится в отношении ,
если вектор 〈 〉 принадлежит . Одноместные отношения,
называемые унарными, представляют собой подмножества множества
. Отношения арности называются тернарными. Примерами тер-
нарных отношений являются арифметические операции над числами.
Сложение определяется как множество упорядоченных троек 〈 〉,
в которых элемент является суммой и . Аналогично задаются как
тернарные отношения операции умножения, вычитания, деления.
В дальнейшем в этом подразделе будут рассматриваться только
бинарные отношения ― отношения арности . Если на множествах ,
задано бинарное отношение , то записи и〈 〉 считают-
ся эквивалентными, и обе они означают, что элементы и находят-
ся в отношении .
Простейшими примерами бинарных отношений являются отно-
шения сравнения чисел , , , на множестве :
{〈 〉 },
тогда 〈 〉 , или , а 〈 〉 , или неверно, что ;
аналогично определяются другие отношения сравнения:
{〈 〉 };
{〈 〉 };

32
{〈 〉 }.
Другим примером бинарного отношения является отношение
включения на булеане произвольного множества :
{〈 〉 }.
Если { }, то пары подмножеств 〈{ } { }〉, ⟨{ }
{ }⟩ принадлежат этому отношению ({ } { }, { }
{ }), а пара 〈{ } { }〉 не принадлежит.
Областью определения бинарного отношения называется
множество таких элементов , что при некотором :
{ }.
Областью значений бинарного отношения называется множе-
ство элементов , для которых при некотором :
{ }.
Можно говорить, что каждому элементу из области определения
ставит в соответствие элемент (или элементы) из области значений.
Поэтому говорят, что бинарное отношение переводит область опре-
делений в область значений.
С каждым бинарным отношением связаны следующие бинар-
ные отношения. Обратным к бинарному отношению называется
{〈 〉 }. Дополнением бинарного отношения называется
.
Пример: у бинарного отношения на множестве целых чисел
область определения и область значений совпадают и равны , обрат-
ным к нему является , дополнение ; у бинарного отно-
шения на множестве натуральных чисел , { },
, .
Образом множества при бинарном отношении называ-
ется множество { }.
Прообразом множества при называется множество
, т. е.
{ }
{ }.

33
Например, образом одноэлементного множества { } при отно-
шении на множестве натуральных чисел является { } {
}, прообразом ― множество { } { }.
Композицией бинарных отношений ,
называется бинарное отношение
{〈 〉| }.
Например, для отношений сравнения на множестве :
,
{〈 〉 } ;
{〈 〉 } ,
{〈 〉 } ;
если же отношения , заданы на множестве натуральных чисел, то
, { } .
Последний пример показывает, что в общем случае композиция
некоммутативна: .
Свойства бинарных отношений:
I. ;
. 1) ;
2) ;
III. ;
IV. , где , ,
;
V. , где , ;
VI. , где , , ;
VII. 1) , где , ;
2) , где , S, ;
VIII. 1) , где , ;
2) , где , S, .
IX. 1) ;
2) .
Докажем для примера свойство V. Доказательство
. Пусть . Тогда 〈 〉 и верно, что
34
. Из этого следует , а значит, при некотором
выполняются отношения и , т. е. и .
По определению композиции получаем, что и
〈 〉 . Включение доказано.
Доказательство . Пусть . Это
значит, что 〈 〉 и при некотором
(свойство IX) , . Переходя к исходным соотношениям,
получаем отношения и . Итак, при некотором
верны отношения , . По определению композиции ,
следовательно, и 〈 〉 . Обратное вклю-
чение, а значит, и равенство V доказано.
1.1.3.2. Функции
Бинарное отношение называется функцией из в ,
если , и для всех , , из , сле-
дует . Функцию из в будем обозначать . Вместо
или 〈 〉 будем писать , элемент называется аргу-
ментом, ― значением функции. Сужением функции на
множество называется функция
{〈 〉 }.
Образ подмножества при функции будем обозначать
:
{ }.
Найдѐм число различных функций из -множества в -
множество . Каждой такой функции взаимно однозначным образом
соответствует -вектор 〈 〉 над множеством
( { }), т. е. элемент декартовой степени . Тогда по
правилу произведения получаем, что число всех функций
равно . Совокупность функций по этой причине обозна-
чается (в том числе и для произвольных, не только конечных
множеств и ). Функцию , где { } ― конеч-
ное -множество, можно записать в виде матрицы с двумя строка-

35
ми:
( ).
Например, если , то функция изображается матрицей
( ),
где ( ), , , , .
Функция называется инъекцией ( )-функцией) в , если
для всех , из условия следует . Функ-
ция называется сюръекцией на , если . Функция ,
являющаяся инъекцией и сюръекцией, называется взаимно однознач-
ным соответствием (биекцией) между множествами , . Установ-
ление взаимно однозначного соответствия играет важную роль в тео-
рии множеств и комбинаторном анализе. На этом основано установ-
ление конечности, счѐтности или бессчѐтности множеств, решение
комбинаторных задач сведением к эквивалентным задачам, имеющим
более простое решение. Взаимно однозначное соответствие
называется подстановкой множества .
Ниже следуют основные свойства функций:
I. , где , ;
II. , где ;
III. , где ;
IV. , где ;
V. , где ;
VI. , где .
Свойства I–II, IV–V естественно обобщаются на любое конеч-
ное число множеств.
Докажем, к примеру, свойство II. Пусть . Это озна-
чает, что при некотором . Поскольку , то
, а так как вместе с тем , то , по-
этому .
Заметим, что включения в свойствах II и III нельзя заменить ра-
36
венствами.
Пример: функция , ( — множество действи-
тельных чисел), [ , [ ], [ ], { },
[ , [ ], при этих данных
{ } { } { } [ ],
([ ) ].
Докажем также одно свойство для обратных функций, напри-
мер, VI. Пусть , из этого следует, что ,
, . Из первого условия вытекает , из второго —
. Значит, , что доказывает включение
. Обратно, пусть . То-
гда , , принадлежит множеству , но
не является элементом . Следовательно, , .
Включение , а вместе с ним и свойство VI
доказано.
Найдѐм число инъекций из -множества { }в
-множество . Каждой инъекции соответствует -вектор вида
〈 〉 над множеством с различными координа-
тами, т. е. размещение без повторений из элементов по . Тогда из
выведенной в пункте 1.1.2.2 формулы следует, что число различных
инъекций из в равно

Понятно, что единственной инъекцией при , т. е. когда


, является пустое множество. При элементов не хватит
для составления инъекции.
Найдѐм теперь число биекций из -множества на -мно-
жество . Очевидно, что для существования биекции между и
необходимо и достаточно выполнение условия (каждому эле-
менту должен соответствовать один и только один элемент ). По-
скольку биекция по определению является инъекцией, число взаимно

37
однозначных функций из -множества на -множество мож-
но вычислить по выведенной формуле : количество биекций
равно .
В частности, число подстановок -множества равно , т. е.
числу перестановок элементов этого множества.
В заключение этого пункта приведѐм некоторые утверждения
относительно функций.
Лемма 1.1.2
Если — функция из в , то бинарное отношение являет-
ся функцией из в тогда и только тогда, когда — инъекция.
Доказательство
Если является функцией из в , то для любых неравных
элементов , из условий , следует
, а это и означает инъективность . Обратно, пусть — инъ-
екция. Это значит, что из условий , ,
следует . А это и есть определение функции .
Следствие
Если функция является инъекцией, то
, ,
где , , т. е. включения в свойствах II, III превращаются в ра-
венства (см. замечание к свойствам функций).
Лемма 1.1.3
Функция является взаимно однозначным соответствием между
множествами и тогда и только тогда, когда также есть взаим-
но однозначное соответствие.
Доказательство
В силу свойства I бинарных отношений (пункт 1.1.3.1) доста-
точно доказать утверждение в одну сторону. Пусть — биекция
между и . Тогда , , из определений множеств ,
следует, что , . Поскольку по определению являет-
ся инъекцией, то — функция из на . Осталось доказать, что

38
— инъекция. Пусть , , . Тогда при
некоторых , верны равенства ,
, причѐм (так как — функция). Тогда
, , . А это значит, что — инъекция.

Следствие
Функция является подстановкой множества тогда и
только тогда, когда — также подстановка .
Лемма 1.1.4
Если — функция из в , а — функция из в , то
является функцией из в .
Доказательство
Пусть , , — элементы множества , удовлетворяющие
условиям , . Нужно доказать, что . Из
условия следует, что при некотором верны отно-
шения и , или равенства , . Аналогич-
но, при некотором верно, что , , или ,
. Поскольку — функция, то , а так как — функция
из и , то .
1.1.3.3. Бинарные отношения специального вида
В этом пункте будут рассматриваться бинарные отношения, за-
данные на множестве , т. е. подмножества . Пусть .
Бинарное отношение называется рефлексивным (иррефлексив-
ным), если для любого верно отношение (неверно, что
).
Бинарное отношение называется симметричным, если для лю-
бых , из следует , антисимметричным, если из того,
что и одновременно , следует .
Бинарное отношение называется транзитивным, если для лю-
бых , , из , следует . Рефлексивное, симметрич-
ное и транзитивное бинарное отношение называется эквивалентно-
39
стью.
Решим задачу вычисления количеств бинарных отношений не-
которых введѐнных видов в случае конечного -множества . Во-
первых, каждое бинарное отношение является подмножеством ,а
это декартово произведение содержит пар. Поэтому число всех би-
нарных отношений равно (решение задачи нахождения количе-
ства всех подмножеств конечного множества с заданным числом эле-
ментов см. в пукнте 1.1.2.5). Каждое рефлексивное бинарное отноше-
ние получается добавлением к множеству пар
{〈 〉〈 〉 〈 〉}
(всего пар) произвольного подмножества остальных пар.
Следовательно, число рефлексивных бинарных отношение равно
. Поскольку иррефлексивные бинарные отношения являются
подмножествами множества пар , не входящих в множество
, их число также равно .
Каждое симметричное бинарное отношение вместе с парой
〈 〉 должно содержать пару 〈 〉. Поэтому оно является подмноже-
ством множества неупорядоченных пар { }, в которых
элементы могут повторяться (включение в отношение пары 〈 〉 ав-
томатически означает включение 〈 〉, следовательно, порядок эле-
ментов в парах не имеет значения). Отсюда получаем, что количество

симметричных бинарных отношений равно . В качестве упраж-


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

отношений равно .
Лемма 1.1.5
Симметричное и антисимметричное одновременно бинарное от-
ношение является транзитивным.
Доказательство
Пусть симметрично и антисимметрично. Возьмѐм про-
извольную пару 〈 〉 из . Так как симметрично, то 〈 〉

40
( ), и в силу антисимметричности из этого следует, что .
Значит, все пары в имеют вид 〈 〉. Очевидно, что такое бинарное
отношение транзитивно.
Замечание
Обратное утверждение неверно, например, бинарное отношение
на множестве действительных чисел (см. пункт 1.1.3.1) транзитив-
но, но не симметрично.
Лемма 1.1.6
Для любых симметричных бинарных отношений , компози-
ция симметрична тогда и только тогда, когда .
Доказательство
Симметричность бинарного отношения , по определению, эк-
вивалентна условию . Поэтому симметричность композиции
эквивалентна выполнению равенства

(здесь применено свойство V бинарных отношений (см. пункт


1.1.3.1)). А поскольку и симметричны, последнее равенство экви-
валентно .
Лемма 1.1.7
Бинарное отношение транзитивно тогда и только тогда, когда
.
Доказательство
Докажем необходимость. Пусть транзитивно и , т. е.
〈 〉 . Тогда при некотором верно, что , , и в си-
лу транзитивности справедливо , что и доказывает включение
. Теперь докажем, что из условия следует транзи-
тивность . Возьмѐм такие произвольные , , из , что и
(если такой тройки не существует, то очевидно транзитивно, по-
скольку условие всегда выполняется, — знак ло-
гического умножения (конъюнкции)). Это значит, что , т. е.
〈 〉 . Тогда, в силу справедливо 〈 〉 , т. е.
, следовательно, транзитивно.

41
Лемма 1.1.8
Если , ― эквивалентности, то является эквивалентно-
стью тогда и только тогда, когда .
Доказательство
Необходимость следует из леммы 1.1.6. Докажем достаточность.
Пусть , — эквивалентности, для которых верно равенство
. Докажем, что — эквивалентность. Используя свойства
бинарных отношений, преобразуем следующую композицию:

.
Так как , транзитивны, из леммы 1.1.7 следует, что ,
, поэтому (здесь
мы воспользовались утверждением: если , , ,
— бинарные отношения и , , то ; до-
казательство проведите самостоятельно). Из последнего включения в
силе леммы 1.1.7 получаем, что транзитивно.
Лемма 1.1.9
Бинарное отношение является эквивалентностью тогда и
только тогда, когда ― также эквивалентность.
Доказательство
Из свойства I бинарных отношений (пункт 1.1.3.1) следует, что
достаточно доказать утверждение в одну сторону. Пусть —
эквивалентность. Тогда . Так как рефлексивно, то для лю-
бого верно, что , значит, , т. е. также рефлек-
сивно. Так как симметрично, из следует для любых ,
, а это означает, что влечѐт , т. е. также сим-
метрично. Наконец, пусть и для любых , , , что
равносильно , . В силу транзитивности отсюда следует, что
верно отношение , т. е. . Следовательно, транзитивно,
стало быть, является эквивалентностью.
Пусть на множестве задана эквивалентность . Классом экви-
валентности элемента по называется множество всех эле-

42
ментов , находящихся в отношении . Обозначается класс эквива-
лентности , т. е. ⁄ { }. Множество классов эквива-
лентности элементов по называется фактор-множеством :
⁄ { }. Сформулируем и докажем следующую важную
теорему о фактор-множестве.
Теорема 1.1.1
Фактор-множество ⁄ { } является разбиением
множества , т. е. классы эквивалентности попарно не пересека-
ются, и их объединение равно .
Доказательство
Нужно доказать, что любые два класса эквивалентности либо
совпадают, либо не пересекаются, и что любой элемент попада-
ет в какой-либо класс.
Так как рефлексивно, то для любого верно , поэтому
(любой элемент принадлежит своему классу эквивалентно-
сти).
Пусть теперь , , . Докажем, что ⁄ . Пусть
, тогда , и из этого условия с учѐтом и транзитивно-
сти следует . Значит, , что доказывает включение
⁄ . Аналогично доказывается ⁄ . Следовательно,
в случае классы ⁄ и совпадают. Пусть теперь 〈 〉 .
Докажем, что ⁄ , не пересекаются. Предположим противное:
⁄ . Тогда существует ⁄ . Из ⁄ сле-
дует, что , а из ⁄ ― , а поскольку симметрично, то
. В силу транзитивности из , получаем , что проти-
воречит условию 〈 〉 . Теорема полностью доказана.
Пример: пусть ― семейство всех существующих множеств
(вселенная множеств). На задано бинарное отношение : для лю-
бых множеств и пара 〈 〉 принадлежит тогда и только тогда,
когда между и существует биекция. Это отношение является
эквивалентностью, фактор-множество представляет собой се-
мейство классов множеств, в каждом классе между элементами лю-

43
бых двух множеств существует взаимно однозначное соответствие.
Такие множества называются равномощными, а классы эквивалентно-
сти ― мощностями множеств. Количественной характеристикой
мощностей являются кардинальные числа.
1.1.3.4. Отношения порядка
Пусть имеется произвольное множество . C помощью бинар-
ных отношений на можно вводить различные упорядочения эле-
ментов .
Бинарное отношение называется предпорядком (квази-
порядком) на , если оно рефлексивно и транзитивно. Рефлексивное,
транзитивное и антисимметричное бинарное отношение называется
частичным порядком. Частичный порядок обозначается (по анало-
гии с отношением на числовых множествах, являющимся частич-
ным порядком, см. примеры в пункте 1.1.3.1). Бинарное отношение
называется двойственным порядком к и обозначается .
Лемма 1.1.10
Порядок, двойственный к частичному, также является частич-
ным.
Доказательство
Пусть — частичный порядок, т. е. бинарное отношение ре-
флексивно, транзитивно и антисимметрично. В доказательстве леммы
1.1.9 было показано, что из рефлексивности и транзитивности сле-
дуют рефлексивность и транзитивность . Докажем антисим-
метричность . Пусть , . Это значит, что и . Из
антисимметричности следует .
Частичный порядок называется линейным, если для любых эле-
ментов , либо , либо . Множество с заданным на
нѐм частичным (линейным) порядком называется частично (линейно)
упорядоченным. Например, числовые множества линейно упорядоче-
ны отношениями сравнения чисел ( , ), а булеан произвольного
множества с введѐнным на нѐм отношением включения (см. пример

44
из пункта 1.1.3.1) частично упорядочен, но не является линейно упо-
рядоченным.
Элемент частично упорядоченного множества называется
максимальным (минимальным), если из ( ) следует .
Элемент называется наибольшим (наименьшим), если
( ) для всех .
Лемма 1.1.11
Частично упорядоченное множество имеет не более одного
наибольшего (наименьшего) элемента.
Доказательство
Докажем утверждение для наибольшего элемента. Пусть на
множестве задан частичный порядок . Предположим, что в су-
ществуют два наибольших элемента и . Тогда для любого элемента
из , . Так как и принадлежат , то это отношения
справедливы и для них: , . В силу антисимметричности
отсюда следует .
Доказательство единственности наименьшего элемента анало-
гично.
Соотношение между наибольшим (наименьшим) и максималь-
ным (минимальным) элементами проясняет следующее утверждение.
Лемма 1.1.12
Наибольший (наименьший) элемент частично упорядоченного
множества является единственным максимальным (минимальным).
Доказательство
Докажем утверждение для наибольшего элемента. Пусть
― наибольший элемент частично упорядоченного отношением
множества . Предположим, что существует такой элемент , что
. Так как ― наибольший элемент , то . А значит, в силу
симметричности отсюда следует . Следовательно, ― мак-
симальный элемент .
Предположим теперь, что кроме наибольшего элемента (един-
ственного, как следует из леммы 1.1.11), существует другой макси-

45
мальный элемент . Тогда в силу того, что ― наибольший
элемент, а так как ― максимальный элемент, то .
Замечание
Обратное утверждение в общем случае неверно, т. е. макси-
мальный или минимальный элемент может не быть наибольшим (со-
ответственно, наименьшим). Например, пусть множество тривиаль-
но упорядочено отношением равенства, т. е. тогда и только то-
гда, когда . В этом случае каждый элемент множества является
как максимальным, так и минимальным, но не наибольшим и не
наименьшим.
Следующая лемма даѐт условие эквивалентности понятий мак-
симального (минимального) и наибольшего (наименьшего) элемен-
тов.
Лемма 1.1.13
В линейно упорядоченном множестве элемент является
наибольшим (наименьшим) тогда и только тогда, когда он максима-
лен (минимален).
Доказательство
Пусть ― линейный порядок на . Докажем лемму для
наибольшего и максимального элементов. То, что наибольший эле-
мент является максимальным, следует из леммы 1.1.12 (причѐм для
этого достаточно частичного упорядочения).
Пусть ― максимальный элемент . Докажем, что он является
наибольшим. В силу линейности порядка для всех либо ,
либо . Во втором случае , так как ― максимальный эле-
мент. Следовательно, для всех верно отношение , т. е.
― наибольший элемент .
Верхней (нижней) гранью подмножества частично упорядо-
ченного множества называется такой элемент , что для любого
верно отношение ( ). Понятно, что у подмножества
может быть не одна верхняя или нижняя грань. Особое значение име-
ет наименьшая (наибольшая) из них. Точной верхней (точной нижней)

46
гранью подмножества множества называется наименьшая верх-
няя (наибольшая нижняя) грань . Точная верхняя и нижняя грани
множества обозначаются и , соответственно. Таким об-
разом, точная верхняя (точная нижняя) грань подмножества является
наименьшим (наибольшим) элементом множества верхних (нижних)
граней. Из леммы 1.1.12 следует, что точная верхняя (точная нижняя)
грань, в случае еѐ существования в множестве , единственна.
Примеры: если ― множество рациональных чисел из отрез-
ка [ ], упорядоченное отношением сравнения чисел , то ни
наибольшего, ни максимального, ни наименьшего, ни минимального
элементов в нет, , ; если взять
[ ], { | },
то ни минимального, ни наименьшего элементов в нет, ,
если же ], то в не существует.
Линейный порядок на множестве называется полным, если
каждое непустое подмножество множества имеет наименьший эле-
мент. Множество в этом случае — вполне упорядоченное. Примера-
ми таких множеств являются , , упорядоченные отношением
сравнения чисел, множества , (множество рациональных чисел) с
тем же упорядочением не являются вполне упорядоченными, так как
в них нет наименьших элементов.

1.2. МЕТОД ВКЛЮЧЕНИЙ И ИСКЛЮЧЕНИЙ


И ФОРМУЛЫ ОБРАЩЕНИЯ
1.2.1. Основная формула метода включений
и исключений и еѐ применение
1.2.1.1. Формула включений и исключений
Пусть имеется -множество, элементы которого могут обла-
дать или не обладать совместными свойствами , , , . Обозна-
чим через ( ) количество элементов, обладающих свой-
ствами , , , ( ) (остальными свойствами эти

47
элементы могут как обладать, так и не обладать), через
) — количество элементов со свойствами , , , , не
обладающих остальными свойствами ( ), при
( ) — число элементов, не обладающих ни одним из
свойств, при — количество элементов со всеми
свойствами. Тогда ( ) вычисляется по формуле включе-
ний и исключений:

( ) ∑ ∑ ( )

∑ ( )

∑ ( )

.
Докажем эту формулу методом полной математической индук-
ции по числу свойств . База индукции очевидна: ( )
. Предположение индукции: при справедлива формула

( ) ∑ ∑ ( )

∑ ( )

∑ ( )

.
Делаем индукционный шаг. Добавим к свойствам , , , свой-
ство и докажем формулу

( ) ∑ ∑ ( )

48
∑ ( )

∑ ( )

.
Рассмотрим множество элементов, обладающих свойством (их
). Согласно предположению индукции для этого множества
верна формула

( ) ∑

∑ ( ) ∑ ( )

∑ ( )

.
Теперь вычтем из индукционного предположения последнюю
формулу. Нетрудно убедиться в том, что справа получится правая
часть доказываемой формулы. А слева получится разность
( ) ( ) ( ),
что доказывает индукционный шаг.
В следующих пунктах приведены примеры применения форму-
лы включений и исключений для решения задач комбинаторного ана-
лиза.
1.2.1.2. Число элементов объединения множеств
Пусть имеются конечные множества , , , , известны
мощности всех этих множеств, а также мощности их всевозможных
пересечений. Найдѐм мощность объединения .
Введѐм для элементов следующую систему
свойств: свойство означает, что элемент принадлежит множеству
( ). Так как элементов , не обладающих

49
ни одним из свойств, нет, формула включений и исключений приме-
нительно к ним будет иметь вид

∑ ∑ | |

∑ | |

∑ | |

,
откуда следует формула

∑ ∑ | |

∑ | |

∑ | |

В частности, для двух множеств и выведенная формула


имеет вид
,
для трѐх множеств , , :

.
Заметим, что если при всех неравных , от до , то
формула даѐт правило суммы.
1.2.1.3. Беспорядочные перестановки
Пусть дан -вектор с различными координатами. Для просто-
ты изложения предположим, что он имеет вид 〈 〉. Назовѐм
беспорядочной перестановкой элементов этого вектора любой -

50
вектор из элементов , , , , в котором i-я координата не равна .
Очевидно, что каждой беспорядочной перестановке соответствует
подстановка -множества { }, для которой
, , , , . Например, для множества { } имеются
две беспорядочные перестановки:
( ), ( ).
Вычислим количество беспорядочных перестановок. Введѐм
для всех перестановок (как известно, их ) систему свойств: свой-
ство означает, что элемент находится на i-м месте в векторе (или
для подстановки выполняется условие )( , , , ). То-
гда число элементов, обладающих свойствами, равно
(выбираем способами элементов, которые будут стоять на своих
местах в перестановке (неподвижные элементы подстановки ),
остальные элементов можно переставлять произвольно
способами). Тогда искомое количество беспорядочных перестановок
равно ( ). По формуле включений и исключений получа-
ем
( )

( )

Количество -векторов из элементов , , , , в кото-


рых ровно элементов остаются на своих местах, или число подста-
новок -множества { }, имеющих ровно неподвижных
точек, можно найти с помощью выведенной формулы . Снача-
ла выбираем элементов, остающихся на своих местах, способа-
ми. К остальным элементам применяем формулу . Полу-
чаем ответ:

51
( )

( ) ∑

1.2.1.4. Неподвижные элементы преобразований


Рассмотрим множество всех функций , — конеч-
ное -множество. Такие функции также называют преобразования-
ми множества . По аналогии с подстановками (см. предыдущий
пункт) назовѐм неподвижной точкой преобразования элемент
, для которого . Обозначим через число преобразо-
ваний -множества, не содержащих неподвижных элементов. С по-
мощью формулы включений и исключений вычислим . Определим
для преобразований множества (их число равно ) свойства ,
, , : заключается в том, что элемент есть неподвижная
точка преобразования. Вычислим количество функций , обла-
дающих свойствами. Очевидно, что число преобразований, у кото-
рых фиксированные элементов , , , являются неподвиж-
ными точками, равно количеству функций из -множества
{ }, в , т. е. . Если учесть, что остающихся не-
подвижными элементов можно выбрать способами, то получим
преобразований, обладающих свойствами. Теперь по фор-
муле включений и исключений найдѐм число функций из в , не
обладающих ни одним из свойств , , , :
( )
.
Поскольку ( ), получаем ответ:

Если рассматривать только биективные преобразования, т. е.

52
подстановки множества , то ответ был получен в предыдущем пунк-
те: число подстановок -множеств , не имеющих неподвижных
элементов, равно

1.2.1.5. Число сюръективных отображений


Пусть имеются -множество и -множество . Обозна-
чим через число сюръекций из на . Такие функции назы-
вают также сюръективными отображениями на . Вычислим
с помощью формулы включений и исключений. Введѐм для
всех функций систему свойств следующим образом: свой-
ство означает, что элемент не входит в образ , т. е. не яв-
ляется значением функции ни при каком , , , . Число
отображений , обладающих свойствами, равно
(сначала выбираем способами элементов , , , из мно-
жества , не используемых в качестве значений функций, затем под-
считываем количество отображений из в -множество
{ }). Искомая величина есть число функций, не
обладающих ни одним из свойств , , , , поэтому с учѐтом то-
го, что общее число рассматриваемых отображений равно , по
формуле включений и исключений получаем

1.2.1.6. Функция Эйлера


Функция Эйлера для аргумента определяется
как количество целых неотрицательных чисел, не превосходящих и
взаимно простых с . Если использовать понятие вычета (пункт
2.1.1.5), то функция Эйлера равна количеству вычетов по модулю в

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

( )

( )

Значение функции есть по определению количество чисел от


до , не делящихся ни на одно из чисел , , , , т. е. .
По формуле включений и исключений получаем

∑ ∑ ∑

54
( ∑ ∑ )

( )( ) ( )

Выведенная формула позволяет достаточно просто вычислять


значение функции Эйлера. Из неѐ следует, что функция мультипли-
кативна: если числа и взаимно просты ( , —
наибольший общий делитель и ), то
.
Пусть — число элементов среди вычетов , , , ,
имеющих с наибольший общий делитель, равный , другими сло-
вами, количество чисел от до , для которых . То-
гда понятно, что . Все вычеты, учитываемые в ,
имеют вид , причѐм , поэтому ( ) ,
. Отсюда получаем

( ) ( )
Пусть , , , — все делители числа (не обязательно
простые или степени простых делителей), а , , , — такие
числа, что , , , . Тогда из равенства следует
( ) ( ) ( )

Из последнего равенства получаем, что

∑ ∑

а поскольку в последней сумме учитываются для всех делите-


лей , то очевидно, что

С учѐтом из последнего соотношения получаем формулу Гаус-


55
са:

где суммирование ведѐтся по всем делителям числа .


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

сумма весов всех элементов ;


∑ ( )

где ( ) — суммарный вес элементов, обладающих фик-


сированными свойствами , , , , , , , . Тогда

где , , , . Докажем эту формулу.


Действительно, веса элементов, обладающих ровно свойства-
ми, учитываются в сумме в правой части только один раз (в
величине ). Веса элементов с свойствами в каждой величине
, , учитываются раз. Поэтому суммарный вес элемен-
тов, обладающих ровно свойствами, равен
56

Используя равенство (оно известно из элементарной


комбинаторики, его легко доказать комбинаторными рассуждениями
и алгебраически, используя формулу числа сочетаний ), вычислим
эту величину:

∑ ∑ ∑

Поскольку , а стало быть, ,и при , то


сумма в последнем выражении равна

∑ ∑ ∑

Здесь применено известное свойство биномиальных коэффициентов

которое легко доказывается с помощью бинома Ньютона. Итак, сум-


марный вес элементов, обладающих ровно свойствами ( ), по-
лучился в правой части равным нулю, что и доказывает
.
Теперь докажем формулу для :

Очевидно, что можно выразить через :

∑ ∑∑ ∑

57
∑ ∑

Остаѐтся вычислить сумму

∑ ∑ ∑

Для этого рассмотрим тождество

Разложим и по формуле бинома Ньютона:

Выражение , как известно, есть сумма бесконечно убываю-


щей геометрической прогрессии:

Подставим все три разложения в тождество :

(∑ ) (∑ ) ∑

Если перемножить многочлен и ряд слева по правилу свѐртки, то ко-


эффициент при в произведении будет равен

∑ ∑

Этот же коэффициент в правой части тождества равен .


Отсюда получаем искомую сумму:

58

следовательно,

∑ ∑

∑ ∑ ∑ ∑

Формула доказана.
Соотношения и называются общими формулами
метода включений и исключений. Если положить весовую функцию
равной тождественной единице (веса всех элементов ― единицы), то
формула при превращается в формулу включений и ис-
ключений из пункта 1.2.1.1.
В следующем пункте будут выведены, в том числе с помощью
метода включений и исключений, соотношения между взаимосвязан-
ными комбинаторными величинами.

1.2.2. Формулы обращения


1.2.2.1. Формулы обращения с биномиальными коэффициентами
Сначала для знакомства с формулами обращения выведем тако-
вые для биномиальных коэффициентов без использования метода
включений и исключений.
Бесконечной последовательностью над множеством будем на-
зывать вектор бесконечной длины 〈 〉, координатами которого
являются элементы . Пусть элементы двух числовых последователь-
ностей 〈 〉и〈 〉 (нумерация индексов в интересах
задачи начинается с нуля) связаны соотношением

, , ; — число сочетаний без повторений, являющееся, как


59
известно, коэффициентом разложения бинома Ньютона.
Тогда числа выражаются через формулой

которая называется формулой обращения для , обратно,


— формула обращения для . Докажем справедливость
. Подстановка из в даѐт следующее соотно-
шение:

∑ ∑

∑ ∑

∑ ∑

Здесь опять была применена формула . Вычислим


внутреннюю сумму в последнем выражении:

∑ ∑ ∑

{
Отсюда получаем, что во внешней сумме все слагаемые,
кроме последнего, равного , нулевые, что и доказывает формулу
. Точно так же можно проверить, что подстановка из
в формулу приводит к тождеству. Формулы обращения
, доказаны.
Обобщим понятие биномиального коэффициента для произ-
60
вольных показателей (индексов). Для этого разложим функцию
в ряд Тейлора:

Ряд называется биномиальным рядом, или рядом Ньютона.


Его коэффициенты называются биномиальными и обозначаются, как и
в случае целых неотрицательных индексов, :

— натуральное, — произвольное действительное число, при


полагаем , при — . Для таких обобщѐнных
биномиальных коэффициентов следующая пара соотношений являет-
ся примером формул обращения:

, , . Числа , , как и было выше, являются элементами


бесконечных последовательностей. Для доказательства под-
ставим в неѐ :

∑ ∑ ∑

∑ ∑

61
∑ ∑

∑ ∑

Вычислим внутреннюю сумму в этом выражении. Для этого рассмот-


рим тождество
.
Найдѐм разложение в ряд Ньютона:

∑ ∑

Заметим, что при этом была выведена полезная формула


, , , . Разложение в ряд Ньютона
имеет вид

Теперь подставим оба разложения в рассматриваемое тождество, то-


гда в левой части получим произведение рядов:

( ∑ )( ∑ )

По правилу свѐртки находим коэффициент степенного ряда в произ-


ведении при :

∑ ∑

62

Из тождества следует, что этот коэффициент равен нулю при


. Отсюда получаем, что искомая сумма равна , если ,и ,
если . Поэтому в сумме все слагаемые нулевые, кроме
последнего, которое равно . Формула обращения
доказана. Аналогично доказывается обратная формула .
1.2.2.2. Обращение общих формул метода включений и исключений
В предыдущем пункте были приведены примеры формул обра-
щения для величин, содержащих биномиальные коэффициенты. Рас-
смотрим теперь общие формулы метода включений и исключений и
выведем подобные соотношения для них. Начнѐм с формулы и
выразим величины через , , , , , (здесь мы имеем
дело с конечными векторами 〈 〉, 〈 〉).
Вычислим следующую сумму:

∑ ∑ ∑

∑ ∑

Здесь применена такая же перегруппировка слагаемых в двойной


сумме, что и в предыдущих доказательствах. Далее, поскольку индек-
сы биномиальных коэффициентов целые неотрицательные, имеет ме-
сто формула . C учѐтом этого продолжаем вычислять
рассматриваемую сумму:

∑ ∑ ∑

∑ ∑ ∑ ∑
}
Поскольку

63
∑ {

то из получаем, что вычисляемая сумма равна , из чего


следует формула обращения для :

, , , .
Аналогично доказывается формула обращения для :

, , , , выражающая те же величины через .


1.2.2.3. Дзета-функция и функция Мѐбиуса
Функция { }, где — конечное частично упорядочен-
ное множество, определяемое равенством
〈 〉 {
〈 〉 , называется дзета-функцией. Запись означает, что
отношение неверно.
Функцией Мѐбиуса называется такая функция , что

〈 〉 ∑ 〈 〉

{
Запись означает, что и . Как видно, 〈 〉 при
вычисляется рекуррентно. Сначала полагаем 〈 〉 (это
значение определено в силу рефлексивности отношения частичного
порядка). Далее, если ни одного , удовлетворяющего условиям
и , нет, то 〈 〉 , в противном случае находим
наименьшее , следующее по упорядоченности за (такой элемент
существует в силу конечности, а значит, дискретности ), и полагаем
64
〈 〉 , затем находим следующий элемент , вычисляем
〈 〉 , и так далее, пока не будут исчерпаны все ,
удовлетворяющие условиям , .
Функция Мѐбиуса играет важную роль при получении формул
обращения для функций из заданного множества.
Теорема 1.2.1 (теорема обращения )
Пусть функции и определены на конечном частично упоря-
доченном множестве , в котором существует наименьший элемент
, причѐм

для всех . Тогда имеет место формула обращения


∑ 〈 〉

Доказательство
Представим , используя определение дзета-функции, в виде
∑ 〈 〉

(напоминаем, что символом обозначается двойственный к поря-


док ) и подставим в . Имеем

∑ (∑ 〈 〉 ) 〈 〉

∑ ∑ 〈 〉 〈 〉
}
Очевидно, что
∑ 〈 〉 〈 〉 {

Поэтому сумма в имеет только одно ненулевое слагаемое,


равное . Получили тождество, что доказывает теорему.
Если — множество натуральных чисел, упорядоченное

65
отношением сравнения чисел, то функция Мѐбиуса имеет вид

〈 〉 {

Отсюда следуют формулы обращения

Пусть теперь — то же множество натуральных чисел, но


упорядоченное отношением делимости, т. е. для , в том
случае, когда делит ( кратно ). Очевидно, что это отношение
рефлексивно, транзитивно и антисимметрично, т. е. действительно
является частичным порядком. Из определения функции Мѐбиуса
следует, что в этом случае
〈 〉
〈 〉 ∑ 〈 〉 }

здесь, как и выше, запись означает, что является делителем ,


т. е. в нашем случае . С помощью можно вывести фор-
мулу для вычисления функции Мѐбиуса. Для этого сначала установим
следующие утверждения.
Лемма 1.2.1
Для простого числа при любом натуральном имеет ме-
сто равенство
〈 〉
Доказательство
Во-первых, заметим, что из следует
〈 〉
}
〈 〉
при простом . Теперь проведѐм индукцию по . База индукции (
) следует из равенства . Предположим, что при любом

66
верно 〈 〉 .
Тогда
〈 〉 〈 〉 〈 〉 〈 〉
〈 〉 .
Лемма 1.2.2
Для любых попарно неравных простых чисел , , ,
〈 〉
Доказательство
Применяем индукцию по . База индукции ( ) следует из
. Предполагаем, что для любого набора неравных простых
чисел , , , верно равенство
〈 〉 .
Тогда для простых чисел , , , , имеем
〈 〉 〈 〉 〈 〉 〈 〉
〈 〉 〈 〉 〈 〉
〈 〉 〈 〉
( )
( )
( )
Теперь можно установить окончательную формулу для вычис-
ления функции Мѐбиуса:

〈 〉 {

где , , , — попарно различные простые числа. Действитель-


но, из , и следует, что если хотя бы одно из
чисел , , , , , то
(〈 〉) 〈 〉 〈 〉 〈 〉
〈 〉 〈 〉 〈 〉

67
〈 〉 ∑ (〈 〉)
〈 〉

〈 〉 〈 〉
Последняя сумма берѐтся по всем наборам 〈 〉, в которых
хотя бы одно из . С помощью лемм 1.2.1, 1.2.2 можно убедиться
в том, что все слагаемые в ней равны нулю. Поэтому, вычисляя далее,
имеем:
(〈 〉) 〈 〉 〈 〉 〈 〉
〈 〉 〈 〉 〈 〉
〈 〉
.
Учитывая равенство , убеждаемся в справедливости .
Пусть функции и связаны соотношением

Тогда по теореме обращения получаем


∑ 〈 〉

В теории чисел известна функция Мѐбиуса от одного натураль-


ного аргумента , определяемая равенством

где , , , — попарно различные простые числа. Сравнивая


и , приходим к выводу, что
( )
Поэтому формула обращения для такого варианта функции Мѐбиуса
принимает вид

68
∑ ( )

1.2.2.4. Обращение мер на множествах


Пусть — конечное множество. Введѐм на булеане отноше-
нием включения частичный порядок: для любых множеств ,
тогда и только тогда, когда . Вычислим в этом
случае функцию Мѐбиуса. Из еѐ определения следует, что

〈 〉 ∑ 〈 〉

{
Пусть имеются элементов , , , множества , не при-
надлежащих . Индукцией по покажем, что для них
〈 { }〉
База индукции ( ) следует из равенства :
〈 { }〉 〈 〉 ,
так как в силу конечности других подмножеств { }, удо-
влетворяющих условию { }, кроме , нет. Предположе-
ние индукции: для всех натуральных верна формула
〈 〉 ,
где — -множество элементов , не принадлежащих . Делаем
индукционный шаг: вычисляем функцию Мѐбиуса для пары 〈 〉,
где { }. Из формулы получаем
〈 { }〉

( 〈 〉 ∑ 〈 { }〉 ∑ (〈 { } 〉)

∑ (〈 { }〉))

Используя предположение индукции, приходим к нужному результа-


ту:
69
〈 { }〉

(( ) )
Индукционный шаг доказан.
Из формулы следует, что в случае конечных и
〈 〉
Пусть на булеане определены функции и такие, что

Тогда из теоремы обращения следует


∑ 〈 〉

Подставляя в это выражение формулу , получим


В правой части последнего равенства можно сумму разбить на от-


дельные части, соответствующие мощностям множества от до .
Приходим к формуле
∑ ∑


}
Из неѐ могут быть получены различные варианты формул включения
и исключения, если ввести на конечном множестве меру. В общем-
то, и сама формула имеет ту же структуру, что и выведенные
в предыдущем пункте формулы метода включений и исключений.
Пусть каждому элементу приписана некоторая числовая
мера — неотрицательное число, другими словами, на элементах
определена функция [ . Тогда мерой множества
называется числовая функция [ , удовлетворяющая

70
условиям

{∑

Заметим, что такое упрощѐнное определение меры возможно только


для конечных множеств. В общем случае (бесконечных и бессчѐтных
множеств) необходимо применять понятие абстрактной -аддитивной
меры.
Пусть элементы -множества могут обладать или не обла-
дать каждым из попарно совместных (в общем случае) свойств ,
, , . На булеане задана мера . Обозначим через некото-
рое подмножество множества свойств { }. Будем го-
ворить, что элемент обладает -свойством, если он обладает
всеми свойствами из . Пусть ― мера множества элементов ,
обладающих ( )-свойством, где ; ― суммарная мера
тех элементов, которые обладают ( )-свойством и, может быть, дру-
гими свойствами из . Тогда очевидно, что

Применяя к формулу обращения , получаем при


:

∑ ∑
}
Эта формула представляет собой вариант формулы включений и ис-
ключений, содержащий меры множеств. Здесь ― мера множе-
ства элементов , не обладающих ни одним из свойств , , , ,
― суммарная мера элементов, обладающих свойствами из
и, возможно, некоторыми свойствами из , таким образом, ―
мера элементов со всеми свойствами из , . Если ме-
71
ры всех элементов взять равными единице, то мера множества рав-
на его мощности и превращается в основную формулу мето-
да включений и исключений из пункта 1.2.1.1.

1.3. ПРОИЗВОДЯЩИЕ ФУНКЦИИ


1.3.1. Алгебра производящих функций
1.3.1.1. Классы производящих функций
Математический аппарат используемых в комбинаторном ана-
лизе производящих функций основан на теории формальных степен-
ных рядов. Поэтому для умелого применения метода производящих
функций к решению комбинаторных задач надо овладеть техникой
обращения со степенными рядами.
Введѐм понятие производящей функции. Пусть 〈 〉―
конечная или бесконечная последовательность чисел. Конечный век-
тор 〈 〉 будем обозначать { } , бесконечный ― { }
(или просто { }). В комбинаторном анализе применяются два основ-
ных класса производящих функций последовательностей чисел: соб-
ственно производящие функции и экспоненциальные производящие
функции. С первым классом связаны неупорядоченные выборки
(множества), со вторым ― векторы.
Производящей функцией последовательности { } называется
степенной ряд

В случае конечной последовательности { } ряд вырождается в


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

72
обратное же верно не всегда, а лишь в случае сходимости степенного
ряда в некотором круге положительного радиуса в комплексной плос-
кости.
Экспоненциальной производящей функцией последовательности
{ } называется степенной (экспоненциальный) ряд

В случае сходимости его сумма также называется экспоненциаль-


ной производящей функцией.
Вычислим последовательности, соответствующие некоторым
наиболее часто встречающимся в комбинаторных задачах произво-
дящим функциям.
Лемма 1.3.1
Следующие функции являются производящими для последо-
вательностей { }:
1) , , , ― заданные действи-
тельные числа, , ;
2) , , , ― заданные
действительные числа, , ― натуральное число, ;
3) , , ― заданные действительные
числа, тогда:
а) ( ), если дискриминант квадратного
трѐхчлена положителен, , ― его корни, ;
б) , если дискриминант квадратного трѐхчлена
равен нулю, ― его единственный корень, ;
в) , если дискриминант отрицателен, ―
комплексно сопряжѐнные корни квадратного трѐхчлена ,
√ ― модуль, ― аргумент (главное значе-
ние) комплексного числа , ― мнимая единица, ;
73
4) , , ― заданные действительные
числа, ― натуральное число, тогда:
а) если дискриминант трѐхчлена неотрицателен, то

где , ― его корни, ;


б) если дискриминант отрицателен, то

( )
{
.
Доказательство
1) Если , то функция не разлагается в ряд по неотрица-
тельным степеням , поэтому полагаем . Применяя формулу
суммы бесконечно убывающей геометрической прогрессии, получаем

( )

∑( ) ∑
}
откуда и следует формула для .
2) Снова предполагаем, что . Для получения доказываемой
формулы применим разложение в ряд Ньютона:

( )

74
( ∑ ( ) ) ( ∑ ( ) )

(см. 1.2.2.1). Заметим, что доказанный выше случай является частным


случаем полученного разложения при .
3) Чтобы функция разлагалась в ряд по неотрицательным степе-
ням , предполагаем, что .
а) Корни и квадратного трѐхчлена различны и
среди них нет нулевых, поскольку . Тогда, учитывая, что
, имеем

∑( )

(здесь осуществлено разложение дробно рациональной функции на


сумму элементарных дробей методом неопределѐнных коэффициен-
тов, и использован доказанный результат ). Отсюда и получа-
ется формула для .
б) Квадратный трѐхчлен имеет единственный корень кратно-
сти . Тогда

(здесь использован результат при ).


в) Трѐхчлен имеет пару комплексно сопряжѐнных
корней , . Имеем

75
(∑ ∑ )

(здесь также функция была представлена в виде суммы элементарных


дробей, и применено разложение в ряд ). Запишем комплекс-
ные корни в тригонометрической форме:
,
где √ , ― соответственно модуль и аргу-
мент (главное значение) комплексного числа . Тогда по форму-
ле Муавра . Поэтому

∑ (

) ∑

4) Снова предполагаем, что .


а) Пусть , ― действительные корни трѐхчлена
(если дискриминант нулевой, то ). Тогда, используя результат
, имеем

(∑ ) (∑ )

Произведение степенных рядов представляет собой степенной ряд,


коэффициенты которого находятся по правилу свѐртки. Поэтому

(∑ ) (∑ )

где

76

б) Пусть , ― комплексные корни трѐхчлена, ,


― модуль и главное значение аргумента числа . Тогда

(∑ ) (∑ )

∑ (∑ )

Отсюда

Можно заметить, что симметричные относительно середины суммы


слагаемые в полученном выражении комплексно сопряжены (это про-
веряется, например, подстановкой в слагаемое вместо индекса
). Поэтому, если нечѐтное, то

77

Если чѐтное ( ), то

( )

Наконец, при .
Примеры:
1) ;

∑ ∑

2) ;


( )

∑ ∑

3) ;

( )

(∑ ∑ ) ∑( )

( )

4)

78
∑( ) ∑( )

∑ {

решим этот пример также с помощью леммы 1.3.1. Представим функ-


цию в виде

( )
√ √
учитывая, что при нечѐтном и
при , приходим к полученному выше ответу;
5) . Пусть , ― корни квадратного трѐхчле-
на , по теореме Виета , следовательно, ,
. Тогда имеем

( ) ( )
Теперь разложим каждую дробь в степенной ряд по формуле и при-
меним правило умножения рядов:

(∑ ) (∑ )

(∑ ) (∑ )

79
(∑ ) (∑ )

∑ (∑ )

√ √
Так как , ,
то далее

( )( )

( ))

( )

( )
}
Слагаемые в последней сумме, симметричные относительно еѐ сере-
дины, комплексно сопряжены, поэтому для приведения ответа к дей-
ствительному виду надо рассмотреть отдельно случаи чѐтного и не-
80
чѐтного . При ( нечѐтно, число слагаемых
чѐтно)

(∑

( )

( ))

Если во второй сумме заменить индекс на ,


то еѐ можно представить в виде

( )
Теперь обе суммы можно объединить в одну:

Аналогично получаем ответ при , ( чѐтно, число


слагаемых нечѐтно):

(∑

( )

81
( ) )

Наконец, при по формуле находим, что . Получа-


ем окончательный ответ этого примера:

{
.
Лемма 1.3.2
Следующие функции являются экспоненциальными произво-
дящими для последовательностей { }:
1) , , , — заданное действительное
число;
2) , , , и —
заданные числа, — натуральное число.
Доказательство
1) Применим разложение в степенной ряд:

∑ ∑

82
откуда и следует, что .
2) Полагаем (в противном случае функция не
разлагается в ряд с неотрицательными степенями ). Применяя раз-
ложение , имеем

∑ ∑

1.3.1.2. Операции над производящими функциями


Рассматривая производящие функции как степенные ряды,
можно определить операции их сложения, умножения на константу,
перемножения и деления. Пусть , ― производящие функции по-
следовательностей { } и { }, соответственно. Суммой , назы-
вается производящая функция последовательности { }:

Произведением производящей функции на число называется


производящая функция последовательности { }:

Нулѐм относительно сложения в исчислении производящих функций


является нулевой ряд ― производящая функция нулевой последова-
тельности. Очевидно, что

для любого ряда . Обратным относительно сложения для ряда


будет ряд :
( ) ( ) .
Аналогично определяются эти операции для экспоненциальных про-
изводящих функций. Пусть , ― экспоненциальные производя-

83
щие функции последовательностей { }, { }, соответственно. Сум-
мой и называется ряд

а произведением константы на ряд ― ряд

Очевидно, что , ― соответственно нулевой и


противоположный относительно сложения элементы исчисления ал-
гебры производящих функций.
Умножение производящих функций определяется как обобще-
ние правила свѐртки для многочленов на случай бесконечных сумм.
Именно, произведением производящих функций , называется ряд

где
,
,

Произведением экспоненциальных производящих функций ,


называется ряд

где
,

84
,

Это правило умножения следует из общего правила перемножения


производящих функций. Действительно, если перемножить ряды

по обобщѐнному правилу свѐртки, то получим:

(∑ ) (∑ )

∑ (∑ ) ∑ (∑ )

∑ (∑ )

Единицей относительно умножения является ряд ― произво-


дящая (экспоненциальная производящая) функция последовательно-
сти 〈 〉. Нетрудно проверить, что
,

для любых , .
Обратным к ряду ( ) называется такой ряд ( ), что
,
.
Для вычисления обратного ряда надо ввести операцию деления.

85
Частным производящих функций и (у ряда ) называет-
ся ряд

⁄ ∑

коэффициенты которого , , находятся по правилу


,
,

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


уравнений. Коэффициент находится из первого уравнения:
( , находится из второго уравнения после подстановки , и
так далее. Аналогично делятся экспоненциальные производящие
функции. Частным и (у ряда ) называется ряд

⁄ ∑

коэффициенты которого , , находятся по правилу


,
,

Теперь понятно, что обратные производящие функции вычисляются


по формулам

86
Далее будет доказана единственность обратной производящей (экс-
поненциальной производящей) функции.
Следует иметь в виду, что операции над производящими функ-
циями понимаются чисто формально, поэтому вопросы сходимости
соответствующих степенных рядов не берутся во внимание.
Алгебра производящих функций известна в дискретной матема-
тике под названием алгебра Коши, экспоненциальных производящих
функций — под названием символическое исчисление Блиссара.
Далее формулируются некоторые свойства операций над произ-
водящими функциями.
Лемма 1.3.3
1) Сложение и умножение производящих функций коммутатив-
ны и ассоциативны.
2) Умножение производящих функций дистрибутивно относи-
тельно сложения.
Доказательство
1) Коммутативность и ассоциативность сложения очевидны. До-
кажем коммутативность умножения. Пусть

Тогда

где

где
87

Сделаем в замену индекса суммирования . Получаем

∑ ∑

что и доказывает коммутативность умножения.


Теперь докажем ассоциативность. Пусть

∑ ∑

Нужно доказать, что


( ) ( )
Выпишем выражение общего члена ряда в левой части равенства
:
,
где

( ) ,
где

∑ ∑ (∑ )

Общий член ряда в справа:


,
где

88
( ) ,
где

∑ ∑ (∑ )

Напишем в развѐрнутом виде и преобразуем сумму:


⏟ ⏟ ⏟

⏟ ⏟

∑ (∑ )

что и требовалось доказать.


2) Пусть

∑ ∑

Нужно доказать, что


( ) .
Производящая функция (степенной ряд) слева:

89
( ) (∑ ) (∑ )

∑ (∑ ) ∑ (∑ )

∑ (∑ ) ∑ (∑ )

Такими же свойствами обладают и операции с экспоненциаль-


ными производящими функциями.
Лемма 1.3.4
1) Сложение и умножение экспоненциальных производящих
функций коммутативны и ассоциативны.
2) Умножение экспоненциальных производящих функций дис-
трибутивно относительно сложения.
Доказательство
1) Коммутативность и ассоциативность сложения очевидны. До-
кажем коммутативность умножения. Пусть

∑ ∑

Тогда

где

где

Замена индекса в с учѐтом свойства симметрии биноми-

90
ального коэффициента приводит к равенству , что и
доказывает коммутативность.
Докажем ассоциативность. Пусть

∑ ∑

Тогда
,
где

( ) ,
где

∑ ∑ (∑ )

,
где

( ) ,
где

∑ ∑ (∑ )

Напишем в развѐрнутом виде и преобразуем , используя равенство


:
⏟ ⏟

91

(⏟ )

(⏟ )

(⏟

⏟ ⏟

∑ (∑ )

2) Дистрибутивность доказывается так же, как и для производя-


щих функций (см. доказательство леммы 1.3.3).
Следующая лемма утверждает, что нулевой ряд (производящая
функция нулевой последовательности) обладает важным свойством:
он является единственным элементом, умножение на который обну-
ляет любой элемент алгебры производящих (экспоненциальных про-
изводящих) функций (это означает, что в этой алгебре нет ненулевых

92
делителей нуля).
Лемма 1.3.5
Пусть — произвольный ненулевой ряд. Тогда для любого ря-
да справедлива эквивалентность
.
Доказательство
Достаточность утверждения очевидна. Докажем необходимость.
Из условия следует бесконечная система равенств
;
;
;

Нужно доказать, что .


Предположим, что . Тогда из уравнения получа-
ем, что . Допустим, что представляет собой ненулевой ряд,
т. е. при некотором ,а . Тогда из
равенства следует , а так как
, то . Полученное противоречие доказывает, что
.
Пусть теперь . Поскольку — ненулевой ряд, то при не-
котором , . Тогда из уравнения
следует , а значит, . Да-
лее запишем условие равенства нулю коэффициента при в
:
.
Из него следует , значит, . Рассмотрение коэффициен-
та при с учѐтом того, что , приводит к . После-
довательно увеличивая степень и приравнивая к нулю соответству-
ющие коэффициенты, получаем для всех , , , , т. е.
.
93
Из доказанной леммы следует аналогичное утверждение для
экспоненциальных производящих функций.
Лемма 1.3.6
Пусть — произвольная ненулевая экспоненциальная произ-
водящая функция. Тогда для любой справедлива эквивалентность
.
Следующие леммы утверждают единственность обратной про-
изводящей (экспоненциальной производящей) функции, а значит, од-
нозначность операции деления таких функций.
Лемма 1.3.7
Для произвольного ненулевого ряда ( ) существует
единственный обратный ряд .
Доказательство
Построим с помощью правила деления рядов. Пусть

По определению . Приравняем коэффициенты


при соответствующих степенях слева и справа:
;
;
;

Таким образом, доказано существование . Теперь предположим,


что существует другой, отличный от , обратный ряд ̂ . Тогда
одновременно выполняются равенства
,
̂ .
Вычитая одно из другого, получаем

94
( ̂ ) .
Тогда из леммы 5 следует, что
̂ ̂
̂
Лемма 1.3.8
Для произвольной ненулевой экспоненциальной производящей
функции ( ) существует единственная обратная .
Примеры:
1) найдѐм обратную производящую функцию для

Имеем

2) пусть

Тогда

3) пусть

Тогда

∑ ∑

Функция имеет устранимую особенность в нуле, поэтому как


95
экспоненциальная производящая функция существует. Найдѐм .
Пусть

Тогда

( )

( )

Получаем ответ:

4) найдѐм для функции

обратную производящую функцию:

∑ ∑

96
Эта функция имеет устранимую особенность в нуле, поэтому она раз-
лагается в ряд с неотрицательными степенями . Найдѐм этот ряд. По
определению
.
Если обозначить
,
то последнее равенство запишется в виде

( )
Применяя правило деления рядов, находим

Отсюда получаем ответ:

Рассматривая эту же функцию как экспоненциальную произво-


дящую , найдѐм для неѐ :

( )( )
Далее находим коэффициенты , , , аналогично тому, как это
делалось в приведѐнных выше примерах, и получаем ответ:

97
1.3.2. Производящие функции комбинаторных
последовательностей
1.3.2.1. Производящие функции сочетаний
Вычислим производящую функцию для последовательности чи-
сел сочетаний без повторений объѐма из элементов -множества
. Запишем разложение в ряд Ньютона при натуральном :

∑ ∑

Очевидно, что при (в произведении в числителе будет


участвовать нулевая скобка), поэтому ряд вырождается в многочлен

представляющий собой известную формулу бинома Ньютона. Бино-


миальные коэффициенты при натуральном равны числам -со-
четаний без повторений элементов -множества { }.
Итак, производящей функцией чисел , , , , является
функция .
Решим ту же задачу для чисел -сочетаний с повторениями.
Так как , то

Из п. 2 леммы 1.3.1 следует

Итак, получаем, что для последовательности { }


.
Решим методом производящих функций теперь задачу нахожде-
ния чисел ̂ различных сюръективных -мультимножеств, носи-
телями которых является данное -множество. Составим произво-
дящую функцию чисел сочетаний при выборе элементов одного вида.
98
Очевидно, что если в сочетание взяты элементов одного вида, то
соответствующая производящая функция равна . Если же нужно
включить в сочетание хотя бы один элемент этого вида, т. е. , , ,
то по правилу суммы производящая функция равна . Те-
перь, поскольку включаются все элементов данного множества, по
правилу произведения получаем итоговую производящую функцию:

Для нахождения нужной формулы числа сочетаний преобразуем :

∑ ∑ ∑

В итоге получаем тот же ответ, что в пункте 1.1.2.4:


̂ {
.
1.3.2.2. Производящие функции размещений
Выше уже отмечалось, что экспоненциальные производящие
функции порождают последовательности чисел размещений. Найдѐм
такую функцию для чисел { } -размещений элементов данного
-множества. Поскольку , то

∑ ∑

∑ ∑

Вычислим экспоненциальную производящую функцию чисел


{ } бесповторных перестановок. Учитывая, что , имеем

99
∑ ∑

Найдѐм такую же функцию для чисел { } -размещений с повто-


рениями. Так как , то

∑ ∑ ∑

Применение экспоненциальных производящих функций пока-


жем на примере следующей комбинаторной задачи. Дано -мно-
жество . Найти количество -векторов с координатами из ( -
размещений элементов множества ), в которых присутствует хотя
бы по одному экземпляру каждого элемента . Обозначим через ̂
число таких векторов и найдѐм экспоненциальную производящую
функцию последовательности { ̂ }.
Экспоненциальная производящая функция, соответствующая
единственной перестановке неразличимых экземпляров какого-либо
элемента, равна . По правилу суммы получаем экспоненциальную
производящую функцию для всех возможных непустых перестановок
экземпляров одного элемента: Теперь по
правилу произведения строим производящую функцию чисел разме-
щений с повторами всех элементов множества :

̂ ( ) ̂

Разложением ̂ по формуле бинома Ньютона и далее в степенной ряд


найдѐм общее выражение для числа размещений ̂ :

̂ ∑

∑ ∑ ∑ (∑ )

100
Отсюда

̂ ∑

Получили формулу числа сюръективных отображений -множе-


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

Следовательно, функция, соответствующая размещениям всех эле-


ментов, равна

( ) ( )

Число -векторов рассматриваемого качественного состава


равно коэффициенту при в разложении в степенной ряд. Для
его нахождения следует использовать правило перемножения экспо-
ненциальных производящих функций.
Рассмотрим ещѐ более общую постановку задачи. Пусть в раз-
мещении должно быть от до экземпляров элемента . Тогда
экспоненциальная производящая функция чисел таких -векторов
равна

( ) ( )

Для нахождения числа -размещений надо раскрыть в этом много-


члене скобки и найти коэффициент при .

101

Вам также может понравиться