Was ist die größte Klasse von Funktionen

8

In [1] heißt es:

„Es bleibt eine offene Frage, ob jede Funktion in hat T C 0 Schaltungen (obwohl es ist zumindest bekannt , dass nicht alle # P Funktionen haben DLogTime förmige T C 0 Schaltungen).“#PTC0#PTC0

Schaltungen erzeugt durch DLogTime Funktionen nicht enthält # P . Wir wissen nicht, ob T C 0 -Schaltungen, die durch beliebige Funktionen erzeugt werden, kein # P enthalten.TC0#PTC0#P

Ist etwas über die Fälle zwischen diesen beiden bekannt? Ist beispielsweise bekannt, ob von L erzeugte -Schaltungen nicht # P enthalten ?TC0L#P

  • [1] Agarwal, Allender und Datta, "On , A C 0 und Arithmetic Circuits".TC0AC0
T ....
quelle
@ Kaveh Sie können Ihre Antwort behalten. Vielleicht können Sie bemerken, dass es sich um eine fehlerhafte Version handelte.
T ....
Ich denke nicht, dass es die Frage beantwortet, also ist es nicht wirklich eine Antwort. :)
Kaveh
1
Nun, es hatte einige nette Details.
T ....

Antworten:

6

Dies ist meines Wissens ein (interessantes) offenes Problem. Rahul Santhanam und ich erwähnen ausdrücklich das Problem, zu beweisen, dass Permanent nicht in LOGSPACE-Uniform TC0 enthalten ist, in unserem CCC'13-Artikel (On Medium-Uniformity and Circuit Lower Bounds).

Ryan Williams
quelle
1
Konservativer könnte man nach DTISP fragen (log(n)(log(log(n)))o(1),O(log(n)))-Gleichmäßigkeit.
@ Ricky Demer, das ist schon bekannt. Siehe zum Beispiel Chen und Kabanets eccc.hpi-web.de/report/2012/007/download
Ryan Williams
Nun, in diesem Artikel ist POLYLOGTIME eine "Klasse von Funktionen C, so dass wir wissen, dass #P nicht in" C-Uniform TC0 enthalten ist. Darüber hinaus ist POLYLOGTIME durch Auffüllen größer als DLOGTIME.
Genau ... Die unteren Grenzen für die oben erwähnte Einheitlichkeit sind also bereits bekannt.
Ryan Williams
... und diese unteren Grenzen werden in Ihrer Antwort nicht erwähnt.