Un ciclo hamiltoniano es un camino cerrado en un grafo que visita cada vértice exactamente una vez. Determinar si un grafo contiene un ciclo hamiltoniano es un problema NP-completo cuya solución puede ser verificada pero no encontrada eficientemente. El análisis asintótico de los algoritmos para encontrar ciclos hamiltonianos es exponencial O(n2).