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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

proper nounthe 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

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

Full word history & related roots →
Cite this entry
APA

Karp-Lipton theorem. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Karp-Lipton%20theorem

MLA

“Karp-Lipton theorem.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Karp-Lipton%20theorem. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Karp-Lipton theorem,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Karp-Lipton%20theorem.

Source: Karp-Lipton theorem on Wiktionary, CC BY-SA 4.0.