Лемма о рукопожатиях — различия между версиями
Kot (обсуждение | вклад) м (→Лемма о рукопожатиях: , привел доказательство к нормальному виду) |
Kot (обсуждение | вклад) (→Лемма о рукопожатиях) |
||
| Строка 1: | Строка 1: | ||
== Лемма о рукопожатиях == | == Лемма о рукопожатиях == | ||
| + | ==== Лемма о рукопожатиях для неориентированного графа ==== | ||
{{Лемма | {{Лемма | ||
|statement= | |statement= | ||
Сумма степеней всех вершин графа (или мультиграфа без петель) — четное число, равное удвоенному числу ребер: | Сумма степеней всех вершин графа (или мультиграфа без петель) — четное число, равное удвоенному числу ребер: | ||
| − | <br> | + | <br /> <tex> \sum\limits_{v\in V(G)} deg\ v=2 |E(G)|</tex> |
| − | |||
|proof= | |proof= | ||
| − | + | Возьмем пустой граф. Сумма степеней вершин такого графа равна нулю. При добавлении ребра, связывающего любые две вершины, сумма всех степеней увеличивается на 2 единицы. Таким образом, сумма всех степеней вершин четна и равна удвоенному числу ребер. | |
}} | }} | ||
| − | <br> | + | <br /> |
''Следствие 1'' | ''Следствие 1'' | ||
| Строка 16: | Строка 16: | ||
''Следствие 2'' | ''Следствие 2'' | ||
| − | Число ребер в полном графе < | + | Число ребер в полном графе <tex>\frac{n(n-1)}{2} </tex> |
| + | |||
| + | ==== Лемма о рукопожатиях для ориентированного графа ==== | ||
| + | |||
| + | {{Лемма | ||
| + | |statement= | ||
| + | Сумма входящих и исходящих степеней всех вершин графа (или мультиграфа без петель) — четное число, равное удвоенному числу ребер: | ||
| + | <br /> <tex> \sum\limits_{v\in V(G)} deg_{-}\v + \sum\limits_{v\in V(G)} deg_{+}\ v= 2 |E(G)|</tex> | ||
| + | |||
| + | |proof= | ||
| + | Аналогично доказательству о неориентированном графе. | ||
| + | }} | ||
Версия 23:05, 13 октября 2010
Лемма о рукопожатиях
Лемма о рукопожатиях для неориентированного графа
| Лемма: |
Сумма степеней всех вершин графа (или мультиграфа без петель) — четное число, равное удвоенному числу ребер:
|
| Доказательство: |
| Возьмем пустой граф. Сумма степеней вершин такого графа равна нулю. При добавлении ребра, связывающего любые две вершины, сумма всех степеней увеличивается на 2 единицы. Таким образом, сумма всех степеней вершин четна и равна удвоенному числу ребер. |
Следствие 1 В любом графе число вершин нечетной степени четно
Следствие 2 Число ребер в полном графе
Лемма о рукопожатиях для ориентированного графа
| Лемма: |
Сумма входящих и исходящих степеней всех вершин графа (или мультиграфа без петель) — четное число, равное удвоенному числу ребер:
|
| Доказательство: |
| Аналогично доказательству о неориентированном графе. |