Referenzen zu Circuit Lower Bounds

21

Präambel

Interaktive Beweissysteme und Arthur-Merlin-Protokolle wurden bereits 1985 von Goldwasser, Micali, Rackoff und Babai eingeführt . Zuerst wurde angenommen, dass das erstere leistungsfähiger ist als das letztere, aber Goldwasser und Sipser zeigten, dass sie die gleiche Leistung haben ( in Bezug auf die Spracherkennung). Daher werde ich in diesem Beitrag die beiden Konzepte austauschbar verwenden.

Sei die Klasse von Sprachen, die ein interaktives Beweissystem mit Runden zulassen. Babai bewiesen , dass . (Ein relativierbares Ergebnis.)k I P [ O ( 1 ) ] Π P 2IP[k]kIP[O(1)]Π2P

Zunächst war nicht bekannt, ob eine unbegrenzte Anzahl von Runden die Leistung von IP erhöhen kann. Insbesondere wurde gezeigt, dass es widersprüchliche Relativierungen gibt: Fortnow und Sipser zeigten, dass für ein Orakel die . (Daher bezogen auf , ist nicht eine Superklasse von ) .c o N P AI P [ p o l y ] A A I P [ p o l y ] P HAcoNPAIP[poly]AAIP[poly]PH

Auf der anderen Seite das folgende Papier:

Aiello, W., Goldwasser, S., and Hastad, J. 1986. On the power of interaction. In Proceedings of the 27th Annual Symposium on Foundations of Computer Science (October 27 - 29, 1986). SFCS. IEEE Computer Society, Washington, DC, 368-379. DOI= http://dx.doi.org/10.1109/SFCS.1986.36

zeigt, dass wir für ein Orakel . (Daher IP [poly] ^ B \ neq IP [O (1)] ^ B, da letztere, wie oben angegeben, eine Unterklasse von \ Pi_2 ^ {P, B} ist .)B I P [ p o l y ] BI P [ O ( 1 ) ] B Π P , B 2IP[poly]BPHBIP[poly]BIP[O(1)]BΠ2P,B


Die Frage

Das Papier von Aiello, Goldwaseer und Hastad (oben zitiert) besagt:

Die angewendeten Techniken sind Erweiterungen der Techniken zum Nachweis von Untergrenzen für Schaltungen mit geringer Tiefe, die in [FSS], [Y] und [H1] verwendet werden.

wobei [FSS], [Y] und [H1] sind:

[FSS] Furst M., Saxe J. and Sipser M., "Parity, Circuits, and the Polynomial Time Hierarchy," Proceedings 22nd Annual IEEE Symposium on Foundations of Computer Science, 1981, 260-270.

[Y] Yao A. "Separating the Polynomial-Time Hierarchy by Oracles," Proceedings of 6th Annual IEEE Symposium on Foundations of Computer Science, 1985, 1-10.

[H1] Hastad J. "Almost optimal lower bounds for small depth circuits," Proceedings of 18th Annual ACM Symposium on Theory of Computing, 1986, 6-20.

Ich fand die Papiere sehr alt und sehr schwer zu folgen. Ich habe Kapitel 14 von Arora & Baraks Buch gelesen , aber anscheinend enthält es nicht alles, was ich brauche.

Welche Referenzen zu "Circuit Lower Bounds" schlagen Sie vor?

(Ich benötige speziell umfrageähnliche Referenzen; diejenigen, die neuer sind und nicht viel Fachwissen benötigen, sind vorzuziehen.)

MS Dousti
quelle
2
Noch ein Hinweis: Vorlesungsunterlagen von Avi Wigderson über Untergrenzen für konstante Tiefen- und monotone Schaltkreise (dieser Link stammt aus dem Entwurf der Arora-Barak-Website).
Alessandro Cosentino

Antworten:

14

Was Sie wollen, ist eine gute Referenz, um die exponentiellen Untergrenzen für Schaltungen zu verstehen, die die PARITY-Funktion berechnen.EINC0

Jetzt haben Sie nicht angegeben, ob Sie den Beweis tatsächlich oder nur auf hohem Niveau verstehen möchten, wie es in einem Umfrageartikel erklärt wird.

Ein Artikel, den ich kürzlich gelesen und gemocht habe, ist " Die Komplexität endlicher Funktionen " von Boppana und Sipser.

Wenn Sie sich wirklich hinsetzen und den Beweis verstehen möchten, können Sie entweder Beweise lesen, die auf dem Switching-Lemma (das in den von Ihnen zitierten Artikeln - [FSS], [Y] und [H1] - vorkommt) oder auf dem Razborov-Smolensky Beweis.

Für Beweise mit dem Switching Lemma, Håstad's Ph.D. Diese Arbeit ist eine gute Lektüre, wenn es ein bisschen schwierig ist, sie zu verfolgen, wenn Sie neu in der Gegend sind. Eine bessere Darstellung des Beweises findet sich in "Einführung in die Schaltungskomplexität und eine Anleitung zu Håstad's Beweis" von Allan Heydon. Das einzige Problem dabei ist, dass ich es online nicht finden kann und eine Hardcopy habe. Ich kann es nur empfehlen, wenn Sie mit der Komplexität von Schaltkreisen noch nicht vertraut sind.

Für den Razborov-Smolensky-Ansatz gehen Sie einfach auf Google und Sie erhalten eine Reihe von Vorlesungsskripten. Ich verstand die Untergrenze aus diesen drei Vorlesungsskripten: Sanjeev Arora , Madhu Sudan und Kristo ff er Arnsfelt Hansen .

Robin Kothari
quelle
Schlagen Sie eine Möglichkeit vor, eine Kopie von Allan Heydons Beweisaufnahme zu erhalten?
MS Dousti,
@ Sadeq: Keine Ahnung. Ich habe es aus meiner Bibliothek bekommen. Es ist auf der CMU-Seite für technische Berichte ( cs.cmu.edu/~clamen/reports/1990.html ) als technischer Bericht unter der Bezeichnung CMU-CS-90-141 aufgeführt. Es gibt jedoch keinen Link zum Herunterladen oder Suchen online. Sie können versuchen, dem Autor eine E-Mail zu senden.
Robin Kothari
1
Endlich habe ich einen Link zu Allan Heydons technischem Bericht über das CMU-Repository .
MS Dousti
14

Wenn Sie die Darstellung des Switching Lemma in Hastads Dissertation als schwierig empfinden, können Sie Paul Beames `` A Switching Lemma Primer '' ausprobieren , der aufgrund von Razborov eine andere Version hat (der auch explizit Entscheidungsbäume verwendet, was von entscheidender Bedeutung ist) in einigen Anwendungen des Switching Lemma)

Srikanth
quelle
14

Dieses Buch eignet sich hervorragend zum Erläutern von Untergrenzen, wenn Sie Zugriff darauf haben.

Einführung in die Schaltungskomplexität von Heribert Vollmer.

Ich habe es gerade gelesen und obwohl es heißt "Einführung" ist eine sehr tiefe Behandlung der Schaltungskomplexität. In Kapitel 3 werden alle (gängigsten) Techniken zum Nachweis von Schaltkreisuntergrenzen ausführlich erläutert.

Marcos Villagra
quelle
12

Eine neuere Referenz wäre Boolean Function Complexity von Stasys Jukna. Sie müssen ihm nur eine E-Mail schreiben oder das Formular ausfüllen, um das PDF des Entwurfs zu erhalten.

Eine ältere, aber immer noch schöne Referenz ist die Umfrage Die Komplexität endlicher Funktionen von Boppana und Sipser. Diese Umfrage ist im Vergleich zu anderen Quellen sehr lesbar.

Eine weitere gute Referenz ist das Buch Boolean Functions and Computation Models von Clote und Kranakis.

Dai Le
quelle
4

Emanuele Viola hat das Buch " On the Power of Small-Depth Computation " veröffentlicht, das viele Ergebnisse zu Schaltkreisuntergrenzen enthält.

Eine vorläufige Version des Buches finden Sie hier .

MS Dousti
quelle