Adiabatic based Algorithm for SAT: A comprehensive algorithmic description

E. Bourreau, G. Fleury and P. Lacomme

Physica A: Statistical Mechanics and its Applications, 2023, vol. 629, issue C

Abstract: This paper concerns quantum heuristics that are able to extend the domain of quantum computing defining a promising way in the large number of well-known classical algorithms. Quantum approximate heuristics take advantage of alternation between one Hamiltonian defining the problem to solve and one mixing Hamiltonian. The adiabatic theorem initially defines in quantum physic allow to compute a solution for the Schrödinger equation, but the foundation of this methods requires strong skill in physics and mathematics. Our main objectives in this paper are at first to provide an algorithm-based presentation (as close as possible of the classical computer science community in operational research practice) of the adiabatic optimization and secondly to give a comprehensive resolution of the well-known SAT problem. This presentation gives opportunities to provide a concise but explicit analysis of the adiabatic capability to define a new efficient operational research trend. Our experiments encompass numerical evaluations on both simulator and on real quantum computer provided by IBM. Numerical evaluations using the QLM library meet the Qiskit evaluations. This contribution is at the crossroad of physic and computer science in the sense it proves the capabilities of quantum concepts to define a new and promising research trends in optimization.

Keywords: 3-SAT; Quantum computing; Adiabatic resolution; Hamiltonian representation (search for similar items in EconPapers)
Date: 2023
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378437123007616
Full text for ScienceDirect subscribers only. Journal offers the option of making the article available online on Science direct for a fee of $3,000

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:phsmap:v:629:y:2023:i:c:s0378437123007616

DOI: 10.1016/j.physa.2023.129206

Access Statistics for this article

Physica A: Statistical Mechanics and its Applications is currently edited by K. A. Dawson, J. O. Indekeu, H.E. Stanley and C. Tsallis

More articles in Physica A: Statistical Mechanics and its Applications from Elsevier
Bibliographic data for series maintained by Catherine Liu ().