Quantum Algorithms for Element Distinctness
arXiv:quant-ph/0007016 · doi:10.1137/S0097539702402780
Abstract
We present several applications of quantum amplitude amplification to finding claws and collisions in ordered or unordered functions. Our algorithms generalize those of Brassard, Hoyer, and Tapp, and imply an O(N^{3/4} log N) quantum upper bound for the element distinctness problem in the comparison complexity model (contrasting with Theta(N log N) classical complexity). We also prove a lower bound of Omega(N^{1/2}) comparisons for this problem and derive bounds for a number of related problems.
15 pages. Supersedes quant-ph/007016v1 and quant-ph/0006136