Robin K. Hill,Carlos Baquero
Abstract:Robin K. Hill teaches how proofs lead to the truth, while Carlos Baquero searches for truth in imagery.
computer science, theory & methods, software engineering, hardware & architecture
What problem does this paper attempt to address?
This paper explores how to reduce a language \(A\) to the Boolean satisfiability problem (SAT), especially by constructing a propositional formula \(\phi\) to achieve this goal. Specifically, the problem that the paper attempts to solve is:
**How to construct a propositional formula \(\phi\) such that \(\phi\) has a satisfying assignment if and only if the non - deterministic Turing machine \(N\) accepts the input string \(w\)?**
### Background and Motivation
1. **NP - Completeness**: The core of the paper is to prove that SAT is an NP - complete problem. This means that if any NP problem can be reduced to SAT, then SAT is an NP - complete problem.
2. **Turing Machine \(N\)**: Assume that there is a non - deterministic Turing machine \(N\) that decides the language \(A\) in polynomial time \(O(n^k)\), where \(n\) is the length of the input string \(w\).
3. **Accepting Computation History**: For each string \(w\) belonging to the language \(A\), there is an accepting computation history, that is, a series of configurations of \(N\) on \(w\).
### Constructing the Propositional Formula \(\phi\)
To construct the propositional formula \(\phi\), the paper adopts the following steps:
1. **Tabular Method**: Assume an arbitrary string \(w\in A\) and record each step of its accepting computation history in a table.
2. **Variable Definition**: Define variables for each cell in the table, which represent the state of the Turing machine, tape symbols, etc.
3. **Four Conjunctive Terms**:
- **First Conjunctive Term**: Establish the content of the tape unit, enumerate possible cases using disjunctive clauses, and set the truth value through legality clauses.
- **Second Conjunctive Term**: Ensure that the initial configuration contains the starting state.
- **Third Conjunctive Term**: Ensure that a certain configuration contains the accepting state.
- **Fourth Conjunctive Term**: Verify the legality of each move by defining a "window" to compare the tape units of the previous six steps and the following six steps to ensure that they conform to the transition rules of the Turing machine.
### Complexity Analysis
- **Polynomial Time**: By calculating the complexity of each part in detail, it is proved that each part is polynomial, so the entire formula \(\phi\) is also polynomial.
- **Universality**: This construction method is applicable to any NP language \(A\) and any input string \(w\), so it has universality.
### Teaching Significance
- **Understanding the Essence of Computation**: By constructing \(\phi\) in detail, students can deeply understand the working principle of the Turing machine and the essence of computation.
- **Importance of Proof**: It is not only to show the result, but more importantly, to show why the result is correct, which helps to cultivate students' logical thinking and proof ability.
In conclusion, this paper shows how to reduce NP problems to SAT by constructing the propositional formula \(\phi\), thereby proving that SAT is an NP - complete problem. This process is not only theoretically significant but also provides rich materials for teaching.