Adiabatic based Algorithm for SAT: A comprehensive algorithmic description - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Physica A: Statistical Mechanics and its Applications Année : 2023

Adiabatic based Algorithm for SAT: A comprehensive algorithmic description

Résumé

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.

Domaines

Informatique
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-04208881 , version 1 (17-10-2023)

Identifiants

Citer

Eric Bourreau, Gérard Fleury, Philippe Lacomme. Adiabatic based Algorithm for SAT: A comprehensive algorithmic description. Physica A: Statistical Mechanics and its Applications, 2023, 629, pp.129206. ⟨10.1016/j.physa.2023.129206⟩. ⟨hal-04208881⟩
49 Consultations
11 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More