Perguntas com a marcação «time-hierarchy»

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(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Não temos esse tipo de sobrecarga para o NTIME do DSPACE. Uma justificativa básica vem dos detalhes da prova, considerando …

30 cc.complexity-theory  universal-computation  time-hierarchy 

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 conhecida na teoria da complexidade?B P …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

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 …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

É 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 a hierarquia polinomial como …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

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 suficiente?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Estou interessado especialmente no caso em que , …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

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 …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

f, gf,gf,gf( N ) logf( n ) = o ( g( N ) )f(n)log⁡f(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( …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

\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) É fácil mostrar que , pelo menos. Prova: Suponha que não. Então então e, portanto, (por preenchimento) . Mas então nossa suposição implica que , …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems