271
правка
Изменения
Нет описания правки
Дан [[Основные определения теории графов|граф]] <tex> G </tex>, состоящий из <tex>\ n </tex> [[Основные определения теории графов|вершин]], <tex>\ d_i </tex> — [[Основные определения теории графов|степень]] <tex>\ i </tex> - ой вершины. <br>
Все <tex>\ d_i </tex> расположены в порядке неубывания. <br>
<tex>\ (*) : </tex> <tex>\forall k</tex> верна импликация <tex>(d_k \le k < n/2 \Rightarrow d_{n-k} \ge n-k)</tex>. <br>
{{Лемма
|about=
