Изменения
→Определения
# G - ацикличен, при добавлении любого ребра для несмежных вершин появляется цикл
# G - связный граф, отличный от <tex> K_p </tex> для <tex> p >= 3 </tex>, при добавлении любого ребра для несмежных вершин появляется цикл
# G - граф, отличный от <tex> K_3 \cup K_1 </tex> и <tex> K_3 \cup K_2 </tex>, количество вершин <tex>n</tex>, а ребер <tex>n - 1</tex>, при добавлении любого ребра для несмежных вершин появляется цикл
==Доказательство эквивалентности==
