4 relações: Co-NP, Fatoração de inteiros, Linguagem esparsa, Problema de satisfatibilidade booliana.
Co-NP
Na Teoria da complexidade, co-NP é uma Classe de complexidade.
Novo!!: Co-NP-completo e Co-NP · Veja mais »
Fatoração de inteiros
Na teoria dos números, a fatoração de inteiros é a decomposição de um número composto em um produto de números inteiros menores.
Novo!!: Co-NP-completo e Fatoração de inteiros · Veja mais »
Linguagem esparsa
Em teoria da complexidade computacional, uma linguagem esparsa é uma linguagem formal (um conjunto de strings) cujo número de strings de comprimento n na língua é limitada por uma função de polinômio n. São utilizadas principalmente no estudo da relação entre a classe de complexidade NP com outras classes.
Novo!!: Co-NP-completo e Linguagem esparsa · 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 »