Word.ws English Dictionary

Karp-Lipton theorem

Karp-Lipton theorem proper noun: a certain theorem in complexity theory, generally viewed as evidence for the nonexistence of polynomial-size circuits for the Boolean satisfiability problem or other NP-complete problems.

Proper noun

the Karp-Lipton theorem

  1. A certain theorem in complexity theory, generally viewed as evidence for the nonexistence of polynomial-size circuits for the Boolean satisfiability problem or other NP-complete problems.

Origin of Karp-Lipton theorem

It was first proved in 1980 by Richard M. Karp and Richard J. Lipton.

Questions about Karp-Lipton theorem

What does Karp-Lipton theorem mean?
Karp-Lipton theorem means a certain theorem in complexity theory, generally viewed as evidence for the nonexistence of polynomial-size circuits for the Boolean satisfiability problem or other NP-complete problems.
What part of speech is Karp-Lipton theorem?
Karp-Lipton theorem is a proper noun.

Words near Karp-Lipton theorem in the dictionary

  1. karozzini
  2. karozzins
  3. Karp
  4. Karp reduction
  5. Karp reductions
  6. Karp-Lipton theorem
  7. Karp-reducible
  8. Karpak
  9. Karpaks
  10. karpas
  11. Karpathiot

Source and license

Adapted from Wiktionary: Karp-Lipton theorem (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Karp-Lipton theorem.” Word.ws, https://word.ws/karp-lipton_theorem. Based on Wiktionary, CC BY-SA 4.0.