Лемма о рукопожатиях — различия между версиями
(→Лемма о рукопожатиях для ориентированного графа) |
|||
| Строка 28: | Строка 28: | ||
Аналогично доказательству леммы о рукопожатиях неориентированном графе. | Аналогично доказательству леммы о рукопожатиях неориентированном графе. | ||
}} | }} | ||
| + | |||
| + | [[Категория: Алгоритмы и структуры данных]] | ||
| + | [[Категория: Основные определения теории графов]] | ||
Версия 06:15, 24 сентября 2011
Лемма о рукопожатиях
Лемма о рукопожатиях для неориентированного графа
| Лемма: |
Сумма степеней всех вершин графа (или мультиграфа без петель) — четное число, равное удвоенному числу ребер:
|
| Доказательство: |
| Возьмем пустой граф. Сумма степеней вершин такого графа равна нулю. При добавлении ребра, связывающего любые две вершины, сумма всех степеней увеличивается на 2 единицы. Таким образом, сумма всех степеней вершин четна и равна удвоенному числу ребер. |
Следствие 1 В любом графе число вершин нечетной степени четно
Следствие 2 Число ребер в полном графе
Лемма о рукопожатиях для ориентированного графа
| Лемма: |
Сумма входящих и исходящих степеней всех вершин ориентированного графа — четное число, равное удвоенному числу ребер:
|
| Доказательство: |
| Аналогично доказательству леммы о рукопожатиях неориентированном графе. |