Cargando…
Quantum tunneling and quantum walks as algorithmic resources to solve hard K-SAT instances
We present a new quantum heuristic algorithm aimed at finding satisfying assignments for hard K-SAT instances using a continuous time quantum walk that explicitly exploits the properties of quantum tunneling. Our algorithm uses a Hamiltonian [Formula: see text] which is specifically constructed to s...
Autores principales: | Campos, Ernesto, Venegas-Andraca, Salvador E., Lanzagorta, Marco |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Nature Publishing Group UK
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8376969/ https://www.ncbi.nlm.nih.gov/pubmed/34413348 http://dx.doi.org/10.1038/s41598-021-95801-1 |
Ejemplares similares
-
A QUBO Formulation of Minimum Multicut Problem Instances in Trees for D-Wave Quantum Annealers
por: Cruz-Santos, William, et al.
Publicado: (2019) -
Quantum Walks for Computer Scientists
por: Venegas-Andraca, Salvador
Publicado: (2008) -
A QUBO Formulation of the Stereo Matching Problem for D-Wave Quantum Annealers
por: Cruz-Santos, William, et al.
Publicado: (2018) -
Quantum image processing
por: Yan, Fei, et al.
Publicado: (2020) -
Approximation Hardness and Satisfiability of Bounded Occurrence Instances of SAT
por: Berman, Paul R, et al.
Publicado: (2003)