Código del algoritmo exacto.