Quantum algorithms for the triangle problem

  • Authors:
  • Frédéric Magniez;Miklos Santha;Mario Szegedy

  • Affiliations:
  • CNRS-LRI, Université Paris-Sud, Orsay, France;CNRS-LRI, Université Paris-Sud, Orsay, France;Rutgers University

  • Venue:
  • SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
  • Year:
  • 2005

Quantified Score

Hi-index 0.02

Visualization

Abstract

We present two new quantum algorithms that either find a triangle (a copy of K3) in an undirected graph G on n nodes, or reject if G is triangle free. The first algorithm uses combinatorial ideas with Grover Search and makes Õ(n10/7) queries. The second algorithm uses Õ(n13/10) queries, and it is based on a new design concept of Ambainis [6] that incorporates the benefits of quantum walks into Grover search [18]. The first algorithm uses only O(log n) qubits in its quantum subroutines, whereas the second one uses O(n) qubits. The Triangle Problem was first treated in [12], where an algorithm with O(n + √n|E|) query complexity was presented (here |E| is the number of edges of G).