Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Instalar
Acesso mais rápido do que o navegador!
 

P-completo e Problema de satisfatibilidade booliana

Atalhos: Diferenças, Semelhanças, Coeficiente de Similaridade de Jaccard, Referências.

Diferença entre P-completo e Problema de satisfatibilidade booliana

P-completo vs. Problema de satisfatibilidade booliana

Na teoria da complexidade computacional, a noção de problema de decisão P-completo é útil na análise de questões como. Na teoria da complexidade computacional, o problema de satisfatibilidade booliana (do inglês boolean satisfiability problem, muitas vezes abreviado como SATISFIABILITY ou SAT) foi o primeiro problema identificado como pertencente à classe de complexidade NP-completo.

Semelhanças entre P-completo e Problema de satisfatibilidade booliana

P-completo e Problema de satisfatibilidade booliana têm 5 coisas em comum (em Unionpedia): Cláusula de Horn, Complexidade computacional, NP (complexidade), NP-completo, Problema de decisão.

Cláusula de Horn

Em lógica, uma cláusula de Horn é uma cláusula (disjunção de literais) com no máximo um literal positivo.

Cláusula de Horn e P-completo · Cláusula de Horn e Problema de satisfatibilidade booliana · Veja mais »

Complexidade computacional

A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.

Complexidade computacional e P-completo · Complexidade computacional e Problema de satisfatibilidade booliana · Veja mais »

NP (complexidade)

Na teoria da complexidade computacional, NP é o acrônimo em inglês para Tempo polinomial não determinístico (Non-Deterministic Polynomial time) que denota o conjunto de problemas que são decidíveis em tempo polinomial por uma máquina de Turing não-determinística.

NP (complexidade) e P-completo · NP (complexidade) e Problema de satisfatibilidade booliana · Veja mais »

NP-completo

Na teoria da complexidade computacional, a classe de complexidade é o subconjunto dos problemas NP de tal modo que todo problema em NP se pode reduzir, com uma redução de tempo polinomial, a um dos problemas NP-completo.

NP-completo e P-completo · NP-completo e Problema de satisfatibilidade booliana · Veja mais »

Problema de decisão

Na teoria da computabilidade e na teoria da complexidade computacional um problema de decisão é uma questão sobre um sistema formal com uma resposta do tipo sim-ou-não.

P-completo e Problema de decisão · Problema de decisão e Problema de satisfatibilidade booliana · Veja mais »

A lista acima responda às seguintes perguntas

Comparação entre P-completo e Problema de satisfatibilidade booliana

P-completo tem 24 relações, enquanto Problema de satisfatibilidade booliana tem 48. Como eles têm em comum 5, o índice de Jaccard é 6.94% = 5 / (24 + 48).

Referências

Este artigo é a relação entre P-completo e Problema de satisfatibilidade booliana. Para acessar cada artigo visite:

Ei! Agora estamos em Facebook! »