Цикл в графе — это непустая последовательность ребер (u, v1), (v1, v2)... (vk, u), которая начинается и заканчивается в одной и той же вершине.

Ациклический граф (рис. 14.7) — это граф, не имеющий циклов.