Definition
Cycle
Let
be an undirected graph. A cycle is a sequence where
are pairwise distinct vertices and with indices taken modulo
, so . Thus, the sequence follows edges from its starting vertex back to itself without visiting any other vertex twice.