Separação de classes com diferentes quantidades de conselhos?


9

O teorema da hierarquia de tempo permite mostrar que, por exemplo, existem problemas em P que não podem ser resolvidos no tempo menos que const * n ^ 2 por uma máquina de Turing. Mas dê alguns conselhos à máquina de Turing e todas as apostas estão fora. Ainda não se pode mostrar que mesmo um circuito de tamanho linear não pode resolver todo o PSPACE. Então, e se tentarmos comparar duas classes diferentes nas quais ambas têm conselhos? Por exemplo, pode-se separar o espaço polinomial com orientação logarítmica do tempo linear com orientação linear? Essa é apenas uma pergunta de exemplo inventada, estou me perguntando que resultados gerais existem nesse sentido.


@ Tsuyoshi: adicionei a [advice]tag e fiz algumas alterações (como digitar matemática), mas o OP reverteu minhas alterações! Obrigado por adicionar as tags corretas novamente.
MS Dousti 19/11/2010

Desculpe, fiz a reversão porque a matemática tipográfica parecia um pouco difícil de ler, mas obrigado pela tag.
amigos estão dizendo sobre matt hastings

@Sadeq: adicionei as tags [conselhos] e [separação] sem perceber o histórico. Obrigado pela observação!
Tsuyoshi Ito

Respostas:


5

Seja alguma função. Pode-se provar que:s(n)n

DSEuZE(s)DTEuME(s2)/F(O(sregistros))

DSEuZE(s)sK/FKF

F(f)={h:{0 0,1}{0 0,1}|h(x)|f(|x|) para todos x}

d(n)registron

DDEPTH(d)DSPUMACE(d)/F(2O(d))

DDEPTH(d)d


Editar: mais duas inclusões:

Para , temost(n)nDTEuME(t)DSEuZE(tregistrot)eu(n)registronNSPUMACE(eu)DDEPTH(eu2)


Para provas, consulte a seção 2-3 do livro de Heribert Vollmer .

Usando essas inclusões e hierarquias de tempo / espaço, é possível construir hierarquias para classes de complexidade não uniformes.


Edição 2:

Você pode combinar os resultados acima com os seguintes resultados em hierarquias para classes com conselhos:

  1. Hierarquias temporais para cálculos com alguns conselhos .
  2. Limites Incondicionais Incondicionais Contra Conselhos .

Não tenho certeza se isso responde à pergunta. Ele coloca circuitos nas linguagens com conselhos (o que eu estava implicitamente fazendo e é bastante claro por que isso é verdade), mas não responde (a menos que esteja faltando alguma coisa?) À pergunta sobre como obter a separação? Quero dizer, você menciona hierarquias de tempo / espaço, mas então quais são as hierarquias conhecidas para as classes com conselhos?
amigos estão dizendo sobre matt hastings

@matt: veja se a resposta editada se encaixa no que você precisa.
MS Dousti

Esse é o tipo de coisa que estou procurando, obrigado.
amigos estão dizendo sobre matt hastings
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.