English
Related papers

Related papers: Quantum Algorithm to Solve Satisfiability Problems

200 papers

We give a quantum algorithm for solving instances of the satisfiability problem, based on adiabatic evolution. The evolution of the quantum state is governed by a time-dependent Hamiltonian that interpolates between an initial Hamiltonian,…

Quantum Physics · Physics 2007-05-23 Edward Farhi , Jeffrey Goldstone , Sam Gutmann , Michael Sipser

Compilation and optimization of quantum circuits are critical components in the execution of algorithms on quantum computers. These components must successfully balance two competing priorities: minimizing the number of expensive resources,…

Large quantum computers promise to solve some critical problems not solvable otherwise. However, modern quantum technologies suffer various imperfections such as control errors and qubit decoherence, inhibiting their potential utility. The…

Quantum Physics · Physics 2023-01-19 Andrii Maksymov , Jason Nguyen , Yunseong Nam , Igor Markov

Attempts to find new quantum algorithms that outperform classical computation have focused primarily on the nonabelian hidden subgroup problem, which generalizes the central problem solved by Shor's factoring algorithm. We suggest an…

Quantum Physics · Physics 2008-07-10 Andrew M. Childs , Leonard J. Schulman , Umesh V. Vazirani

We investigate the performance of a quantum algorithm for solving classical 3-SAT problems. A cycle of post-selected measurements drives the computer's register monotonically toward a steady state which is correlated to the classical…

Quantum Physics · Physics 2017-11-09 Simon C. Benjamin , Liming Zhao , Joseph F. Fitzsimons

Recent advancements in quantum computing are leading to an era of practical utility, enabling the tackling of increasingly complex problems. The goal of this era is to leverage quantum computing to solve real-world problems in fields such…

Quantum Physics · Physics 2025-05-07 Eneko Osaba , Esther Villar-Rodriguez , Izaskun Oregi

Recent works have shown that quantum computers can polynomially speed up certain SAT-solving algorithms even when the number of available qubits is significantly smaller than the number of variables. Here we generalise this approach. We…

Quantum Physics · Physics 2020-02-19 Yimin Ge , Vedran Dunjko

The use of quantum processing units (QPUs) promises speed-ups for solving computational problems. Yet, current devices are limited by the number of qubits and suffer from significant imperfections, which prevents achieving quantum…

Quantum Physics · Physics 2023-06-08 Hila Safi , Karen Wintersperger , Wolfgang Mauerer

We propose a quantum algorithm for solving the following problem: given the Hamiltonian of a physical system and one of its eigenvalues, how to obtain the corresponding eigenstate? The algorithm is based on the resonance phenomena. For a…

Quantum Physics · Physics 2016-06-01 Hefeng Wang

When a probe qubit is coupled to a quantum register that represents a physical system, the probe qubit will exhibit a dynamical response only when it is resonant with a transition in the system. Using this principle, we propose a quantum…

Quantum Physics · Physics 2014-02-19 Hefeng Wang , Heng Fan , Fuli Li

Debugging quantum states transformations is an important task of modern quantum computing. The use of quantum tomography for these purposes significantly expands the range of possibilities. However, the presence of preparation and…

Quantum Physics · Physics 2022-01-11 B. I. Bantysh , Yu. I. Bogdanov

Boolean satisfiability (SAT) problem is of fundamental importance in computer science and many application domains. For Grover's algorithm, solving the SAT problem requires $\mathcal{O}(\sqrt{2^n})$ queries--where n denotes the number of…

Quantum Physics · Physics 2026-04-14 He Wang , Jinyang Yao

The emergence of quantum computing proposes a revolutionary paradigm that can radically transform numerous scientific and industrial application domains. The ability of quantum computers to scale computations implies better performance and…

Software Engineering · Computer Science 2024-03-29 Vlad Stirbu , Majid Haghparast

Systems of linear equations are used to model a wide array of problems in all fields of science and engineering. Recently, it has been shown that quantum computers could solve linear systems exponentially faster than classical computers,…

Almost all of the most successful quantum algorithms discovered to date exploit the ability of the Fourier transform to recover subgroup structure of functions, especially periodicity. The fact that Fourier transforms can also be used to…

Quantum Physics · Physics 2007-05-23 Wim van Dam , Sean Hallgren , Lawrence Ip

We introduce a novel algorithm for the task of coherently controlling a quantum mechanical system to implement any chosen unitary dynamics. It performs faster than existing state of the art methods by one to three orders of magnitude…

Quantum Physics · Physics 2015-06-04 Pierre de Fouquieres

Current quantum computing devices have different strengths and weaknesses depending on their architectures. This means that flexible approaches to circuit design are necessary. We address this task by introducing a novel space-efficient…

This paper presents a quantum approach for the formulation and solution of the prosumer problem, i.e., the problem of minimizing the energy cost incurred by a number of users in an energy community, while addressing the constraints given by…

Quantum Physics · Physics 2023-02-01 Carlo Mastroianni , Luigi Scarcello , Jacopo Settino

We present a quantum solution to coordination problems that can be implemented with present technologies. It provides an alternative to existing approaches, which rely on explicit communication, prior commitment or trusted third parties.…

Quantum Physics · Physics 2015-01-23 Bernardo A. Huberman , Tad Hogg

Quantum computation has revolutionary potential for speeding algorithms and for simulating quantum systems such as molecules. We report here a quantum computer design that performs universal quantum computation within a single…

Quantum Physics · Physics 2014-01-22 Ari Mizel