Does

21

Gibt es eine plausible Komplexitäts- / Kryptohypothese, die die Möglichkeit ausschließt, dass Polynomgrößenschaltungen eine subexponentielle Größe (dh mit ) begrenzter Tiefe ( haben? ) Stromkreise? ϵ < 1 d = O ( 1 )2O(nϵ)ϵ<1d=O(1)

Wir wissen , dass jede Funktion berechenbar durch eine Schaltung durch eine Größe berechnet wird Tiefer Schaltung (unter Verwendung von AND, OR und NOT - Gatter, unbeschränkte Fan-in ) (für jedes ist ein und kann als ). 2 O ( n ϵ ) d 0 < ϵ d d O ( 1 / ϵ )NC12O(nϵ)d0<ϵddO(1/ϵ)

Die Frage ist:

Gibt es einen Grund, der die Existenz solcher Schaltungen für Schaltungen mit allgemeiner Polynomgröße unwahrscheinlich macht?

Kaveh
quelle
3
Wenn Sie mit subexponentieller Größe (anstelle von ) meinen und mit beschränkter Tiefe konstante Tiefe meinen, dann hat die Parität keine Grenze mit subexponentieller Größe -Tiefenschaltungen unter keinen Voraussetzungen. 2 o ( n )2no(1)2o(n)
MCH
Sie sollten Ihren Kommentar als Antwort posten. Sie erhalten dafür eine Gutschrift und können sie gegebenenfalls als akzeptierte Antwort markieren. Dadurch wird auch verhindert, dass die Frage vom Community-Bot automatisch in regelmäßigen Abständen neu gepostet wird.
Suresh Venkat
@MCH, ich habe die Frage aktualisiert, um zu verdeutlichen, was ich unter subexponentieller Größe verstehe.
Kaveh
3
Im einheitlichen Fall können Sie etwas sagen ( impliziert Zeituntergrenzen für SAT). Im ungleichmäßigen Fall kennen wir jedoch keine starken Untergrenzen für P / poly und keine starken Untergrenzen für Ihre Definition von subexponentiellen Schaltkreisen mit konstanter Tiefe. ZB ist es immer noch möglich, dass in einer dieser Klassen simuliert wird. Ich bin mir also nicht sicher, was Sie daraus schließen könnten. (Warum habe ich das kommentiert? Weil es nicht wirklich eine Antwort ist ...)E X P N PTIME(t)ΣO(d)TIME[n1/d]EXPNP
Ryan Williams
2
Nun, wird als unwahrscheinlich angesehen. Sipser (CCC '86) zeigte, dass entweder oder für einige , unter bestimmten Expander-Konstruktionshypothesen, die später durch als wahr gezeigt wurden Saks, Srinivasan und Zhou. Dies wurde als Beweis dafür genommen, dass . Spätere Arbeiten zu Härte vs. Zufälligkeit vertieften die Zusammenhänge. P = R P T ITIME(t)ATIME(t1ϵ)P=RPϵ > 0 P = R PTIME(t)SPACE(t1ϵ)ϵ>0P=RP
Ryan Williams

Antworten:

8

Was Sie verlangen, sollte schlimme Konsequenzen haben, aber mir fällt nicht sofort etwas ein. Ich habe also nur einige Hinweise auf das, was wir wissen.

Schauen Sie sich Violas an Von der Macht der kleinen Tiefenberechnung Das Beste, was wir wissen, ist die Konstruktion von Valiant für boolesche Schaltungen: logarithmische Schaltungen mit linearer Größe bis zur Tiefe von 3 Subexp-Schaltungen. (Wir wissen es besser für arithmetische Schaltungen .) Es gibt auch einige Ergebnisse von Beigel / Tarui auf ACC-Anfang, die in Schaltungen mit begrenzter Tiefe von Superpoly-Größe enthalten sind. Ich kann mich aber nicht erinnern, dass es auf alle ausgedehnt wurde .NC1

V Vinay
quelle
Danke für die interessanten Hinweise. Ich bin hauptsächlich an der Wahrscheinlichkeit der Existenz einer solchen Simulation interessiert (dh an Vermutungen und Hypothesen, die eine negative oder positive Antwort für und ähnliche Klassen wie implizieren würden, deren Antwort nicht unbedingt bekannt ist) .) Wissen wir so etwas? N CP/polyNC
Kaveh
Leider nichts. Ich dachte an einige der alten Papiere von Buhrman / Homer und andere, erinnere mich aber an nichts dergleichen. Komme wieder, wenn etwas auftaucht.
V Vinay