Изменения

Заметим, что поскольку мы сделали нашу перестановку в виде зацикленного списка, то мы можем рассматривать перебор все пар соседних в перестановке вершин, как сдвиг указателя на начало списка. Тогда будем сдвигать указатель на нашу перестановку так, чтобы она начиналась с рассматриваемой пары На <tex>k</tex>-ой итерации внешнего цикла рассматриваются вершины <tex>\mathrm{v}_i _k \mathrm{v}_{ik+1}</tex>. Если теперь Возможно 2 случая:* между первыми двумя вершинами ними есть ребро, то можем переходить к рассмотрению следующей пары, так как в этом случае мы и тогда делать ничего не делаем. Если же надо;* между ними ребра нет, то докажем, что обязательно найдется вершина и тогда надо найти такую вершину <tex> \mathrm{v}_j \in \mathbb{V} \setminus \{\mathrm{v}_1, \mathrm{v}_{2}\}</tex>, такая что <tex>\mathrm{v}_1 _k \mathrm{v}_j,\ \mathrm{v}_2 _{k+1} \mathrm{v}_{j+1} \in \mathbb{E} </tex>.;