Por que o NP está EXPTIME?


11

Existe uma maneira fácil de entender por que o NP está em EXPTIME? Parece-me a priori concebível que poderia haver um problema que requer tempo superexponencial para ser resolvido, mas cuja solução poderia ser verificada em tempo polinomial.


De fato, NP PSPACE.

Bem-vindo à Ciência da Computação! O que você tentou? Onde você ficou preso? Não queremos apenas fazer o seu trabalho (em casa) para você; queremos que você obtenha entendimento. No entanto, como não sabemos qual é o seu problema subjacente, não podemos começar a ajudar. Veja aqui uma discussão relevante. Se você não souber como melhorar sua pergunta, por que não perguntar no Computer Science Chat ? Você também pode conferir nossas perguntas de referência .
Raphael

Respostas:


17

Qualquer problema no NP está em EXPTIME porque você pode usar o tempo exponencial para tentar todos os certificados possíveis ou enumerar todos os caminhos de computação possíveis de uma máquina não determinística.

LR

  • p(x,y)R|y|p(|x|)
  • x#y|x#y|(x,y)R
  • L={x(x,y)R}

xL|Σ|p(n)y(x,y)R2O(p(n))LEXPTIME .

LMp(n)pnMp(|x|)xLMkMkkp(|x|)=2O(p(|x|))x


2
xy

O(k|x|)O(kp(|x|))

3
O(kp(|x|))
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.