Ecco il mio problema:
Dopo una visita in profondità viene creata una foresta di visita. Ora
posso studiare i nodi del grafo in funzione di quelli appartenenti
alla foresta, e se il grafo è aciclico, non esistono archi all'indietro.
Ora, c'è un modo più veloce per la verifica di questa proprietà
diverso dall'applicare la definizione? (Cioè, confronto ogni arco del
grafo con quelli della foresta, e se trovo un arco all'indietro
allora il grafo contiene un ciclo.)
Ciao,
Emanuele
-- "La Natura ride alle dificoltà di integrazione." Pierre Simon Laplace