Изменения

Цикл - это класс эквивалентности циклических путей на отношении эквивалентности таком, что два пути эквивалентны, если <tex> \exists j : \forall i \Rightarrow e_{(i \mod k)} = e'_{(i + j) \mod k}</tex>; где <tex>e </tex> и <tex>e' </tex> - это две последовательности ребер в циклическом пути.