В ориентированном графе исходящая степень каждой вершины равна 3 (петли и встречные ребра разрешены и являются циклами; между каждыми двумя вершинами может быть не более одного ребра данного направления). Докажите, что в этом графе есть два непересекающихся (по вершинам) ориентированных цикла.
Подсказка
Предположите противное. Докажите, что нет встречных рёбер. Затем попробуйте стягивать рёбра.
Решение
Будем доказывать индукцией по числу
вершин. База для
и
проверяется без труда. Пусть для всех графов с менее чем
вершинами условие выполнено, а в графе
с
вершинами и исходящими степенями 3 не нашлось двух непересекающихся циклов.
Предположим, что в
есть встречные ребра между вершинами
и
. Тогда в
есть цикл
, и в
есть цикл, так как в нем из каждой вершины выходит хотя бы одно ребро. Следовательно, в
нет встречных ребер.
Предположим, что в
есть ребро
такое, что ни из какой вершины
не выходят ребра в обе вершины
и
. Тогда стянем ребро
: удалим в
вершины
и
и добавим новую вершину
, в которую входят ребра из тех вершин, из которых входили ребра в
и
, и выходят ребра в те вершины, в которые выходили ребра из
. Обозначим полученный граф через
. В
вершина и степень каждой вершины равна 3 , поэтому для него выполнено индукционное предположение. Но тогда и в
есть два непересекающихся цикла, так как если цикл в
проходил через
, то в
этот проход можно заменить на проход через
или
.
Осталось разобрать случай, когда каждое ребро имеет «предка», то есть вершину, из которой выходят ребра в оба конца этого ребра. Пусть
— вершина наименьшей входящей степени (обозначим эту степень
). Очевидно,
.
(1)
. Тогда ребро, исходящее из
, не имеет предка.
(2)
. Тогда ребро, входящее в
, не имеет предка.
(3)
. Пусть есть ребра
и
. Тогда
должно быть предком для
, а
— для
, но тогда есть ребра
и
, а этот случай мы уже разобрали.
(4)
. Тогда все вершины имеют входящую степень 3. Пусть в вершину
входят ребра
. Предком каждого из этих ребер должна быть
или
. Тогда в индуцированном подграфе на вершинах
в каждую вершину входит хотя бы одно ребро, а так как в
нет встречных ребер, вершины
образуют цикл длины 3. Заметим, что вершины, в которые ведут ребра из
, также образуют цикл длины 3 (так как мы можем обратить все ребра и повторить те же рассуждения).
нет встречных ребер, поэтому мы нашли два непересекающихся цикла.