Direkt zum Inhalt

Lexikon der Mathematik: P/poly (Sprachklasse)

Klasse aller Folgen Boolescher Funktionen \begin{eqnarray}{f}_{n}:{\{0,1\}}^{n}\to \{0,1\},\end{eqnarray} die sich in Schaltkreisen mit durch 2 beschrmacampauml;nktem macampnearr; fan-in macampuuml;ber dem Bausteinsatz AND, OR und NOT (Konjunktion, Disjunktion, NOT-Funktion) mit polynomiell vielen Bausteinen berechnen lassen.

Diese Klasse ist das hardwaremmacampauml;macampszlig;ige Analogon zur Komplexitmacampauml;tsklasse macampnearr; P und enthmacampauml;lt nicht nur P, sondern auch macampnearr; BPP und nicht Turing-berechen-bare Funktionen.

Allerdings ist mit der Zugehmacampouml;rigkeit zur Klasse P/poly nur die Existenz von Schaltkreisen polynomieller Grmacampouml;macampszlig;e gesichert und nichts macampuuml;ber deren effiziente Konstruierbarkeit ausgesagt. Diese ist erst gesichert, wenn die zugehmacampouml;rige macampnearr; direkte Verbindungssprache effizient entscheidbar ist.

  • Die Autoren
- Prof. Dr. Guido Walz

Schreiben Sie uns!

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.