Search anything:

Cook-Levin's Theorem

Binary Tree book by OpenGenus

Open-Source Internship opportunity by OpenGenus for programmers. Apply now.

Table of contents

  • A brief history
  • The Cook-Levin theorem
  • Analyzing the Cook-Levin theorem
  • Applications of the Cook-Levin theorem

Key Takeaways (Cook-Levin theorem)

  • The Cook–Levin theorem, states that the Boolean satisfiability problem(SAT) is NP-complete.
  • Any problem in the NP category can be converted to a SAT in polynomial time.
  • The Cook–Levin theorem, states that the Boolean satisfiability problem(SAT) is NP-complete.
  • if you can efficiently solve a SAT, you can efficiently solve all problems in NP.
  • It was independently proved by Stephen Arthur Cook and L.A. Levin in 1973.
  • It is used in algorithm design and problem classification.

A Brief History

In 1971 Stephen Cook an American mathematician and computer scientist first introduced his groundbreaking work in which he formulated the concept of NP-completeness and presented his proof that the Boolean satisfiability problem (SAT) is NP-complete. The paper marked a significant milestone in the field of theoretical computer science. In the same year, Leonid Levin, a Soviet mathematician, also independently discovered similar results, but his work remained relatively unknown due to the Cold War. In subsequent years the Cook-Levin theorem and the theory of NP-completeness became central to the field of theoretical computer science and the independent discoveries of NP-completeness laid the foundation for the development of computational complexity theory.

The Cook-Levin theorem

In computational complexity theory the Cook–Levin theorem, also known as Cook’s theorem, states that the Boolean satisfiability problem also known as SAT is NP-complete. That means it is in the class of NP problems, and any problem in NP can be reduced in polynomial time by a deterministic Turing machine to the Boolean satisfiability problem.

In other words, for any Boolean formula in conjunctive normal form (CNF), there is a polynomial-time reduction to the Boolean satisfiability problem (SAT). Given a CNF formula, you can transform it into an equivalent SAT instance in polynomial time. This theorem is a fundamental result in computational complexity theory, demonstrating the NP-completeness of the SAT problem, which means that if you can solve SAT efficiently (in polynomial time), you can solve a wide range of other computational problems efficiently as well.

Analyzing the cook-Levin theorem

In order to understand the cook-levin theorem it is important to describe the key terminologies used in the theorem and in computational complexity.

Boolean Formula

A Boolean formula is a mathematical expression constructed using variables, logical operators, and constants from the set of Boolean values, which consists of "true" and "false."
The basic elements of a Boolean formula include:
Variables: These are symbols or letters representing values that can be either true (1) or false (0). Variables can be used to denote different conditions or states.
Constants: Constants are fixed Boolean values, usually "true" (1) or "false" (0).
Logical Operators: These are symbols that are used to combine variables and constants to create more complex expressions. Common Boolean operators include:

  • AND (conjunction): denoted by the symbol "∧" or "AND". It returns true only when both operands are true.
  • OR (disjunction): denoted by the symbol "∨" or "OR". It returns true when at least one of the operands is true.
  • NOT (negation): denoted by the symbol "¬" or "NOT". It reverses the truth value of the operand, i.e., true becomes false and vice versa.
  • XOR (exclusive or): denoted by the symbol "⊕" or "XOR". It returns true when exactly one of the operands is true.

Conjunctive Normal Form(CNF)

Conjunctive Normal Form (CNF) is a standard way to represent logical expressions in propositional logic. It is a particular form that simplifies the analysis and manipulation of logical statements. CNF is particularly useful in the context of Boolean satisfiability problems (SAT).
A logical expression is said to be in CNF if it is a conjunction (AND) of one or more clauses, where each clause is a disjunction (OR) of one or more literals. A literal is a variable or its negation. Here are some key characteristics of CNF:

