Existe algum limite inferior não trivial no tempo de execução dos algoritmos de gráfico na RAM / PRAM / modelos de computação? Não estou procurando os resultados da dureza NP aqui.
A seguir está um resultado que eu pude encontrar [veja ref L92]:
- 3-A coloração de um ciclo n requer tempo .
Fiquei curioso para saber se houve algum progresso / trabalho no sentido de obter limites mais baixos para problemas como: Caminhos mais curtos (com / sem pesos negativos), Mincut, st Fluxos máximos, Correspondência máxima (cardinalidade / ponderada). Quaisquer referências relacionadas a isso são muito apreciadas e úteis.
Referência
[ L92 ] N. Linial, localidade em algoritmos de gráfico distribuído, SIAM Journal on Computing, 1992, 21 (1), pp. 193-201
EDIT: Como sugerido por Robin Kothari nos comentários, estou tornando a pergunta mais direcionada.
Respostas:
No modelo PRAM sem operações de bit , são conhecidos limites inferiores bastante fortes. Por exemplo, neste modelo, não é possível resolver min-cut no tempo em processadores [1].O(n−−√) 2O(n√)
Apesar de ser um modelo restrito, é forte o suficiente para computar o determinante com eficiência e inclui a maioria dos algoritmos padrão para problemas de otimização combinatória em politempo. Veja aqui , aqui ou o documento original para mais detalhes.
[1] Mulmuley, K. Limites inferiores em um modelo paralelo sem operações de bit . SIAM J. Comput., 28 (4), 1460–1509, 1999. ( da página do autor sem paywall )
fonte