Uma classe de algoritmos para marcar todos os nós alcançáveis em um grafo direcionado invertendo os ponteiros no caminho para baixo e, em seguida, restaurá-los após o abandono. Ele usa apenas alguns bits de espaço extra por nó e algumas dicas de trabalho.