Разбиения графа на циклы

[alphavector]

Evgenjy в сообщении #1023615 писал(а):

Здесь уже указывались источники, где дано решение. Даю еще один, где все это подробно изложено.
Это теорема Петерсена, доказательство которой основано на теореме о свадьбах (Холла).
См. Дистель. Теория графов. Новосибирск. 2002 г. Страница 49 (следствия 2.1.5 и 2.1.4, а также предыдущие положения)

Не смог найти названную Вами книгу, однако т.Петерсона это про кубические графы, то есть там вполне себе фиксированные степени вершин $n=3$

[Evgenjy]

alphavector в сообщении #1023713 писал(а):

Не смог найти названную Вами книгу

http://techlibrary.ru/

alphavector в сообщении #1023713 писал(а):

однако т.Петерсона это про кубические графы

Это другая.

[alphavector]

Несколько раз обдумывал задачу, кажется понял, но не понимаю как перевести это все на язык "процессов и операций". Для этого надо лемму Холла доказать через процессы или теорему Петерсона доказать без леммы Холла.

[iifat]

Не понимаю, о чём вы. Решение приведено; возможно, существуют ещё несколько, в частности, методом «процессов и операций». Почему надо непременно доказывать лемму Холла тем же методом?