algoritmo non oracolo per i cammini
typo cap 3
introduzione ai grafi planari