Perguntas com a marcação «np»

Perguntas sobre problemas de decisão que podem ser resolvidos em máquinas de Turing não determinísticas em polinômio de tempo no comprimento da entrada.

1
Escrever um número como dois quadrados e escrever os fatores de um número são igualmente difíceis?
Seja e o seguinte:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} ReivindicarL1≤PL2L1≤PL2L_1 \leq_P L_2 Prova de esboço Se eu quero saber se .r∈L1r∈L1r\in L_1 O número …
3
É
Suponha ΠΠ\Pi é um problema de decisão decidível. Faz ¸ ∉ NPΠ∉NP\Pi\not \in NP implicar ΠΠ\Pi é NPNPNP-Difícil? Edit: se assumirmos que existe ¸ ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPentão terminamos. Podemos refutar a reivindicação sem suposições desconhecidas?
2
Uma prova de uma frase de P ⊆ NP
Recentemente, estou lendo um documento [1]. Neste documento, o Prof. Cook fornece uma breve prova deP⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}, que é apenas uma frase: É trivial mostrar que P⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}, já que para cada idioma LLL sobre ΣΣ\Sigma, E se L∈PL∈PL \in \mathbf{P} então podemos definir a relação de verificação …
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.