Una classe di algoritmi per contrassegnare tutti i nodi raggiungibili in un grafo orientato di puntatori di retromarcia sulla strada verso il basso, quindi ripristinandoli uscendo. Utilizza solo pochi bit di spazio extra per ogni nodo e alcune indicazioni di lavoro.