implementacion inicial del algoritmo exacto