# 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} }

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…

## Figures from this paper

## 98 Citations

Optimal Quantum Adversary Lower Bounds for Ordered Search

- Computer Science, MathematicsICALP
- 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

- Computer Science, MathematicsQuantum 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

- Computer Science
- 2007

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, MathematicsElectron. Colloquium Comput. Complex.
- 2002

Lower bounds for randomized and quantum query complexity using Kolmogorov arguments

- Computer Science, MathematicsProceedings. 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 ScienceSTOC '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, MathematicsSWAT
- 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 Science18th 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 ScienceJACM
- 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, PhysicsInf. Process. Lett.
- 1999

A better lower bound for quantum algorithms searching an ordered list

- Computer Science40th 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

- Computer Science
- 1999

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

- Physics
- 1997

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 ScienceSTOC '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

- Computer ScienceSTOC '00
- 2000

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.