Se olharmos para o teorema da hierarquia DTIME, temos um log devido à sobrecarga na simulação de uma máquina de Turing determinística por uma máquina universal: DTIME(flogf)⊊DTIME(f)DTIME(flogf)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Não temos esse tipo de sobrecarga para o NTIME do...
Em uma frase: a existência de uma hierarquia para implicaria algum resultado de des randomização?B P T I M EBPTIME\mathsf{BPTIME} Uma questão relacionada, mas mais vaga, é: a existência de uma hierarquia para implica limites inferiores difíceis? A resolução desse problema atinge uma barreira...
O teorema original da hierarquia de tempo não determinística é devido a Cook (o link é para S. Cook, uma hierarquia para complexidade de tempo não determinística , JCSS 7 343–353, 1973). O teorema afirma que, para qualquer número real e , se então NTIME ( ) está estritamente contido em NTIME ( ).r...
É verdade que existem problemas na hierarquia polinomial solucionáveis no tempo (por uma máquina de Turing alternada em algum nível da hierarquia polinomial) que não são solucionáveis em em algum nível da hierarquia polinomial? Em outras palavras - existe um teorema da hierarquia de tempo para...
Defina como a classe de idiomas que pode ser aceita por uma máquina de Turing (multitape) no tempo f ( n ) + 1 . (O " + 1 " é apenas para simplificar a notação e evitar confusão.) Observe que não há O ( ⋅ ) em torno de f ( n ) + 1 .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+...
O teorema da hierarquia de tempo afirma que as máquinas de turing podem resolver mais problemas se tiverem (bastante) mais tempo. Isso vale de alguma forma se o espaço é limitado assintoticamente? Como relaciona com se cresce rápido o
f, gf,gf,gf( N ) logf( n ) = o ( g( N ) )f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )D TEuME( f( N ) ) ⊊ D TEuME( g( N ) )DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f, gf,gf,gf( n + 1 ) = o ( g( N ) )f(n+1)=o(g(n))f(n+1)=o(g(n))é NTEuME( f( n ) ) ⊊...
\newcommand{\cc}[1]{\mathsf{#1}} Um teorema ao longo das seguintes linhas é válido: Se é um pouco maior que , então ?g(n)g(n)g(n)f(n)f(n)f(n)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) É...