Definição

Um ciclo é um caminho cujas extremidades são iguais. Ou seja:

$C = (V, E)$ é um caminho se $V = \{x_{0}, x_{1}, … x_{k}\}$ e $E = \{x_{0}x_{1}, x_{1}x_{2}, …, x_{k}x_{0}\}$.

O tamanho de um ciclo é o mesmo do seu conjunto de vértices.