Abstract:Going as far as possible at SAT problem solving is the main aim of our work. For this sake we have made use of quantum computing from its two, on practice, main models of computation. They have required some reformulations over the former statement of 3-SAT problem in order to accomplish the requirements of both techniques. This paper presents and describes a hybrid quantum computing strategy for solving 3-SAT problems. The performance of this approximation has been tested over a set of representative scenarios when dealing with 3-SAT from the quantum computing perspective.

What problem does this paper attempt to address?

The paper aims to address the 3-SAT problem and proposes a hybrid quantum computing strategy to tackle this challenge. The 3-SAT problem is a well-known NP-complete problem, where the goal is to find an assignment that makes all clauses true in a given conjunction of clauses, each containing three variables (if such an assignment exists). The main contributions of the paper can be summarized as follows: 1. **Hybrid Quantum Computing Strategy**: - The paper proposes a hybrid quantum computing method that combines quantum annealing and quantum circuit model-based quantum computing. - To apply these two techniques to the 3-SAT problem, the problem needs to be reformulated to meet the requirements of each technique. 2. **Quantum Annealing Phase**: - Quantum annealing is used as the first step for an approximate solution to the 3-SAT problem. In this process, the original 3-SAT problem is transformed into a Maximum Satisfiability Problem (Max-3SAT), and then further converted into a Quadratic Unconstrained Binary Optimization (QUBO) form for the quantum annealer to handle. - The solution obtained through quantum annealing is used as the initial state for the subsequent quantum circuit model search algorithm. 3. **Quantum Circuit Model-Based Search Algorithm**: - The second phase uses a quantum circuit model-based algorithm to complete the search process. This includes using a modified Grover's algorithm to find the solution. - Two distance-based search algorithms are proposed: Quantum Hamming Search and Quantum Cyclic Search. The former is based on Hamming distance, while the latter is based on a distance defined in a cyclic space. 4. **Testing and Analysis**: - To verify the effectiveness of the proposed hybrid quantum strategy, the authors designed a series of experimental scenarios. These scenarios include 3-SAT instances with different densities and numbers of variables. - The experiments cover various combinations of quantum annealing, simulated annealing, and the two quantum circuit model-based search algorithms. - The experimental results are used to compare the efficiency of different schemes in solving the 3-SAT problem. In summary, the paper proposes an innovative hybrid quantum computing strategy to solve the 3-SAT problem, combining quantum annealing and quantum circuit model-based techniques. The effectiveness and potential advantages of this approach are validated through experiments.

A hybrid Quantum proposal to deal with 3-SAT problem

HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL.

3-SAT solver for two-way quantum computers

Efficient Digital Quadratic Unconstrained Binary Optimization Solvers for SAT Problems

Solution of SAT Problems with the Adaptive-Bias Quantum Approximate Optimization Algorithm

Solving Max-3SAT Using QUBO Approximation

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation

Hybrid Quantum Annealing Decomposition Framework for Unit Commitment

Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT

Focusing on the Hybrid Quantum Computing -- Tabu Search Algorithm: new results on the Asymmetric Salesman Problem

Hybrid Meta-Solving for Practical Quantum Computing

Solving non-native combinatorial optimization problems using hybrid quantum-classical algorithms

Solving boolean satisfiability problems with the quantum approximate optimization algorithm

Measurement-driven quantum computing: Performance of a 3-SAT solver

Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better

A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem

Transformation-Dependent Performance-Enhancement of Digital Annealer for 3-SAT

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking

Hybrid classical-quantum computing: are we forgetting the classical part in the binomial?

Grover-QAOA for 3-SAT: Quadratic Speedup, Fair-Sampling, and Parameter Clustering

Quantum Computing based Hybrid Solution Strategies for Large-scale Discrete-Continuous Optimization Problems