Hierarchiesatz für die Schaltungsgröße


18

Ich denke, dass ein Größenhierarchiesatz für die Schaltungskomplexität ein großer Durchbruch in diesem Bereich sein kann.

Ist es ein interessanter Ansatz zur Klassentrennung?

Die Motivation für die Frage ist, dass wir sagen müssen

Es gibt eine Funktion, die nicht mit Schaltkreisen der Größe berechnet werden kann und die mit Schaltkreisen der Größe berechnet werden kann, bei denen . (und möglicherweise etwas in Bezug auf die Tiefe)g ( n ) f ( n ) < o ( g ( n ) )f(n)g(n)f(n)<o(g(n))

Wenn also , scheint die Eigenschaft unnatürlich zu sein (sie verletzt die Größe). Wir können natürlich keine Diagonalisierung verwenden, da wir nicht in einer einheitlichen Umgebung sind.f(m)g(n)nO(1)

Gibt es ein Ergebnis in diese Richtung?

Antworten:


31

Tatsächlich kann gezeigt werden, dass es für jedes ausreichend klein ist (weniger als ), Funktionen gibt, die durch Schaltkreise der Größe berechenbar sind, aber nicht durch Schaltkreise der Größe oder sogar , abhängig von der Art der zulässigen Tore.2 n / n f ( n ) f ( n ) - O ( 1 ) f ( n ) - 1f2n/nf(n)f(n)O(1)f(n)1

Hier ist ein einfaches Argument, das zeigt, dass es Funktionen gibt, die in der Größe aber nicht in der Größe berechenbar sind .f ( n ) - O ( n )f(n)f(n)O(n)

Wir wissen das:

  1. es gibt eine Funktion , die eine Schaltungskomplexität von mindestens und insbesondere eine Schaltungskomplexität von mehr als erfordert .2 n / O ( n ) f ( n )g2n/O(n)f(n)
  2. die Funktion so dass für jeden Eingang ist, ist durch eine Schaltung konstanter Größe berechenbar.z ( x ) = 0 xzz(x)=0x
  3. Unterscheiden sich zwei Funktionen und nur in einem Eingang, so unterscheidet sich deren Schaltungskomplexität um höchstensg 2 O ( n )g1g2O(n)

Angenommen, ist an Eingängen ungleich Null . Nennen Sie solche Eingänge . Wir können für jedes die Funktion die die Indikatorfunktion der Menge ; also und .gNx1,,xNigi(x){x1,,xi}g0=0gN=g

Es ist klar, dass einige so sind, dass eine Schaltungskomplexität von mehr als und eine Schaltungskomplexität von weniger als . Aber dann hat eine Schaltungskomplexität von weniger als aber mehr als .igi+1f(n)gif(n)gif(n)f(n)O(n)


3
Wie ist der Beweis erbracht, dass es Funktionen gibt, die durch Schaltkreise der Größe aber nicht durch Schaltkreise der Größe f ( n ) - O ( 1 ) berechenbar sind ? f(n)f(n)O(1)
William Hoza

28

Dieses Ergebnis kann mit einem einfachen Zählargument bewiesen werden. Betrachten Sie eine Zufallsfunktion, die auf die ersten Bits der Eingabe angewendet wird . Diese Funktion hat mit ziemlicher Sicherheit eine Schaltungskomplexität ( 1 + o ( 1 ) ) ( 2 k / k ) nach Riordans und Shannons Zählargument und übereinstimmende Obergrenzen. Wenn wir also k so wählen , dass 2 g ( n ) < 2 k / k < f ( n ) / 2 , können wir die Größe g unterscheidenk(1+o(1))(2k/k)k2g(n)<2k/k<f(n)/2 ab Größe f ( n ) . Beachten Sie, dass die fraglichen Funktionen nicht notwendigerweise berechenbar sind, aber wir können sie mit Standardtechniken in die exponentielle Zeithierarchie setzen (solange wir den richtigen Wert von k berechnen können). Wir können natürlich nicht beweisen, dass eine Grenze größer als 2 n / n ist , da dies die ungünstigste Schaltungskomplexität einer Funktion ist. g(n)f(n)k2n/n

Natürliche Beweise gelten für diese Art von Argument nicht, da die fragliche Eigenschaft "keine kleine Schaltung" aufweist, die (vermutlich) nicht einfach aus der Wahrheitstabelle der Funktion berechnet werden kann. Es ist nicht klar, wie niedrig diese Art der Zählung in Komplexitätsklassen sein kann. Gibt es einen Grund , warum wir nicht ein Zählargument verwenden kann die untere Grenze für beweisen ? Nicht, dass ich davon Wüste. NE


6
Kein direkter Grund, aber alle bekannten Ansätze (Implementierungen von Zählargumenten) erfordern, dass wir schließlich überprüfen, ob die Wahrheitstabelle einer gegebenen Funktion eine hohe Schaltungskomplexität aufweist. Ein Algorithmus für dieses Problem wäre eine Definition N P / p o l y -naturkautschuk Eigenschaft gegen P / P o l y (die, nach einem der Steven Rudich Papieren, unwahrscheinlich ist ). Natürlich scheint die Lösung dieses Problems unnötig ...NENP/polyP/poly
Ryan Williams
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.