Función auxiliar que comprueba la factibilidad de una solución parcial.