Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization
- URL: http://arxiv.org/abs/2302.03536v1
- Date: Tue, 7 Feb 2023 15:38:29 GMT
- Title: Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization
- Authors: Jonas N\"u{\ss}lein, Sebastian Zielinski, Thomas Gabor, Claudia
Linnhoff-Popien and Sebastian Feld
- Abstract summary: We introduce a novel approach to translate arbitrary 3-SAT instances to Quadratic Unconstrained Binary Optimization (QUBO)
Our approach requires fewer couplings and fewer physical qubits than the current state-of-the-art, which results in higher solution quality.
- Score: 10.156623881772362
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce a novel approach to translate arbitrary 3-SAT instances to
Quadratic Unconstrained Binary Optimization (QUBO) as they are used by quantum
annealing (QA) or the quantum approximate optimization algorithm (QAOA). Our
approach requires fewer couplings and fewer physical qubits than the current
state-of-the-art, which results in higher solution quality. We verified the
practical applicability of the approach by testing it on a D-Wave quantum
annealer.
Related papers
- Solving Max-3SAT Using QUBO Approximation [7.894094635723313]
We study whether systematically approximating QUBO representations of the MAX-3SAT problem can improve the solution quality when solved on contemporary quantum hardware.
In an empirical evaluation, we demonstrate that using our QUBO approximations for solving MAX-3SAT problems on D-Wave's quantum annealer Advantage_System6.4 can yield better results than using state-of-the-art exact QUBO transformations.
arXiv Detail & Related papers (2024-09-24T09:02:34Z) - Quantum Approximate Optimisation for Not-All-Equal SAT [9.427635404752936]
We apply variational quantum algorithm QAOA to a variant of satisfiability problem (SAT): Not-All-Equal SAT.
We show that while the runtime of both solvers scales exponentially with the problem size, the scaling for QAOA is smaller for large enough circuit depths.
arXiv Detail & Related papers (2024-01-05T15:11:24Z) - A hybrid Quantum proposal to deal with 3-SAT problem [75.38606213726906]
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.
arXiv Detail & Related papers (2023-06-07T12:19:22Z) - How to Approximate any Objective Function via Quadratic Unconstrained
Binary Optimization [11.095381943951539]
We present a toolkit of methods to transform almost arbitrary problems to Quadratic unconstrained binary optimization (QUBO)
We showcase the usage of our approaches on two example problems (ratio cut and logistic regression)
arXiv Detail & Related papers (2022-04-23T09:43:06Z) - Adiabatic Quantum Computing for Multi Object Tracking [170.8716555363907]
Multi-Object Tracking (MOT) is most often approached in the tracking-by-detection paradigm, where object detections are associated through time.
As these optimization problems are often NP-hard, they can only be solved exactly for small instances on current hardware.
We show that our approach is competitive compared with state-of-the-art optimization-based approaches, even when using of-the-shelf integer programming solvers.
arXiv Detail & Related papers (2022-02-17T18:59:20Z) - Quadratic Unconstrained Binary Optimisation via Quantum-Inspired
Annealing [58.720142291102135]
We present a classical algorithm to find approximate solutions to instances of quadratic unconstrained binary optimisation.
We benchmark our approach for large scale problem instances with tuneable hardness and planted solutions.
arXiv Detail & Related papers (2021-08-18T09:26:17Z) - Adiabatic Quantum Graph Matching with Permutation Matrix Constraints [75.88678895180189]
Matching problems on 3D shapes and images are frequently formulated as quadratic assignment problems (QAPs) with permutation matrix constraints, which are NP-hard.
We propose several reformulations of QAPs as unconstrained problems suitable for efficient execution on quantum hardware.
The proposed algorithm has the potential to scale to higher dimensions on future quantum computing architectures.
arXiv Detail & Related papers (2021-07-08T17:59:55Z) - Lower Bounds and Optimal Algorithms for Smooth and Strongly Convex
Decentralized Optimization Over Time-Varying Networks [79.16773494166644]
We consider the task of minimizing the sum of smooth and strongly convex functions stored in a decentralized manner across the nodes of a communication network.
We design two optimal algorithms that attain these lower bounds.
We corroborate the theoretical efficiency of these algorithms by performing an experimental comparison with existing state-of-the-art methods.
arXiv Detail & Related papers (2021-06-08T15:54:44Z) - Solving Quadratic Unconstrained Binary Optimization with
divide-and-conquer and quantum algorithms [0.0]
We apply the divide-and-conquer approach to reduce the original problem to a collection of smaller problems.
This technique can be applied to any QUBO instance and leads to either an all-classical or a hybrid quantum-classical approach.
arXiv Detail & Related papers (2021-01-19T19:00:40Z) - Improving the Quantum Approximate Optimization Algorithm with
postselection [0.0]
Combinatorial optimization is among the main applications envisioned for near-term and fault-tolerant quantum computers.
We consider a well-studied quantum algorithm for optimization: the Quantum Approximate Optimization Algorithm (QAOA) applied to the MaxCut problem on 3-regular graphs.
We derive theoretical upper and lower bounds showing that a constant (though small) increase of the fraction of satisfied edges is indeed achievable.
arXiv Detail & Related papers (2020-11-10T22:17:50Z) - Cross Entropy Hyperparameter Optimization for Constrained Problem
Hamiltonians Applied to QAOA [68.11912614360878]
Hybrid quantum-classical algorithms such as Quantum Approximate Optimization Algorithm (QAOA) are considered as one of the most encouraging approaches for taking advantage of near-term quantum computers in practical applications.
Such algorithms are usually implemented in a variational form, combining a classical optimization method with a quantum machine to find good solutions to an optimization problem.
In this study we apply a Cross-Entropy method to shape this landscape, which allows the classical parameter to find better parameters more easily and hence results in an improved performance.
arXiv Detail & Related papers (2020-03-11T13:52:41Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.