Si el estado de "v" es NO_VISITADO, entonces "(u,v)" ∈ DF,