Esiste un algoritmo avido per trovare la copertura minima del vertice di un albero che utilizza l'attraversamento DFS.
- Per ogni foglia dell'albero, seleziona il suo genitore (cioè il suo genitore è nella copertura minima del vertice).
- Per ciascun nodo interno:
se uno dei suoi figli non è selezionato, selezionare questo nodo.
Come posso dimostrare che questa strategia avida dà una risposta ottimale? Che non esiste una copertura del vertice di dimensioni inferiori a quella prodotta dall'algoritmo sopra?