Abstract:This paper addresses the resolution of the 3-SAT problem using a QAOA-like approach. The chosen principle involves modeling the solution ranks of the 3-SAT problem, which, in this particular case, directly represent a solution. This results in a highly compact circuit with few gates, enabling the modeling of large-sized 3-SAT problems. Numerical experimentation demonstrates that the approach can solve instances composed of 91 clauses and 20 variables with an implementation based on Qiskit.
What problem does this paper attempt to address?
The paper primarily explores the use of a method based on the Quantum Approximate Optimization Algorithm (QAOA-like) to solve the 3-SAT problem. Specifically, the authors propose an Indirect Quantum Approximate Optimization Algorithm (IQAOA), which represents the ranking of solutions by constructing compact quantum circuits, thereby effectively handling larger instances of the 3-SAT problem.
### Main Problems Addressed by the Paper:
1. **Solving the 3-SAT Problem**: The 3-SAT problem is a classic example of an NP-complete problem, which involves determining whether a given 3-Conjunctive Normal Form (3-CNF) has a satisfying assignment. This paper aims to solve such problems, with a particular focus on efficient methods for large-scale instances.
2. **Improving Solution Efficiency**: Traditionally, methods for solving the 3-SAT problem often require exponential time complexity, especially in the worst-case scenario. By introducing the IQAOA method, this paper attempts to improve the efficiency of solving such problems.
3. **Leveraging Quantum Computing Advantages**: The authors utilize the capabilities of quantum computing, particularly the concept of quantum superposition, by constructing efficient quantum circuits to solve the 3-SAT problem, aiming to surpass the limitations of classical algorithms.
### Method Overview:
- **IQAOA Method**: This method represents solutions by mapping the ranking of solutions onto quantum states. This indirect representation makes the quantum circuits more compact, allowing for the simulation of larger problem instances on current classical computers.
- **Objective Function Design**: To guide the quantum algorithm in finding high-quality solutions, i.e., those with fewer constraint violations, the authors designed an objective function that combines mean value and trend distribution criteria.
- **Genetic Algorithm Parameter Optimization**: A genetic algorithm is used to find the optimal quantum circuit parameters (𝛽⃗, 𝛾⃗), which determine the distribution of quantum states and ultimately affect the quality of the solutions.
### Experimental Results:
- **Experiment Scale**: The paper conducted experiments on 3-SAT problem instances containing 91 clauses and 20 variables, sourced from the standard SATLIB library.
- **Performance Improvement**: Through experiments, the IQAOA method successfully increased the probability of finding high-quality solutions, showing significant advantages, especially when solving large-scale problems with more variables.
In summary, by proposing the novel IQAOA method, this paper not only addresses the 3-SAT problem but also achieves significant progress in terms of solution efficiency and problem scale.