Consultas Teórico/Práctico

O sea, si v ya fue explorado y no es igual a padre[u], entonces estamos en presencia de un ciclo no? con esa arista u-v siendo la que cumple la propiedad 3.7, de ahí como sería el algoritmo para encontrar el ciclo?