Abstract
We give a quantum algorithm for evaluating a class of boolean formulas (such as NAND trees and 3-majority trees) on a restricted set of inputs. Due to the structure of the allowed inputs, our algorithm can evaluate a depth n tree using O(n2+logω) queries, where ω is independent of n and depends only on the type of subformulas within the tree. We also prove a classical lower bound of nΩ(log log n) queries, thus showing a (small) super-polynomial speed-up.
Original language | English |
---|---|
Title of host publication | ITCS 2012 - Innovations in Theoretical Computer Science Conference |
Pages | 249-265 |
Number of pages | 17 |
DOIs | |
State | Published - 2012 |
Event | 3rd Conference on Innovations in Theoretical Computer Science, ITCS 2012 - Cambridge, MA, United States Duration: 8 Jan 2012 → 10 Jan 2012 |
Publication series
Name | ITCS 2012 - Innovations in Theoretical Computer Science Conference |
---|
Conference
Conference | 3rd Conference on Innovations in Theoretical Computer Science, ITCS 2012 |
---|---|
Country/Territory | United States |
City | Cambridge, MA |
Period | 8/01/12 → 10/01/12 |
Keywords
- NAND tree
- span programs
- super-polynomial quantum speed-up
All Science Journal Classification (ASJC) codes
- Computational Theory and Mathematics