Algoritmo che per ogni istanza restituisce sempre la soluzione corrispondente.
Un algoritmo non è corretto non solo se c'è qualche istanza per cui restituisce la soluzione sbagliata, ma anche se c'è qualche istanza per cui non termina mai!
