# Quantum Complexities of Ordered Searching, Sorting, and Element Distinctness

@article{Hyer2002QuantumCO,
title={Quantum Complexities of Ordered Searching, Sorting, and Element Distinctness

},
author={Peter H{\o}yer and Jan Neerbek and Yaoyun Shi},
journal={Algorithmica},
year={2002},
volume={34},
pages={429-448}
}
• Published 1 November 2002
• Computer Science
• Algorithmica
Abstract. We consider the quantum complexities of the following three problems: searching an ordered list, sorting an un-ordered list, and deciding whether the numbers in a list are all distinct. Letting N be the number of elements in the input list, we prove a lower bound of (1/π )(ln(N )-1) accesses to the list elements for ordered searching, a lower bound of Ω(N logN ) binary comparisons for sorting, and a lower bound of $\Omega(\sqrt{N}\log{N})$ binary comparisons for element distinctness…
98 Citations

## Figures from this paper

Optimal Quantum Adversary Lower Bounds for Ordered Search
• Computer Science, Mathematics
ICALP
• 2008
The best lower bound for ordered search that can be proved by the adversary method is $\frac{1}{\pi} \ln n + O(1)$ and this remains true for the generalized adversary method allowing negative weights.
A Formulation of a Matrix Sparsity Approach for the Quantum Ordered Search Algorithm
• Computer Science
• 2016
The OSP can be resolved into a translational invariant algorithm to create quantum query algorithm restraints, and Laurent polynomials are found to be convex functions, allowing one to make use of convex optimization to find an improvement on the known bounds.
Quantum search of partially ordered sets
• A. Montanaro
• Computer Science, Mathematics
Quantum Inf. Comput.
• 2009
An optimal O(√m)-query quantum algorithm for searching posets derived from m×m arrays sorted by rows and columns is given, which leads to a quantum algo-rithm that finds the intersection of two sorted lists of n integers in O( √n) time, which is optimal.
Quantum algorithms for finding extrema with unary predicates
A series of new quantum algorithms, some running in time as fast as O( √ n lg∗ n+ lg |U |) are derived, which shows that quantum computers can accelerate the speed in the unary comparison model asymptotically.
A lower bound on the quantum query complexity of read-once functions
• Computer Science, Mathematics
Electron. Colloquium Comput. Complex.
• 2002
Lower bounds for randomized and quantum query complexity using Kolmogorov arguments
• Computer Science, Mathematics
Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004.
• 2004
A very general lower bound technique for quantum and randomized query complexity, that is easy to prove as well as to apply, and derives a general form of the ad hoc weighted method used by Hoyer, Neerbek and Shi to give a quantum lower bound on ordered search and sorting.
Lower bounds for randomized and quantum query complexity using Kolmogorov arguments
• Computer Science, Mathematics
• 2004
A very general lower bound technique for quantum and randomized query complexity, that is easy to prove as well as to apply, and derives a general form of the ad hoc weighted method used by Hoyer, Neerbek and Shi to give a quantum lower bound on ordered search and sorting.
Quantum and Classical Query Complexities of Local Search Are Polynomially Related
• Mathematics, Computer Science
STOC '04
• 2004
It is shown that the deterministic, randomized and quantum query complexities of the problem are polynomially related.
Reconstructing Strings from Substrings with Quantum Queries
• Computer Science, Mathematics
SWAT
• 2012
This paper investigates the number of quantum queries made to solve the problem of reconstructing an unknown string from its substrings in a certain query model and shows a quantum algorithm that exactly identifies the string S with at most $\frac{3}{4}N + o(N)$ queries, where N is the length of S.
Quantum query complexity and semi-definite programming
• Computer Science
18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings.
• 2003
A general lower bound for quantum query complexity is derived that encompasses a lower bound method of Ambainis and its generalizations and an interpretation of a generalized form of branching in quantum computation.

## References

SHOWING 1-10 OF 34 REFERENCES
Invariant quantum algorithms for insertion into an ordered list
• Computer Science
• 1999
The "greedy" invariant algorithm is constructed and shown numerically that it outperforms the best classical algorithm for various N queries and also finds invariant algorithms that succeed exactly in fewer queries than is classically possible.
Quantum lower bounds by polynomials
• Computer Science
JACM
• 2001
This work examines the number of queries to input variables that a quantum algorithm requires to compute Boolean functions on {0,1}N in the black-box model and gives asymptotically tight characterizations of T for all symmetric f in the exact, zero-error, and bounded-error settings.
A Lower Bound for Quantum Search of an Ordered List
• Computer Science, Physics
Inf. Process. Lett.
• 1999
A better lower bound for quantum algorithms searching an ordered list
• A. Ambainis
• Computer Science
40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039)
• 1999
It is shown that any quantum algorithm searching an ordered list of n elements needs to examine at least (log,n)/12-O(1) of them to achieve a constant speedup for this problem.
A Limit on the Speed of Quantum Computation for Insertion into an Ordered List
• Computer Science
• 1998
It is shown that, for N large, no quantum algorithm can reduce the number of comparisons below log N/(2 loglog N), and the length of an algorithm is measured by the amount of comparisons it makes between the new item and items already on the list.
Quantum Algorithms for Finding Claws, Collisions and Triangles
• Computer Science
• 2000
Algorithms generalize those of Brassard, H˝yer, and Tapp, andply an N 3 = 4 log N quantum upper bound for the element distinct-ness problem (contrasting with N log N classical complexity) are presented.
GROVER'S QUANTUM SEARCHING ALGORITHM IS OPTIMAL
I show that for any number of oracle lookups up to about {pi}/4thinsp{radical} (N) , Grover{close_quote}s quantum searching algorithm gives the maximal possible probability of finding the desired
Quantum Mechanics Helps in Searching for a Needle in a Haystack
Quantum mechanics can speed up a range of search applications over unsorted data. For example, imagine a phone directory containing $N$ names arranged in completely random order. To find someone's
A lower bound for randomized algebraic decision trees
• Mathematics, Computer Science
STOC '96
• 1996
The firstnontrivial (andsuperlinear) lower bounds on the depth of randomized algebraic decision trees (with two-sided error) are proved, for the first time, for problems being finite unions of hyperplanes and intersections of halfspaces, solving a long standing open problem.
Quantum lower bounds by quantum arguments
Two new Ω(√N) lower bounds on computing AND of ORs and inverting a permutation and more uniform proofs for several known lower bounds which have been previously proven via a variety of different techniques are proved.