Beispiel zur Demonstration der Leistung nicht deterministischer Schaltkreise

17

Eine nicht deterministische Boolesche Schaltung hat zusätzlich zu den gewöhnlichen Eingängen eine Menge von "nicht deterministischen" Eingängen y = ( y 1 , ... , y m ) . Eine nicht deterministische Schaltung C akzeptiert den Eingang x, wenn es y gibt, so dass die Schaltung 1 an ( x , y ) ausgibt . Analog zu P / p o l yx=(x1,,xn)y=(y1,,ym)Cxy1(x,y)P/poly(die Klasse der Sprachen entscheidbar durch polynomiale Größe Schaltungen), kann als die Klasse von Sprachen definiert sein entscheidbar durch polynomiale Größe nicht-determinis Schaltungen. Es wird allgemein angenommen , dass nicht-deterministische Schaltungen leistungsstärker als deterministische Schaltungen sind insbesondere N P P / p o l y impliziert , dass das Polynom Hierarchie zusammenbricht.NP/polyNPP/poly

Gibt es ein explizites (und unbedingtes) Beispiel in der Literatur, das zeigt, dass nicht deterministische Schaltkreise leistungsfähiger sind als deterministische Schaltkreise?

Insbesondere sind Sie eine Funktion Familie kennen berechenbare von nicht-deterministisch Schaltungen der Größe c n , aber nicht berechenbar durch deterministische Schaltungen der Größe ( c + ε ) n ?{fn}n>0cn(c+ϵ)n

Gustav Nordh
quelle
4
Ich glaube nicht, dass eine solche Familie bekannt ist. Hier ist ein kürzlich veröffentlichter Artikel über nicht deterministische Schaltkreise: arxiv.org/abs/1504.06731 Ich erinnere mich, dass Hiroki vor der Veröffentlichung des Artikels hier eine ähnliche Frage gestellt hat
Alexander S. Kulikov,
2
Vielen Dank. Ich gehe davon aus, dass die Frage, auf die Sie sich beziehen, die folgende ist: cstheory.stackexchange.com/q/25736, die verwandt ist, aber nach Untergrenzen für die nicht deterministische Schaltungskomplexität fragt.
Gustav Nordh
3
Eine wichtige Eigenschaft nicht deterministischer Schaltkreise besteht darin, dass sie immer in Schaltkreise mit äquivalenter Tiefe 2 umgewandelt werden können, indem mehr nicht deterministische Eingänge hinzugefügt werden, wobei dieselben Ideen wie bei der Reduzierung von CircuitSAT auf SAT verwendet werden. Dies bedeutet insbesondere, dass nicht deterministische Schaltungen der Tiefe 2 die Parität von n Bits in Polynomgröße berechnen können, während deterministische Schaltungen der Tiefe 2 die Parität 2 ^ n-1 berechnen müssen.
Oder Meir
1
Guter Punkt! Insbesondere in Bezug auf Hirokis oben erwähntes Ergebnis ist die nicht deterministische Schaltungskomplexität der Parität 3 (n-1), was gleich der deterministischen Schaltungskomplexität der Parität ist.
Gustav Nordh
1
Der Fall von DeMorgan-Formeln ähnelt den oben erwähnten Schaltkreisen der Tiefe 2. Nicht deterministische DeMorgan-Formeln können die Parität von n Bits in linearer Größe unter Verwendung der ähnlichen Ideen wie Schaltkreise der Tiefe 2 berechnen, während deterministische DeMorgan-Formeln nach dem Satz von Khrapchenko eine quadratische Größe benötigen.
Hiroki Morizumi

Antworten:

4

Wenn dieses Problem keinen Fortschritt hat, habe ich eine Antwort.

-

Ich habe dieses Problem seit meinem COCOON'15-Artikel (vor Ihrer Frage) ebenfalls berücksichtigt.

fU2f2n+o(n)U2f3no(n)

Ich entschuldige mich, dass ich das Papier nicht geschrieben habe. Die nachstehende Proofskizze könnte ausreichen, um meine Proofstrategie zu erläutern. Ich beabsichtige, die Arbeit mit mehr Ergebnissen bis zum STACS-Stichtag (1. Oktober) zu schreiben.

[Proof-Skizze]

f=i=0n1Parityn(xni+1,,xni+n)

Der deterministische Nachweis der unteren Schranke basiert auf einer Standard-Gate-Eliminierungsmethode mit geringfügigen Änderungen.

Der nicht deterministische Beweis der oberen Schranke ist eine Konstruktion einer solchen nicht deterministischen Schaltung.

  1. Konstruieren Sie eine Schaltung, die berechnetParityno(n)
  2. n2n+o(n)
  3. Kombinieren Sie die beiden Kreisläufe.
Hiroki Morizumi
quelle
Irgendwas stimmt nicht mit den Grenzen. Die nicht deterministische Komplexität kann nicht größer sein als die deterministische Komplexität.
Emil Jeřábek unterstützt Monica
Vielen Dank für Ihre Antwort, genau das, wonach ich gesucht habe!
Gustav Nordh