Estou procurando mais problemas em com limites mais baixos de complexidade de tempo clássica. Algumas pessoas podem se perguntar como você pode provar um limite tão baixo. Ver abaixo.
Limites inferiores exponenciais:
Reivindicação: Se você tiver um problema que é E X P T I M E completo com reduções polinomiais, existe uma constante α ∈ R tal que X não pode ser solucionado no tempo O ( 2 n α ) .
Ideia de prova: pelo teorema da hierarquia de tempo, há um problema no tempo de O ( 2 n ) que não está em o ( 2 ntempo. Além disso, deve haver uma redução polinomial deYparaX. Portanto, existe uma constantecde tal forma que essa redução leva um exemplo de tamanhonparaYa uma instância de tamanhoncparaX. O limite inferior paraYdeO(2n 1 - ϵ )muda para um limite inferior paraXdeO(2n 1 - ϵ)tempo.
Limites inferiores polinomiais:
Alguns problemas -Complete têm nice parametrizações em problemas de tempo polinomial. Considere o problema X de antes. Suponha que tenhamos uma parametrização k - X para X tal que:
- Para cada fixo , k - X está no tempo polinomial.
É claro que há exceções nisso, mas intuitivamente, à medida que o cresce, os problemas do k - X devem ficar mais difíceis porque X tem um limite inferior da complexidade de tempo exponencial.
Um exemplo:
Um exemplo de problema que surgiu é o não vazio de interseção para autômatos em árvore. Ou seja, dada uma lista finita de autômatos de árvores, existe uma árvore que satisfaça simultaneamente todos os autômatos?
Questão:
fonte