Hierarquias de tempo no DSPACE (O (s (n)))

12

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(f(n),O(s(n)))fg

Estou interessado especialmente no caso em que , e .s(n)=ng(n)=n3f(n)=2n

Em particular, considerei o seguinte idioma: Lk:={(M,w):M rejects (M,w) using at most |M,w|3 time steps, k|M,w| cells and four different tape symbols}

No entanto, pode ser decidido em etapas usando .Lkn3(k+1)nO(n)

Sem limitar a quatro símbolos de fita e, assim, permitir comprimir células em células, obtemos problemas de espaço ao simular um com muitos símbolos de fita. Nesse caso, o idioma não está mais em . O mesmo acontece ao definir para alguns que podem ser calculados com rapidez suficiente.MO(n)nMDSPACE(O(n))k=h(|w|)h

Esta questão é basicamente uma reformulação da minha pergunta aqui .

Resumo de edição: Alterado para , no entanto, acho vale a pena pensar também no cruzamento.DSPACE(s(n))DTIME(f(n))DTISP(f(n),s(n))

Henning
fonte
Awesome question !! Também é bastante interessante observar DTISP (g (n), s (n)) vs DTISP (f (n), s (n)) se crescer rápido o suficiente. DTISP (g (n), s (n)) representa idiomas que podem ser resolvidos por um único algoritmo que é executado no máximo g (n) tempo usando o espaço s (n) enquanto DTIME (g (n)) DSPACE ( s (n)) representa idiomas com dois algoritmos em que um algoritmo é executado em g (n) tempo e o outro algoritmo é executado no espaço s (n). fg
22717 Michael Wehar
1
Opa ... Na verdade, eu escrevi D-SPACE (O (s (n))) - TIME (g (n)) primeiro, mas não gostei da aparência do que o MathJax criou com isso, então mudei rapidamente para DSPACE (O (s (n))) TI DTIME (g (n)) sem pensar muito sobre isso. Minha pergunta inicial é sobre o que escrevi primeiro, mas a interseção DSPACE (O (s (n))) ∩ DTIME (g (n)) também é muito interessante - fico feliz por ter cometido esse erro. Claramente DTISP (g (n), s (n)) ⊆ DTIME (g (n)) ∩ DSPACE (s (n)). Esta é uma inclusão adequada? De acordo com a wikipedia, sua propriedade é desconhecida para DTISP (P, PolyL) ⊆ DTIME (P) ∩ DSPACE (PolyL): wikiwand.com/en/SC_(complexity)
Henning
Legal!! Obrigado pelo seu esclarecimento. Estou realmente interessado nesses tipos de problemas. :)
Michael Wehar
DTISP(2n,n)=DSPACE(n) . Portanto, seu segundo caso é trivial.
precisa saber é o seguinte
Vale ressaltar que uma hierarquia de tempo para uma quantidade fixa de espaço pode ser obtida para máquinas de Turing com fitas para fixo usando argumentos semelhantes aos de Hopcroft-Paul-Valiant e hierarquias de tempo apertado para máquinas de fita . Veja, por exemplo, WJ Paul. `On hierarquias de tempo 'em STOC'77k kkkk
Sam McGuire

Respostas:

5

Este é um problema aberto: está aberto se (ou mesmo ). Sabemos apenas que .DTISP(O(nlogn),O(n))=DSPACE(O(n))NSPACE(O(n))DTIME(O(n))DSPACE(O(n/logn))

No entanto, sob conjecturas plausíveis de complexidade computacional, existe uma hierarquia adequada. Por exemplo, se para cada , CIRCUIT-SAT ∉ io- , então onde , é , e é tempo-espaço constructible.O ( 2 n - ε )ε>0O(2nε)DTISP(O(f),O(s(n)))DTISP(O(f1+ε),O(s(n)))
f(n)nf(n)2o(min(n,s(n)))f

Em particular (sob a hipótese), a existência de uma atribuição satisfatória para circuitos com entradas e tamanho serve como um contra-exemplo à igualdade das classes.lg(f1+ε/2)(logf)O(1)

Notas:

  • CIRCUIT-SAT é pelo menos tão difícil quanto SAT (que é usado na hipótese de tempo exponencial forte).k

  • Por convenção, em CIRCUIT-SAT, é o número de fios de entrada; o tamanho do circuito é .nnO(1)

  • Se a suposição usada CIRCUIT-SAT para tamanhos de circuito quase-lineares, o limite em pode ser relaxado para . Além disso, suposições mais fracas / mais fortes sobre a dureza do CIRCUIT-SAT fornecem hierarquias mais fracas / mais fortes (que atualmente podemos provar).f(n)O((2ε)min(n,s(n)))

  • io significa infinitamente frequentemente e pode ser descartado para que, em certo sentido, são contínuos (incluindo ).ff(n)=na

  • Parece provável que a hierarquia do DTISP seja nítida o suficiente para distinguir de (e talvez ) (quando não for muito grande em relação ao espaço permitido).O(f)o(f/logf)o(f)f

  • Para distinguir de , precisamos apenas da suposição mais fraca P ≠ PSPACE.na2n

Dmytro Taranovsky
fonte