Estou procurando exemplos naturais de algoritmos eficientes (isto é, em tempo polinomial) st
- sua correção e eficiência podem ser comprovadas construtivamente (por exemplo, na ou na ), mas
- nenhuma prova usando apenas conceitos eficientes é conhecida (ou seja, não sabemos como provar sua correção e eficiência na ou ).S 1 2
Eu mesmo posso fazer exemplos artificiais. No entanto, quero exemplos naturais interessantes, ou seja, algoritmos estudados por eles mesmos, não criados apenas para responder a este tipo de perguntas.