Es un algoritmo teórico.