Quais são as consequências de


46

Sabemos que LNLP e que LNLL2 polyL , em que L2=DSPACE(log2n) . Nós também sabe que polyLPporque o último tem problemas completos no espaço logarítmico, muitas reduções, enquanto o primeiro não (devido ao teorema da hierarquia espacial). A fim de entender a relação entre a polyL e P , que pode ajudar a primeira compreender a relação entre L2 e P .

Quais são as consequências de L2P ?

E quanto mais forte LkP para k>2 , ou o mais fraco L1+ϵP para ϵ>0 ?


4
@ OrMeir Recentemente, adicionei uma explicação desse fato ao artigo da Wikipedia para polyL .
Argentpepper

13
L2PLPLL2

12
Boa pergunta! Eu acho que definitivamente vale a pena. Btw, aqui está uma observação simples, se , então . Portanto, temos um algoritmo mais eficiente para CNF-SAT e refutamos ETH (hipótese do tempo exponencial). L2PDSPACE(n)DTIME(2O(n))
Michael Wehar

3
Após o comentário de @ MichaelWehar, a implicação segue de um argumento de preenchimento padrão que se estende a hipóteses mais fracas: se estiver em , qualquer problema que possa ser resolvido no espaço linear (incluindo o problema de satisfação) pode seja resolvido no tempo . L1+ϵP2O(n11+ϵ)
Argentpepper 5/05

3
@SajinKoroth: Eu acho que o seu comentário, assim como (de argentpepper follow-up e) de Michael Wehar deve ser respostas ...
Joshua Grochow

Respostas:


26

A consequência a seguir é óbvia: implicaria e, portanto, .L1+ϵPLPLP

Pelo teorema da hierarquia espacial, . Se então .ϵ>0:LL1+ϵL1+ϵPLL1+ϵP


Pequena nota de rodapé: Se , então temos ou . P N L N L LPLPNLNLL
Michael Wehar

27

L2P refutaria a hipótese do tempo exponencial .

Se seguida, por um argumento de preenchimento . Isso significa que o problema de satisfação pode ser decidido em etapas, refutando a hipótese do tempo exponencial.L2P DSPACE(n)DTIME(2O(n))SATDSPACE(n)2o(n)

De maneira mais geral, para implica .DSPACE(logkn)Pk1SATDSPACE(n)DTIME(2O(n1k))

(Esta resposta foi expandida a partir de um comentário de @MichaelWehar.)


Obrigado por expandir o comentário! Eu agradeço. :)
Michael Wehar

1
Além disso, a última hipótese também implica que o esteja no DSPACE ( ) DTIME ( ). QBFn2O(n1k)
Michael Wehar

8

O isomorfismo de grupo (com grupos dados como tabelas de multiplicação) estaria em P. Lipton, Snyder e Zalcstein mostrou que esse problema está em , mas ainda está aberto se está em P. O melhor limite superior atual O tempo é e, como se reduz ao isomorfismo do gráfico, representa um obstáculo significativo para colocar o iso do gráfico em P.L2nO(logn)

Me faz pensar em que outros problemas naturais e importantes isso se aplicaria: isto é, em mas com seu tempo mais conhecido quase polinomial no limite superior.L2


1
Mais especificamente, o problema mais geral do isomorfismo do quase-grupo está em , que é uma subclasse de . β2FOLLL2
argentpepper 25/01/18

1
Além disso, o problema de classificação do grupo (dado um grupo finito G como uma tabela de multiplicação e um número inteiro k , G tem um conjunto gerador de cardinalidade k ?) Também possui essa propriedade. O algoritmo é apenas uma pesquisa nos subconjuntos de G da cardinalidade k, mas usa dois fatos importantes: (1) cada grupo finito possui um conjunto gerador de tamanho logarítmico e (2) a associação ao subgrupo está em , que é igual a . SLL
Argentpepper

1

Reivindicação: Se para alguns , e .LkPk>2Plog(CFL)PNL

Suponha que para alguns .LkPk>2

Em " Limites de memória para reconhecimento de linguagens livres de contexto e sensíveis ao contexto ", sabemos que . Pelo teorema da hierarquia espacial, sabemos que .CFLDSPACE(log2(n))DSPACE(log2(n))DSPACE(logk(n))

Por conseguinte, temos .log(CFL)DSPACE(log2(n))DSPACE(logk(n))P

Além disso, pelo Teorema de Savitch, sabemos que . Portanto, temos .NLL2NLDSPACE(log2(n))DSPACE(logk(n))P

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.