El algoritmo básico de vuelta atrás es el siguiente: