Varianten direkter Produktsätze


11

Ein direkter Produktsatz besagt informell, dass das Berechnen von Instanzen einer Funktion f schwieriger ist als das einmalige Berechnen von f .kff

Typische direkte Produktsätze (z. B. Yaos XOR-Lemma) betrachten die Komplexität im Durchschnitt und argumentieren (sehr grob), dass f nicht durch Schaltungen der Größe s mit einer Wahrscheinlichkeit besser als p berechnet werden kann p, dann können k Kopien von f nicht durch berechnet werden Schaltungen der Größe s<s mit einer Wahrscheinlichkeit besser als pk .

Ich suche nach verschiedenen Arten direkter Produktsätze (sofern bekannt). Speziell:

(1) Nehmen wir an, wir legen die Fehlerwahrscheinlichkeit und interessieren uns stattdessen für die Größe der Schaltung, die zur Berechnung von Kopien von . Gibt es ein Ergebnis, das besagt, dass wenn nicht durch Schaltungen der Größe mit einer Wahrscheinlichkeit besser als berechnet werden kann , Kopien von nicht mit einer Wahrscheinlichkeit besser als Verwendung einer Schaltung der Größe kleiner als berechnet werden können ?pkffspkfpO(ks)

(2) Was ist in Bezug auf die Komplexität im schlimmsten Fall bekannt ? Wenn nicht durch Schaltungen der Größe (mit 0 Fehlern) berechnet werden kann , was können wir über die Komplexität der Berechnung von Kopien von (mit 0 Fehlern) sagen ?fskf

Alle Referenzen wäre dankbar.

Antworten:


10

(1): Diese Frage wurde in der Arbeit "Auf dem Weg zum Nachweis starker direkter Produktsätze" von Ronen Shaltiel untersucht, und es stellt sich heraus, dass eine solche Vermutung falsch ist: Zum Beispiel könnte es sein, dass mit einer Wahrscheinlichkeit von berechnet werden kann mit einer Größe, die viel kleiner als , und nur die zusätzliche Wahrscheinlichkeitsmasse von erfordert die Größe . In einem solchen Fall könnte die Schaltung beim Berechnen von auf Instanzen auf den meisten Instanzen mit einer Größe lösen, die viel kleiner als , und benötigt nur auf wenigen Instanzen die Größe .f0.99ps0.01psfkfss

(2): Ein direkter Produktsatz für die Worst-Case-Komplexität ist für Formeln und für monotone Schaltungen bekannt, für allgemeine Schaltungen jedoch als falsch bekannt. Betrachten Sie als einfaches Beispiel eine Funktion , die ihre Eingabe als Vektor betrachtet und mit einer festen Booleschen Matrix multipliziert . Dann kann das Berechnen der Funktion die Größe erfordern , aber das Berechnen auf Instanzen kann viel schneller als Verwendung eines Matrixmultiplikationsalgorithmus erfolgen. Eine ausführliche Diskussion dieses Themas finden Sie im Buch "Die Komplexität der Booleschen Funktionen" von Ingo Wegener - siehe Kapitel 10.2 hier:f:{0,1}n{0,1}nn×nfn2nn3http://eccc.hpi-web.de/static/books/The_Complexity_of_Boolean_Functions/ .


Ich habe mir Kapitel 10.2 von Wegeners Buch angesehen (danke für den Hinweis!), Das zeigt, dass ein Direktsummenergebnis im Allgemeinen nicht gelten kann. Aber ist etwas für spezifisches (vielleicht solche mit einer Schaltungskomplexität von weniger als )? (Ich bin immer noch an Worst-Case-Komplexität und für beliebige Schaltungen interessiert.)f2n
user686

Es würde mich auch interessieren, wenn schwächere Ergebnisse bekannt sind, z. B. dass für die Berechnung von Kopien von die Größe erforderlich ist ...kfs+O(k)
user686

Für Funktionen mit einer Schaltungskomplexität von weniger als - siehe oben das Beispiel mit Matrixmultiplikation. Was das schwächere Ergebnis betrifft, das Sie erwähnen - ein solches Ergebnis ist trivial, da Sie zum Berechnen von Kopien von mindestens Ausgangsdrähte zur Schaltungsberechnung in einer Instanz hinzufügen müssen . 2nkfkf
Oder Meir

7

Um die Antwort von Or zu ergänzen, wurden Fragen zum Geschmack von (1) [wie viel einer Ressource benötigt wird, um auf k Kopien gut abzuschneiden] untersucht, und die entsprechenden Theoreme werden "direkte Summensätze" genannt. Wie bei direkten Produktsätzen können direkte Summensätze je nach Aufbau gelten oder auch nicht.

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.