English
Related papers

Related papers: Solution to Satisfiability problem by a complete G…

200 papers

Quantum Grover search algorithm can find a target item in a database faster than any classical algorithm. One can trade accuracy for speed and find a part of the database (a block) containing the target item even faster, this is partial…

Quantum Physics · Physics 2015-06-26 Vladimir Korepin

Since the final quantum state in the Grover search algorithm is the normalized marked quantum state from the Gram-Schmidt process, Abrams and Lloyd [1] has shown that we can generate this vector by using a non-unitary gate. Following their…

Quantum Physics · Physics 2025-08-22 Ammar Daskin

In this work we address two questions concerning Grover's algorithm. In the first we give an answer to the question how to employ Grover's algorithm for actual search over database. We introduce a quantum model of an unordered phone book…

Quantum Physics · Physics 2014-06-26 Daniel Reitzner , Mario Ziman

We consider the Grover search algorithm implementation for a quantum register of size $N = 2^k$ using k (or k +1) microwave- and laser-driven Rydberg-blockaded atoms, following the proposal by M{\o}lmer, Isenhower, and Saffman [J. Phys. B…

Quantum Physics · Physics 2025-05-05 David Petrosyan , Mark Saffman , Klaus Mølmer

This paper presents a novel approach to Grover adaptive search (GAS) for a combinatorial optimization problem whose objective function involves spin variables. While the GAS algorithm with a conventional design of a quantum dictionary…

Quantum Physics · Physics 2025-09-10 Shintaro Fujiwara , Naoki Ishikawa

Unstructured search remains as one of the significant challenges in computer science, as classical search algorithms become increasingly impractical for large-scale systems due to their linear time complexity. Quantum algorithms, notably…

Quantum Physics · Physics 2025-05-22 Harishankar Mishra , Asvija Balasubramanyam , Gudapati Naresh Raghava

Developing hardware-efficient implementations of quantum algorithms is crucial in the NISQ era to achieve practical quantum advantage. Here, we construct a generic quantum solver for NP problems based on Grover's search algorithm,…

Quantum Physics · Physics 2026-01-06 Shuaifan Cao , Xiaopeng Li

In order to understand the bounds of utilization of the Grover's search algorithm for the large unstructured data in presence of the quantum computer noise, we undertake a series of simulations by inflicting various types of noise, modelled…

Quantum Physics · Physics 2020-10-28 Yulun Wang , Predrag S. Krstic

We demonstrate that the search space of the quadratic assignment problem (QAP), known as an NP-hard combinatorial optimization problem, can be reduced using Grover adaptive search (GAS) with permutation preparation operator (PPO). To that…

We describe an algorithm to solve the problem of Boolean CNF-Satisfiability when the input formula is chosen randomly. We build upon the algorithms of Sch{\"{o}}ning 1999 and Dantsin et al.~in 2002. The Sch{\"{o}}ning algorithm works by…

Computational Complexity · Computer Science 2019-03-27 Andrea Lincoln , Adam Yedidia

Grover's algorithm solves the unstructured search problem. Grover's algorithm can find the target state with certainty only if searching one out of four. Designing the deterministic search algorithm can avoid any repetition of the…

Quantum Physics · Physics 2025-01-14 Zhen Wang , Kun Zhang , Vladimir Korepin

Quantum search is among the most important algorithms in quantum computing. At its core is quantum amplitude amplification, a technique that achieves a quadratic speedup over classical search by combining two global reflections: the oracle,…

Quantum Physics · Physics 2026-05-05 John Burke , Ciaran McGoldrick

Variational quantum algorithms have become the de facto model for current quantum computations. A prominent example of such algorithms -- the quantum approximate optimization algorithm (QAOA) -- was originally designed for combinatorial…

Quantum Physics · Physics 2024-07-16 Ernesto Campos , Daniil Rabinovich , Alexey Uvarov

A quantum algorithm is a set of instructions for a quantum computer, however, unlike algorithms in classical computer science their results cannot be guaranteed. A quantum system can undergo two types of operation, measurement and quantum…

Data Structures and Algorithms · Computer Science 2007-05-30 Eva Borbely

The Boolean Satisfiability problem (SAT), as the prototypical $\mathsf{NP}$-complete problem, is crucial in both theoretical computer science and practical applications. To address this problem, stochastic local search (SLS) algorithms,…

Artificial Intelligence · Computer Science 2026-04-17 Maximilian J. Kramer , Paul Boes , Jens Eisert

Grover's algorithm is normally presented as a method of searching a database, however it would be more accurately described as a method of identifying elements of an interval of the integers which satisfy some logical clause - an example…

Quantum Physics · Physics 2022-06-09 David Jones , Benjamin Varcoe

We study the problem of satisfiability of randomly chosen clauses, each with K Boolean variables. Using the cavity method at zero temperature, we find the phase diagram for the K=3 case. We show the existence of an intermediate phase in the…

Disordered Systems and Neural Networks · Physics 2009-11-07 Marc Mezard , Riccardo Zecchina

In this paper, we show the design and implementation of a quantum algorithm for industrial shift scheduling (QISS), which uses Grover's adaptive search to tackle a common and important class of valuable, real-world combinatorial…

Quantum algorithms for unstructured search problems rely on the preparation of a uniform superposition, traditionally achieved through Hadamard gates. However, this incidentally creates an auxiliary search space consisting of nonsensical…

Quantum Physics · Physics 2024-04-30 Mark Ariel Levin

The oracle identification problem (OIP) is, given a set $S$ of $M$ Boolean oracles out of $2^{N}$ ones, to determine which oracle in $S$ is the current black-box oracle. We can exploit the information that candidates of the current oracle…

‹ Prev 1 8 9 10 Next ›