Problema di algoritmi svolto e formalizzato: Grafo