13 relações: Álgebra booliana, Co-NP, Complemento (complexidade), Complexidade computacional, NP, NP-completo, P (complexidade), P versus NP, Problema de decisão, Problema de satisfatibilidade booliana, Tautologia (lógica), Valor de verdade, 1979.
Álgebra booliana
Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações",Edward R. Scheinerman.
Novo!!: Co-NP-completo e Álgebra booliana · Veja mais »
Co-NP
Na Teoria da complexidade, co-NP é uma Classe de complexidade.
Novo!!: Co-NP-completo e Co-NP · Veja mais »
Complemento (complexidade)
Na teoria da complexidade computacional, o complemento de um problema de decisão é o problema de decisão resultante do reverso das respostas sim e não.Igualmente, se definimos problemas de decisão como um conjunto de cadeias finitas, então o complemento deste conjunto sobre um domínio fixo é seu problema-complemento.
Novo!!: Co-NP-completo e Complemento (complexidade) · 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.
Novo!!: Co-NP-completo e Complexidade computacional · Veja mais »
NP
* Notícias Populares - antigo jornal paulistano.
Novo!!: Co-NP-completo e NP · 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.
Novo!!: Co-NP-completo e NP-completo · Veja mais »
P (complexidade)
Na teoria da complexidade computacional, P é o acrônimo em inglês para Tempo polinomial determinístico (Deterministic Polynomial time) que denota o conjunto de problemas que podem ser resolvidos em tempo polinomial por uma máquina de Turing determinística.
Novo!!: Co-NP-completo e P (complexidade) · Veja mais »
P versus NP
O problema "P versus NP" é o principal problema aberto da Ciência da Computação.
Novo!!: Co-NP-completo e P versus NP · 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.
Novo!!: Co-NP-completo e Problema de decisão · Veja mais »
Problema de satisfatibilidade booliana
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.
Novo!!: Co-NP-completo e Problema de satisfatibilidade booliana · Veja mais »
Tautologia (lógica)
Na lógica proposicional, uma tautologia (do grego ταυτολογία) é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais.
Novo!!: Co-NP-completo e Tautologia (lógica) · Veja mais »
Valor de verdade
Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação.
Novo!!: Co-NP-completo e Valor de verdade · Veja mais »
1979
Foi declarado pela ONU como o "Ano Internacional da Criança e Ano Internacional de Solidariedade com o Povo da Namíbia" e corresponde, no ciclo de doze anos que forma o calendário chinês a um ano do signo "Cabra".
Novo!!: Co-NP-completo e 1979 · Veja mais »