271
правка
Изменения
Нет описания правки
Пусть <math>\ S = \{i|e_i = U_1 U_{i+1} \in E(G)\} </math> <br>
Пусть <math>\ T = \{i|f_i = U_i U_n \in E(G)\} </math> <br>
<math>\ S \cap T = \empty </math>, иначе в графе '''G''' есть гамильтонов цикл. Пусть j <math> \in S \cap T </math>. Тогда получим гамильтонов цикл графа '''G''' : <math>\ U_1 - U_{j+1} - U_{j+2} - ... - U_n - U_j - U_{j-1} - ... - U_1 </math> <br>Из определений <math>\ S </math> и <math>\ T </math> следует, что <math>\ S \cup T \sube \{1, 2, ..., n - 1 \} </math>
}}
