Als «query-complexity» getaggte Fragen

3
Kompromiss zwischen Zeit und Abfragekomplexität
Das direkte Arbeiten mit Zeitkomplexität oder Schaltkreisuntergrenzen ist beängstigend. Daher entwickeln wir Tools wie die Komplexität von Abfragen (oder die Komplexität von Entscheidungsbäumen), um die unteren Grenzen in den Griff zu bekommen. Da jede Abfrage mindestens einen Einheitsschritt dauert und Berechnungen zwischen Abfragen als frei gezählt werden, ist die Zeitkomplexität …
3
Rechenmodelle, die hinsichtlich der Komplexität von Abfragen streng zwischen Klassik und Quanten liegen
Es ist bekannt, dass Quantencomputer hinsichtlich der Komplexität von Abfragen strikt leistungsfähiger sind als ihre klassischen Gegenstücke . Gibt es andere (natürliche oder künstliche) Modelle, die in Bezug auf die Komplexität von Abfragen streng zwischen dem Quanten- und dem Klassischen liegen? Die Trennung kann eingeschaltet sein Spezifische Probleme: Modell X …
1
Mit der zusätzlichen Kraft der negativen Gegner-Methode
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:A D V±ADV±ADV^\pmA D VADVADV Die Eigenschaftstestbarriere: Wenn alle 0-Instanzen weit von allen …
1
Informationskomplexität von Abfragealgorithmen?
Informationskomplexität war ein sehr nützliches Werkzeug für die Komplexität der Kommunikation, das hauptsächlich dazu diente, die Kommunikationskomplexität verteilter Probleme zu verringern. Gibt es ein Analogon der Informationskomplexität für die Abfragekomplexität? Es gibt viele Parallelen zwischen Abfragekomplexität und Kommunikationskomplexität. Häufig (aber nicht immer!) wird eine Untergrenze in einem Modell in eine …
2
Las Vegas gegen Monte Carlo randomisierte Entscheidungsbaumkomplexität
Hintergrund: Entscheidungsbaumkomplexität oder Abfragekomplexität ist ein einfaches Berechnungsmodell, das wie folgt definiert ist. Sei eine Boolesche Funktion. Die deterministische Abfragekomplexität von , bezeichnet mit , ist die minimale Anzahl von Bits der Eingabe , die (im schlimmsten Fall) von einem deterministischen Algorithmus gelesen werden müssen berechnet . Beachten Sie, dass …
1
Gibt es Verteilungseigenschaften, die „maximal“ schwer zu testen sind?
Ein Verteilungstestalgorithmus für eine Verteilungseigenschaft P (die nur eine Teilmenge aller Verteilungen über [n] ist) erlaubt den Zugriff auf Stichproben gemäß einer Verteilung D und muss entscheiden (whp), ob D∈PD∈PD\in P oder d(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilon ( ddd hier normalerweise der Abstand ℓ1ℓ1\ell_1 ). Das häufigste Maß für die Komplexität ist die Anzahl …
1
Können Quantenalgorithmen mit exponentieller Beschleunigung mit span-Programmen neu generiert werden?
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 …
1
Untergrenzen für das Lernen in der Mitgliedschaftsabfrage und im Gegenbeispielmodell
Dana Angluin ( 1987 ; pdf ) definiert ein Lernmodell mit Mitgliedschaftsabfragen und theoretischen Abfragen (Gegenbeispiele zu einer vorgeschlagenen Funktion). Sie zeigt, dass eine reguläre Sprache, die durch einen minimalen DFA von Zuständen dargestellt wird, in Polynomzeit (wobei die vorgeschlagenen Funktionen DFAs sind) mit O ( m n 2 ) …
4
Begrenzung der Lücke zwischen Quanten- und deterministischer Abfragekomplexität
Obwohl exponentielle Trennungen zwischen Quantenabfragekomplexität mit begrenztem Fehler ( ) und deterministischer Abfragekomplexität ( D ( f ) ) oder randomisierter Abfragekomplexität mit begrenztem Fehler ( R ( f ) ) bekannt sind, gelten sie nur für bestimmte Teilfunktionen. Wenn die Teilfunktionen einige spezielle Strukturen haben , sind sie auch …
1
Span-Programme, Zeugengröße und Komplexität der Zertifikate
Ein Span-Programm ist eine linear-algebraische Methode zur Angabe einer hier eingeführten Booleschen Funktion . Kürzlich wurde dieses Modell verwendet, um zu zeigen, dass die Methode des negativen Gegners eine enge Charakterisierung (mindestens bis zu ) der Komplexität von Quantenabfragen liefert .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Das Komplexitätsmaß, das Span-Programme mit …
1
Untergrenzen der Schwellenwertfunktion
In der Entscheidungsbaumkomplexität einer Booleschen Funktion besteht eine sehr bekannte Methode der unteren Grenze darin, ein (ungefähres) Polynom zu finden, das die Funktion darstellt. Paturi gab eine Charakterisierung für symmetrische boolesche (Teil- und Gesamt-) Funktionen in Form einer mit bezeichneten Größe an ΓΓ\Gamma: Satz ( Paturi ): Sei fff eine …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.