Untergrenzen für Formeln mit konstanter Tiefe?

21

Wir wissen viel über die Einschränkungen von Schaltungen mit konstanter Tiefe (Polynomgröße). Da (polynomische Größe) Formeln mit konstanter Tiefe ein noch eingeschränkteres Berechnungsmodell darstellen, können alle Probleme, von denen bekannt ist, dass sie nicht in AC 0 vorliegen, auch nicht mit einer Formel mit konstanter Tiefe berechnet werden. Da es sich jedoch um ein einfacheres Modell handelt, gibt es wahrscheinlich mehr Probleme, die in diesem Modell nicht berechenbar sind. Wurde das untersucht? (Ich vermute, es war so, aber ich verwende wahrscheinlich nicht die richtigen Suchbegriffe.)

Konkret interessiert mich folgende Frage: Gibt es eine Funktion f, die von einer AC 0 -Schaltung der Größe S berechnet werden kann , aber eine Konstanttiefenformel der Größe mindestens quadratisch in S oder Superpolynom in S benötigt? Was ist das bekannteste Ergebnis dieser Art?

Falls es nicht klar ist, was ich mit einer Konstantentiefenformel meine, meine ich eine Formel, die, wenn Sie als Baum schreiben (wobei interne Knoten UND / ODER / NICHT-Gatter sind und Blätter Eingaben sind), diesen Baum konstant hat Höhe. Entsprechend ist eine Konstanttiefenformel eine Konstanttiefenschaltung, in der alle nicht eingegebenen Gatter Fanout 1 haben.

Robin Kothari
quelle

Antworten:

11

Es ist einfach, einen Schaltkreis mit konstanter Tiefe in eine Formel mit konstanter Tiefe gleicher Tiefe mit einer Zunahme der Polynomgröße umzuwandeln, indem Kopien von Gattern erstellt werden, die mehr als einmal verwendet werden. Wenn die Tiefe der Schaltung und ihre Größe O ( p ( n ) ) ist , hat die Formel die Tiefe d und die Größe O ( ( p ( n ) ) d ) . Daher lautet die Antwort nein.dO(p(n))dO((p(n))d)

Kaveh
quelle
5
Dies ergibt mehr als eine quadratische Vergrößerung. (
Allerdings
2
Danke für die Antwort. Irgendeine Vorstellung von einer bestimmten Funktion f, die eine Schaltung mit konstanter Tiefe der Größe S hat, aber eine Formel der Größe S ^ 2 oder S ^ 10 usw. benötigt?
Robin Kothari
3
Ich denke, die Beziehung zwischen Tiefe und Schaltkreisgröße ist noch offen (Es ist bekannt, dass "Tiefe" Teta der Formelgröße ist). In den Kapiteln 7 und 8 des Wegener-Buches "Komplexität von Booleschen Funktionen" finden Sie einige Funktionen mit expliziten Untergrenzen für die Formelgröße. Es gibt einen mit fast quadratischem Anstieg ( ), der nichts besseres bemerkt hat. n2/logn
Kaveh
17

Diese Frage wurde (bis auf konstante Faktoren) durch ein aktuelles Ergebnis von Benjamin Rossman ( http://eccc.hpi-web.de/report/2013/169/ ) vollständig gelöst .

Wie oben Kaveh darlegt, eine Tiefe , die Größe S kann die Schaltung bis zu einer Tiefe überführt werden d , Größe S d Formel.dSdSd

Rossman zeigt, dass dies im Wesentlichen eng ist. Für jede Tiefe weist er eine Funktion auf, die durch eine Schaltung konstanter Tiefe mit der Tiefe d und der Größe S = O ( n 3 ) berechnet werden kann, jedoch durch eine beliebige Formel konstanter Tiefe (oder sogar a √)ddS=O(n3) -tiefe Formel) benötigtzur Berechnung dieGrößeS Ω ( d ) .lognSΩ(d)

(Ich habe vergessen, das vorher zu sagen: Danke an Benjamin Rossman, der mich über dieses Ergebnis informiert hat.)

Robin Kothari
quelle