Изменения
→Неориентированный граф
proof=
'''Достаточность:'''
Рассмотрим эйлеров цикл <tex>p</tex> в <tex>G</tex>.
Каждое вхождение вершины в цикл(кроме первого и последнего вхождения начальной вершины) добавляет 2 к ее степени.<br/>
Для начальной вершины ее первое и последнее вхождение также суммарно добавляют 2 к ее степени. В итоге, каждая вершина имеет четную степень.
'''Необходимость:'''
В нем найдется простой цикл, т.к. иначе граф является [[Дерево, эквивалентные определения|лесом]], и тогда в нем есть хотя бы два листа, что противоречит четности степеней всех вершин.
Рассмотрим цикл <tex>c</tex> такой, что при удалении его ребер не образуется двух компонент связности размера больше 1.
Рассмотрим вершину <tex>u</tex> со степенью больше 2. После удаления цикла <tex>c</tex> из графа степени всех вершин останутся четными,
при этом количество ребер в графе уменьшится. Для <tex>G - c</tex>, по предположению индукции, существует эйлеров цикл <tex>e</tex>.
Тогда в <tex>G</tex> тоже существует Эйлеров обход - сначала обойти цикл с<tex>c</tex>, начиная с вершины <tex>u</tex>, затем обойти <tex>e</tex>.<br/>
Переход доказан.
}}
'''Следствие'''<br/> Неориентированный почти связный граф <tex>G = (V, E)</tex> является полуэйлеровым тогда и только тогда, когда содержит ровно две вершины нечетной степени.<br/>
====[[Основные определения теории графов|Ориентированный граф]]====
