Es ist nun bekannt, dass die untere Grenze des allgemeinen Gegners die Komplexität von Quantenabfragen aufgrund der bahnbrechenden Arbeiten von Reichardt et al. Dieselbe Arbeitslinie stellt auch Verbindungen zum Span-Programm-Framework her, um Quantenalgorithmen zu entwerfen.
Viele interessante Quantenalgorithmen, einschließlich solcher mit exponentieller Beschleunigung wie Simons Algorithmus und Shors Algorithmus zur Periodensuche, können im Quantenabfragemodell ausgedrückt werden.
Gibt es eine Arbeit, die im allgemeinen Gegnermodell Untergrenzen für diese Algorithmen aufzeigt? Gibt es eine Arbeit, die Simons oder Shors Algorithmen im Rahmen des Span-Programms neu ableitet?
Offensichtlich wurden nur Quantenalgorithmen mit polynomieller Beschleunigung wie die von Grover mithilfe von Span-Programmen (oder Belovs Lerngraph) neu abgeleitet.
Es gibt Arbeiten von Korian et al. Untergrenzen für Simon mit der Polynommethode anzeigen, aber es ist anscheinend kein Weg bekannt, die Untergrenzen der Polynommethode in allgemeine Untergrenzen des Gegners zu übersetzen.