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 y(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.
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 ?