Die negative Gegnermethode ( ) ist eine SDP, die die Komplexität von Quantenabfragen charakterisiert. Es ist eine Verallgemeinerung der weit verbreiteten Gegner-Methode ( A D V ) und überwindet die beiden Hindernisse, die der Gegner-Methode im Wege standen:
Die Eigenschaftstestbarriere: Wenn alle 0-Instanzen weit von allen 1-Instanzen entfernt sind, kann die gegnerische Methode keine Untergrenze nachweisen, die besser als Ω ( 1 / ϵ ) ist .
Die Zertifikatskomplexitätsbarriere: Wenn die Zertifikatskomplexität von b- Instanzen ist, kann die gegnerische Methode keine Untergrenze nachweisen, die besser als √ ist wobei
In dem ursprünglichen Papier konstruieren , um die Autoren ein Beispiel für die Funktion , ihre Verfahren beiden Barrieren überwinden. Ich habe jedoch keine Beispiele für natürliche Probleme gesehen, bei denen dies zu neuen Untergrenzen geführt hat.
Können Sie Referenzen angeben, bei denen die negative Gegnermethode verwendet wurde, um eine Untergrenze zu erreichen, die die ursprüngliche Methode nicht erreichen konnte?
Das größte Interesse für mich ist das Testen von Immobilien. Derzeit gibt es nur sehr wenige Untergrenzen für Eigenschaftstests. Tatsächlich kenne ich nur zwei ( CFMdW2010 , ACL2011 ), die beide die Polynommethode verwenden (die erste durch Reduktion des Kollisionsproblems, das ursprünglich durch die Polynommethode untergrenzen wurde). Wir wissen, dass es Eigenschaften gibt, für die Quantenabfragen erforderlich sind, um zu berechnen, ob f ( n ) ∈ O ( n ) (durch Kombinieren der Ergebnisse in BNFR2002 und GKNR2009)). Warum ist es so schwierig, mit der negativen Gegnermethode die unteren Grenzen von zu beweisen ?