Estoy buscando ejemplos naturales de algoritmos eficientes (es decir, en tiempo polinómico) st
- su corrección y eficiencia pueden demostrarse de manera constructiva (p. ej., en o ), pero
- no se conoce ninguna prueba que utilice solo conceptos eficientes (es decir, no sabemos cómo demostrar su corrección y eficiencia en o ).S 1 2
Puedo hacer ejemplos artificiales yo mismo. Sin embargo, quiero ejemplos naturales interesantes, es decir, algoritmos estudiados por sí mismos, no creados solo para responder a este tipo de preguntas.