Изменения

Ориентированным графом <tex>G</tex> называется четверка <tex>G = (V, E, beg, end)</tex> , где <tex>beg, end : E \rightarrow V </tex>, а <tex>V</tex> и <tex>E</tex> - некоторые абстрактные множества. Иногда граф, построенный таким образом называют '''мультиграфом'''.

Полустепенью входа вершины <tex>v_i</tex> называется число рёбер, входящих в эту вершину, и обозначается <tex>deg^+v_i</tex>.<br>Аналогично, полустепенью выхода вершины <tex>v_i</tex> называется число рёбер, выходящих из этой вершины, и обозначается <tex>deg^-v_i</tex>.

В неориентированном графе {{Лемма|statement=<tex>(v, u) \sum\limits_{V} deg^-v_i = \sum\limits_{V} deg^+v_i = (u, v)|E|</tex>.|proof=супердоказательство((}}