21 problemas NP-completos de Karp
Na teoria da complexidade computacional, os 21 problemas NP-completos de Karp é um conjunto de problemas computacionais que são NP-completos. Em seu artigo de 1972, "Reducibility Among Combinatorial Problems", Richard Karp usou o teorema de que o problema da satisfatibilidade é NP-completo de Stephen Cook publicado em 1971,(também chamado teorema de Cook-Levin), para mostrar que existe uma redução por mapeamento em tempo polinomial do problema de satisfatibilidade para cada uma das 21 dos problemas computacionais de combinatória e da teoria dos grafos, mostrando assim que todos eles são NP-completos.