English

Quantum Algorithms for the Triangle Problem

Quantum Physics 2007-05-23 v3

Abstract

We present two new quantum algorithms that either find a triangle (a copy of K3K_{3}) in an undirected graph GG on nn nodes, or reject if GG is triangle free. The first algorithm uses combinatorial ideas with Grover Search and makes O~(n10/7)\tilde{O}(n^{10/7}) queries. The second algorithm uses O~(n13/10)\tilde{O}(n^{13/10}) queries, and it is based on a design concept of Ambainis~\cite{amb04} that incorporates the benefits of quantum walks into Grover search~\cite{gro96}. The first algorithm uses only O(logn)O(\log n) qubits in its quantum subroutines, whereas the second one uses O(n) qubits. The Triangle Problem was first treated in~\cite{bdhhmsw01}, where an algorithm with O(n+nm)O(n+\sqrt{nm}) query complexity was presented, where mm is the number of edges of GG.

Keywords

Cite

@article{arxiv.quant-ph/0310134,
  title  = {Quantum Algorithms for the Triangle Problem},
  author = {Frederic Magniez and Miklos Santha and Mario Szegedy},
  journal= {arXiv preprint arXiv:quant-ph/0310134},
  year   = {2007}
}

Comments

Several typos are fixed, and full proofs are included. Full version of the paper accepted to SODA'05