que más tarde mostró ser óptimamente eficiente en el sentido de la teoría de complejidad computacional.