中文
相关论文

相关论文: Solving SAT and MaxSAT with a Quantum Annealer: Fo…

200 篇论文

Quantum Annealers are basically quantum computers that with high probability can optimize certain quadratic functions on Boolean variables in constant time. These functions are basically the Hamiltonian of Ising models that reach the ground…

量子物理 · 物理学 2024-05-14 Carlos Ansótegui , Jordi Levy

Quantum computers have the potential of solving problems more efficiently than classical computers. While first commercial prototypes have become available, the performance of such machines in practical application is still subject to…

新兴技术 · 计算机科学 2020-05-13 Tom Krüger , Wolfgang Mauerer

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…

We introduce the reinforcement quantum annealing (RQA) scheme in which an intelligent agent interacts with a quantum annealer that plays the stochastic environment role of learning automata and tries to iteratively find better Ising…

量子物理 · 物理学 2020-01-03 Ramin Ayanzadeh , Milton Halem , Tim Finin

Quantum annealing is a type of analog computation that aims to use quantum mechanical fluctuations in search of optimal solutions of QUBO (quadratic unconstrained binary optimization) or, equivalently, Ising problems. Since NP-hard problems…

量子物理 · 物理学 2023-04-14 Elijah Pelofske , Georg Hahn , Hristo N. Djidjev

Quantum annealers are specialized quantum computers for solving combinatorial optimization problems using special characteristics of quantum computing (QC), such as superposition, entanglement, and quantum tunneling. Theoretically, quantum…

软件工程 · 计算机科学 2024-07-29 Xinyi Wang , Asmar Muqeet , Tao Yue , Shaukat Ali , Paolo Arcaini

Many problems of industrial interest are NP-complete, and quickly exhaust resources of computational devices with increasing input sizes. Quantum annealers (QA) are physical devices that aim at this class of problems by exploiting quantum…

Quantum annealing (QA) has been proposed as a quantum enhanced optimization heuristic exploiting tunneling. Here, we demonstrate how finite range tunneling can provide considerable computational advantage. For a crafted problem designed to…

Using a specially constructed set of hard 2-SAT problems with four satisfying assignments, we study the scaling and sampling performance of numerical simulation of quantum annealing as well as that of the physical quantum annealers offered…

量子物理 · 物理学 2025-11-04 Vrinda Mehta , Hans De Raedt , Kristel Michielsen , Fengping Jin

Quantum annealing (QA) has the potential to significantly improve solution quality and reduce time complexity in solving combinatorial optimization problems compared to classical optimization methods. However, due to the limited number of…

量子物理 · 物理学 2025-04-09 Seongmin Kim , Sang-Woo Ahn , In-Saeng Suh , Alexander W. Dowling , Eungkyu Lee , Tengfei Luo

Quantum annealing is getting increasing attention in combinatorial optimization. The quantum processing unit by D-Wave is constructed to approximately solve Ising models on so-called Chimera graphs. Ising models are equivalent to quadratic…

数据结构与算法 · 计算机科学 2019-04-30 Michael Juenger , Elisabeth Lobe , Petra Mutzel , Gerhard Reinelt , Franz Rendl , Giovanni Rinaldi , Tobias Stollenwerk

In recent years, quantum annealing has gained the status of being a promising candidate for solving various optimization problems. Using a set of hard 2-satisfiabilty (2-SAT) problems, consisting of upto 18-variables problems, we analyze…

量子物理 · 物理学 2022-06-09 Vrinda Mehta , Fengping Jin , Hans De Raedt , Kristel Michielsen

As contemporary quantum computers do not possess error correction, any calculation performed by these devices can be considered an involuntary approximation. To solve a problem on a quantum annealer, it has to be expressed as an instance of…

Search-based software engineering (SBSE) addresses critical optimization challenges in software engineering, including the next release problem (NRP) and feature selection problem (FSP). While traditional heuristic approaches and integer…

软件工程 · 计算机科学 2025-07-01 Shuchang Wang , Xiaopeng Qiu , Yingxing Xue , Yanfu Li , Wei Yang

Quantum annealing provides a promising route for the development of quantum optimization devices, but the usefulness of such devices will be limited in part by the range of implementable problems as dictated by hardware constraints. To…

量子物理 · 物理学 2015-10-14 Walter Vinci , Tameem Albash , Gerardo Paz-Silva , Itay Hen , Daniel A. Lidar

The utility of satisfiability (SAT) as an application focused hard computational problem is well established. We explore the potential of quantum annealing to enhance classical SAT solving, especially where sampling from the space of all…

量子物理 · 物理学 2016-12-22 Kristen L. Pudenz , Gregory S. Tallant , Todd R. Belote , Steven H. Adachi

Quantum annealing is a novel type of analog computation that aims to use quantum mechanical fluctuations to search for optimal solutions of Ising problems. Quantum annealing in the Transverse Ising model, implemented on D-Wave QPUs, are…

量子物理 · 物理学 2025-03-14 Elijah Pelofske

We propose Quantum Enhanced Simulated Annealing (QESA), a novel hybrid optimization framework that integrates quantum annealing (QA) into simulated annealing (SA) to tackle continuous optimization problems. While QA has shown promise in…

量子物理 · 物理学 2025-04-04 Hristo N. Djidjev

Quantum computing is an information processing paradigm that uses quantum-mechanical properties to speedup computationally hard problems. Although promising, existing gate-based quantum computers consist of only a few dozen qubits and are…

量子物理 · 物理学 2021-08-26 Ramin Ayanzadeh , Poulami Das , Swamit S. Tannu , Moinuddin Qureshi

The D-Wave adiabatic quantum annealer solves hard combinatorial optimization problems leveraging quantum physics. The newest version features over 1000 qubits and was released in August 2015. We were given access to such a machine,…

数据库 · 计算机科学 2015-10-23 Immanuel Trummer , Christoph Koch
‹ 上一页 1 2 3 10 下一页 ›