Um ciclo em teoria de grafos é um caminho em que o primeiro e o último vértice coincidem, mas nenhum outro vértice é repetido".[1] Um ciclo é uma cadeia simples e fechada.[2][3]
Em grafos não direcionados, para configurar um ciclo o caminho precisará de no mínimo três arestas, com o primeiro e último vértice se coincidindo e todos outros distintos. Em grafos direcionados precisa-se apenas de uma aresta para configurar um ciclo.[4][5]
O comprimento de um ciclo é o número de arestas que o caminho possui. Um ciclo com comprimento 1, é chamado de laço (loop).[4]
O termo ciclo pode também ser usado para se referir ao grafo que contém os vértices e arestas de um ciclo na definição acima.[1]
Definição matemática
Matematicamente: Seja G um grafo. Um ciclo em G é um caminho