их количество равно CC
r−1
q+1
= C
r−1
q+r−1
6 2
q+r−1
. Значит, количество разбиений заведомо не превосходит 2
p−1
·
2
q+r−1
6 2
p+q+r
. Таким образом,
γ(p, q, r) 6 A
q+p
· p
q−p
· 2
p+q+r
6 A
p+q+r
· p
q−p
, (19)
поскольку A > 2. Таким образом, в качестве константы B можно взять A, но это не так важно.
1.2.3. Ориентированные графы
Определение. Назовём граф ориен тированным, если каждому его ребру приписано направление.
Определение. Ориентированн ый цикл — цикл, в котором все рёбра направлены в одну ст орону, т. е. ко-
нечная последовательность ориентированных рёбер
−−−−→
v
i
, v
i+1
, где первая вершина совпадает с последней.
Лемма 1.15. В любом конечном ориен т ированном графе без ориентированных циклов есть вершина, из
которой рёбра не выходят.
От противного: выберем любую вершину и, выходя из неё, будем двигаться по рёбрам в направлении,
приписанном данному ребру. Если из каждой вершины выходит хотя бы одно ребро, то рано или поздно мы
вернёмся туда, где уже были, поскольку граф конечен. Но эт о будет ориентированный цикл. Противоречие.
Теорема 1.16. В любом конечном ориентированном графе без ориент ированных циклов можно зануме-
ровать вершины первым и натуральными числами так, что каждое ребро будет направлено от вершины с
меньшим номером в вершину с большим номером.
Докажем индукцией по числу вершин p. При p = 1 утверждение очевидно. Пусть p > 1. П редположим,
что это верно для всех графов с числом вершин, меньшим p. Рассмотрим граф с p вершинами. По лемме у него
есть вершина, из которой рёбра не выходят. Уберём из графа эту вершину и все входящие в неё рёбра, получим
граф с числом вершин, меньшим p. По предположению индукции такой граф допускает искомую нумерацию
вершин числами 1, 2, . . . , p − 1 . Тогда присвоим выкинутой в ершине номер p.
1.2.4. Двудольные графы. Критерий Холла
Определение. Пусть множество ве ршин графа разбито на два подмножества U и L. Граф называется
двудольным, если концы любого ребра лежат в разных подмножествах.
Пример 2.1. Примеры двудольных г рафов (рис. 5):
[NO PICTURE AVAILABLE YET]
Рис. 5. Двудольные и не двудольные графы
Условимся называть подмножество U верхним, а L — нижним. Будем рисо вать двудольные графы в соот-
ветствии с этими названиями.
Определение. Говорят, что задано паросочетание в двудольном графе, если для каждой верхней вер-
шины зафиксировано по одному ребру (идущему в нижнее множество). Фактически это означает, что задано
отображение f : U → E. Па росочетание называется совершенным, если концы выпущенных рёбер при этом не
склеиваются.
Пусть A ⊂ U. Через R(A) будем обоз начать образ бинарного отношения «соединён ребром» в L.
Теорема 1.17 (Критерий Холла). Конечный двудольный граф обладает совершенным паросочетан ием
тогда и только тогда, когда для любого (непустого) A ⊂ U имеем |R(A)| > |A|.
Необходимость этого условия очевидна: если со вершенное паросочетание нашло с ь, то ясно, что образ
любого подмножества содержит не мень ше вершин, чем само это подмножество (иначе какие-то два ребра,
выходящие из множества A, упёрлись бы в одну вершину в образе).
Докажем достаточно сть. Будем доказывать индукцией по числу n = |U|. База n = 1 очевидна: любое ребро
годится. Пусть всё доказано для n, докажем для n + 1. Возможны два случая.
1
◦
Для любого непустого A ⊂ U имеем |R(A)| > |A|, то есть по крайней мере |R(A)| > |A| + 1 . Рассмотрим
a ∈ U. По крайней мере одно ребро из неё выходит, пусть оно приходит в вершину b ∈ L. Уберем вершины a и b
из нашего графа вместе со всеми рёбрами, которые в них входят. Получим двудольный граф
e
Γ с множеств ами
верхних и нижних вершин
e
U и
e
L. Покажем, что
R(
e
A)
>
e
A
. Действительно, рассмот рим множество оставшихся
«претендентов» на вершину b. Для любого подмножества с их участием, но без участия вершины a, неравенств о
было строгим. Образ этого подмножеств а, конечно, захватывает вершину b, но когда мы её уберём, неравенство
лишь превра тится в нестрогое, ибо мы т е ряем всего одну вершину. Все остальные подмножества и вовсе сохранят
строгие равенства. Итак, к новому графу уже применимо предположение индукции, потому что в
e
U меньше
вершин, чем в U.
9