Una clase de algoritmos para marcar todos los nodos alcanzables en un grafo dirigido por medio de la inversión de punteros al pasar sobre ellos, y restaurándolos al dejar el nodo. Utiliza sólo unos pocos bits extra de espacio por nodo y unos cuantos punteros de trabajo.