Conjunction of Clauses: A CNF expression is formed by taking the conjunction of multiple clauses. The use of "AND" between clauses implies that all the clauses must be true for the entire expression to be true.
Disjunction of Literals: Each clause consists of a disjunction of literals, meaning they are connected with "OR" operators. At least one literal within a clause must be true for the clause to be true.
Variables and Negations: A literal can be a variable (e.g., "A") or its negation (e.g., "¬A"). In CNF, the negation is typically represented as a bar over the variable (e.g., "A" and "¬A").

For example, let's say you have a logical expression:

(A OR B) AND (¬C OR D OR ¬E) AND (F)

This expression is in CNF because it is a conjunction of three clauses:

1. (A OR B)
2. (¬C OR D OR ¬E)
3. (F) 

Boolean Satisfiability(SAT)

Boolean satisfiability, often abbreviated as SAT, is a fundamental problem in computer science and mathematical logic. It deals with determining the satisfiability of a given Boolean formula, which means determining if there is an assignment of truth values (true or false) to the variables in the formula that makes the entire formula true. If such an assignment exists, the formula is considered satisfiable; otherwise, it is unsatisfiable. For example, consider the Boolean formula:


To check its satisfiability, you can try different assignments of true and false values to the variables A, B, and C and see if the formula becomes true. If you find at least one assignment that makes the formula true, then the formula is satisfiable. If no such assignment exists, the formula is unsatisfiable.


NP-completeness is a concept in computational complexity theory that deals with classifying problems based on how difficult they are to solve. NP-complete problems belong to a specific class of problems within the broader class of NP (nondeterministic polynomial time) problems.
Here's a breakdown of the distinct class of problems :

P Problems (Polynomial Time): These are decision problems that can be solved by a deterministic Turing machine in polynomial time, meaning the time it takes to solve the problem is bounded by a polynomial function of the problem's input size. P problems are considered "efficient" to solve. An example of a P problem would be to determine whether a given number is prime and the time complexity of such problem is O(n^2), where n is the number of digits in the input.

NP Problems (Nondeterministic Polynomial Time): These are decision problems for which a proposed solution can be verified in polynomial time. In other words, if you have a potential solution, you can quickly check whether it's correct. However, finding a solution in the first place may not be so efficient. NP problems are a class of problems that include P problems, but they are not necessarily easy to solve. The Hamiltonian Cycle Problem is a classic NP problem and it's time complexity can vary depending on the specific graph in use, but in the worst case, it can be exponential, making it a computationally difficult problem.

NP-Complete Problems: NP-complete (NP-C) problems are a subset of NP problems with a particular property. A problem is NP-complete if it is both in NP and has a property that makes it one of the hardest problems in NP. This property is called "NP-hardness." An NP-complete problem has the following two characteristics:
a. It is in NP, meaning that a proposed solution can be checked in polynomial time.
b. It is NP-hard, which means that any problem in NP can be reduced to it in polynomial time. If you could efficiently solve an NP-complete problem, you could efficiently solve all problems in NP, making you essentially able to solve all problems with quickly verifiable solutions.

The most famous example of an NP-complete problem is the traveling salesman problem, which asks for the shortest possible route that visits a given set of cities and returns to the starting city. Other well-known NP-complete problems include the knapsack problem, and the Boolean satisfiability problem (SAT) which was proved to be NP-complete by the cook-levin theorem.
The concept of NP-completeness is essential because it allows researchers to identify problems that are likely to be inherently difficult to solve efficiently. If someone were to find a polynomial-time algorithm for one NP-complete problem, it would imply that polynomial-time algorithms exist for all problems in NP, and that would have profound implications in computer science and mathematics.

Deterministic Turing machine

