Изменения
Нет описания правки
[[Файл:Circle 1.jpg|200px|left]] [[Файл:Circle 2.jpg|200px|right]]
Обозначим как <tex> C=v_1 v_2 v_3 \ldots v_n </tex> гамильтонов цикл в графе <tex> G </tex>. Для простоты расположим <tex> C </tex> на окружности.Также подразумевается, что все индексы при вершинах берутся по модулю, т.е. <tex> v_j = v_{((j - 1)\bmod n ) + 1} </tex>.
Пусть в графе нет цикла длины <tex> l </tex>, <tex> 3 \leqslant l \leqslant n-1 </tex> (по условию в графе существует гамильтонов цикл, длина которого равна <tex> n </tex>). Рассмотрим две соседние вершины <tex> v_i v_{i+1} </tex> и вместе с ними рассмотрим следующие пары:
