Existe algum problema natural em P para o qual o limite de tempo de execução mais conhecido seja da forma , em que é uma constante irracional ?α
Existe algum problema natural em P para o qual o limite de tempo de execução mais conhecido seja da forma , em que é uma constante irracional ?α
Respostas:
Embora eu não tenha feito a análise e isso não seja estritamente um problema de decisão, estou disposto a apostar que os algoritmos de multiplicação de matriz mais conhecidos (de Coppersmith, Winograd, Stothers, Williams, et al) têm expoente irracional.
Isso pode ser visto com mais clareza no caso simples do algoritmo de Strassen, que possui o tempo de execução .
E isso não é exatamente o que você pediu, mas Ryan Williams mostrou que todos os algoritmos que resolvem SAT no espaço requerem tempo , que é outra aparência interessante e incomum de uma constante irracional no TCS. n 2 cos ( π / 7 ) - o ( 1 )