A Deterministic Turing Machine (DTM) is a theoretical model of computation used in the field of computer science and computational theory. It's a mathematical abstraction that represents a simple computing device, consisting of an infinitely long tape, a read/write head that moves along the tape, and a finite set of states. The key characteristics of a DTM are:
Determinism: At each step, a DTM reads the symbol under its tape head and transitions to a new state based on the current state and the symbol it reads. Unlike a non-deterministic Turing machine, a DTM has a unique, deterministic transition for each possible input symbol and current state.
Sequential Computation: DTMs operate in a sequential manner, processing one symbol at a time and moving the tape head left or right.DTMs are used in the Cook-Levin Theorem to establish the concept of polynomial-time reduction, the idea is to show that the SAT problem is NP-complete, which means it's at least as hard as the hardest problems in the NP class.
To prove SAT is NP-complete, you need to demonstrate two things:
1. SAT is in NP, meaning that given a proposed solution (i.e., a satisfying assignment), you can verify its correctness in polynomial time using a DTM.
2. SAT is NP-hard, meaning that any problem in NP can be reduced to SAT in polynomial time using a DTM.
The second part of the proof relies on polynomial-time reductions from other problems in NP to SAT. These reductions demonstrate that any problem in NP can be transformed into an equivalent SAT instance, effectively showing that SAT is NP-hard. The use of DTM is implicit in these reductions because they need to be computable in a deterministic, sequential manner.
In essence, the Cook-Levin Theorem relies on the notion that if you can solve SAT using a deterministic Turing machine in polynomial time, you can also solve any problem in NP using a deterministic Turing machine in polynomial time, thus establishing SAT as NP-complete.

Applications of Cook-Levin Theorem

Here are some of the key applications and uses of the Cook-Levin theorem:
Problem Classification: The Cook-Levin theorem is used to classify decision problems into complexity classes. It showed that the Boolean satisfiability problem (SAT) is NP-complete, meaning it's one of the hardest problems in the NP class. By reducing other problems to SAT, you can establish their NP-completeness and their computational difficulty.
Reduction Technique: The Cook-Levin theorem introduced the notion of polynomial-time reductions. Given a known NP-complete problem, you can reduce it to another problem you're interested in determining the complexity of. If this reduction can be done in polynomial time, and the new problem is polynomial-time equivalent to the known NP-complete problem, it implies that the new problem is also NP-complete. This approach is widely used to prove the NP-completeness of various problems.
Problem Solving: The Cook-Levin theorem has practical applications in solving real-world problems. Many problems encountered in practice can be mapped to known NP-complete problems. This means that if a solution can be found to an NP-complete problem efficiently, it can be used to solve a wide range of other problems efficiently.
Algorithm Design: The concept of NP-completeness helps guide algorithm designers. When faced with a new problem, if it can be shown to be NP-complete, it's a signal that finding an efficient (polynomial-time) algorithm for it may be unlikely. On the other hand, if a polynomial-time algorithm is found for an NP-complete problem, it has implications for the entire NP complexity class.
Cryptography: The concept of NP-completeness plays a role in cryptography, particularly in the design of cryptographic protocols. Problems that are difficult to solve (i.e., NP-complete) form the basis for certain encryption methods and digital signatures.
Optimization: Many optimization problems are related to NP-complete problems. By understanding the NP-completeness of a problem, it helps identify situations where finding an optimal solution might be challenging.
Academic Research: The Cook-Levin theorem and NP-completeness serve as foundational concepts in theoretical computer science. They provide a framework for understanding the difficulty of problems and form the basis for further research into computational complexity.
Educational Tool: The Cook-Levin theorem and the concept of NP-completeness are often used in computer science education to teach students about problem classification, reduction techniques, and the inherent challenges of solving certain problems efficiently.


The Cook-Levin theorem, established in 1971 by Stephen Cook, and independently discovered by L.A. Levin, is a foundational result in computational complexity theory. It asserts that the Boolean satisfiability problem (SAT) is NP-complete, meaning it is one of the hardest problems in the NP complexity class. By reducing NP problems to SAT, it allows for the classification of their NP-completeness, which serves as a guide for determining their computational difficulty. Additionally, the Cook-Levin theorem has practical applications in solving real-world problems and plays a role in the design of algorithms, cryptographic protocols, and in problem classification. It continues to be a critical concept in computer science education and academic research, providing insights into problem complexity and optimization challenges.

Cook-Levin's Theorem
Share this