[[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**!