Adiabatic based Algorithm for SAT: a comprehensive algorithmic description - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Adiabatic based Algorithm for SAT: a comprehensive algorithmic description

Résumé

This paper concerns quantum heuristics 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 a Hamiltonian defining the problem to solve and a mixing Hamiltonian. The adiabatic theorem initially defined in quantum physic allows to compute a solution for the Schr\"odinger 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 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 experiments on simulator have been achieved on both Qiskit and MyQLM.
Fichier principal
Vignette du fichier
2207.09984.pdf (1.04 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03732343 , version 1 (17-10-2023)

Identifiants

Citer

Eric Bourreau, Gérard Fleury, Philippe Lacomme. Adiabatic based Algorithm for SAT: a comprehensive algorithmic description. 2023. ⟨hal-03732343⟩
69 Consultations
8 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More