Boolescher Schaltkreis

In der theoretischen Informatik (insbesondere in der Komplexitätstheorie) ist ein boolescher Schaltkreis ein mathematisches Modell für digitale Schaltungen.

Formale Definitionen

Gatter

Gatter sind die Bestandteile, aus denen boolesche Schaltkreise aufgebaut sind. Diese bekommen boolesche Eingaben und kombinieren diese zu einem booleschen Wert als Ausgabe. Es gibt verschiedene Typen von Gattern, die Eingaben unterschiedlich kombinieren. Ein Gatter-Typ ist eine boolesche Funktion, die ein k-Tupel von booleschen Werten auf einen booleschen Wert abbildet.

Beispiele für Gatter-Typen:

• Die Familie von AND-Gattern: Für jede beliebige Stelligkeit k gibt es ein ${\wedge }_k$-Gatter, das genau dann 1 ausgibt, wenn alle Eingaben 1 sind. Für $k=2$ notieren wir die Gatter auch mit $\wedge$, d. h., $\wedge ={\wedge }_2$
• Die Familie von OR-Gattern: Für jede beliebige Stelligkeit k gibt es ein ${\vee }_k$-Gatter, das genau dann 1 ausgibt, wenn mindestens eine Eingabe 1 ist. Für $k=2$ notieren wir die Gatter auch mit $\vee$, d. h., $\vee ={\vee }_2$
• Das Negations-Gatter $\mathrm{\neg }$: Es hat genau eine Eingabe und gibt 1 aus genau dann, wenn die Eingabe 0 ist.

Boolescher Schaltkreis

Ein $n$-Input- $m$-Output-boolescher-Schaltkreis über eine Basis $\mathrm{{\rm Y}}$ von Gattertypen ist ein gerichteter azyklischer Graph $G=(V,E)$. Die Knoten des Graphen werden auch als Gatter bezeichnet.

• Es gibt $n$ Knoten $i_1,i_2,\dots ,i_n\in V$, die Inputs, die keine eingehenden Kanten haben.
• Die verbleiben Knoten werden als interne Knoten bezeichnet.
• Jedem internen Knoten ist ein Gattertyp $\upsilon \in \mathrm{{\rm Y}}$ zugeordnet, dessen Stelligkeit mit dem In-Grad des Knoten übereinstimmt (wenn notwendig, wird auch die Reihenfolge der eingehenden Kanten festgelegt).
• Des Weiteren gibt es $m$ Knoten $o_1,o_2,\dots ,o_m$, die als Output-Knoten markiert sind.

Eine häufige Wahl für die Basis $\mathrm{{\rm Y}}$ ist $\mathrm{{\rm Y}}=\{\wedge ,\vee ,\mathrm{\neg }\}$ (manchmal auch als Standardbasis bezeichnet), da mit diesen Gatter-Typen alle Booleschen Funktionen gebildet werden können.

Funktion des Schaltkreises

Für eine Eingabe $X=(x_1,x_2,\dots ,x_n)$ wird jedem Knoten $v\in V$ des Schaltkreises $C$ wie folgt ein Wahrheitswert $g_v(X)\in \{0,1\}$ zugewiesen:

• Jeder Input-Knoten $i_j$ bekommt den Wert $x_j$, d. h. $g_{i_j}(X)=x_j$.
• Interne Knoten werden so ausgewertet, dass zuerst alle Vorgänger ausgewertet werden, bevor der Knoten selbst ausgewertet wird und diese Werte dann entsprechend dem Gatter-Typ kombiniert werden.

Für einen internen Knoten $v\in V$ mit $k$ direkten Vorgängern $u_1,\dots u_k$ und Gatter-Typ $\upsilon \in \mathrm{{\rm Y}}$ berechnet man $g_v(X)$ als

$g_v(X)=\upsilon (g_{u_1}(X),\dots ,g_{u_k}(X))$

Die boolesche Funktion $f_C(X)$ eines booleschen Schaltkreises $C$ ist dann

$f_C(X)=(g_{o_1}(X),\dots ,g_{o_m}(X))$.

Begriffe

• Der Subschaltkreis eines internen Knotens $v$ besteht aus allen Gattern, die Vorgänger von $v$ sind, d. h., von denen es einen gerichteten Pfad zu $v$ gibt.
• Der Grad einer Basis $\mathrm{{\rm Y}}$ ist die maximale Stelligkeit ihrer Elemente.
• Monotoner Schaltkreis: Ein boolescher Schaltkreis $C$, bei dem die Funktion $f_C(\cdot )$ monoton in dem Sinne ist, dass, wann immer $X=(x_1,\dots ,x_n),Y=(y_1,\dots ,y_n),x_j\le y_j$ für $1\le j\le n$, auch $f_C(X{)}_j\le f_C(Y{)}_j$ für $1\le j\le m$ gilt. Oft werden damit auch boolesche Schaltkreise, die nur aus AND und OR Gattern bestehen, bezeichnet.

Komplexität

Boolesche Schaltkreise sind in der Komplexitätstheorie von Bedeutung, insbesondere im Teilgebiet der Schaltkreiskomplexität (Vorlage:EnS).

Komplexitätsmaße für Schaltkreise

Es gibt unterschiedliche Maße für die Komplexität eines Schaltkreises:

• Schaltkreisgröße (Vorlage:EnS): Die Anzahl der internen Knoten des Schaltkreises.
• Schaltkreistiefe (Vorlage:EnS): Die maximale Länge eines Pfades von einem Eingabegatter zu einem Ausgangsgatter.
• Anzahl der Alternierungen von AND und OR Gattern (Vorlage:EnS).
• Ingrad / Ausgrad des Schaltkreises: Die maximale Anzahl an eingehenden / ausgehenden Kanten eines Knotens des Schaltkreises. Der Ingrad wird durch die Basis $\mathrm{{\rm Y}}$ beschränkt.

Komplexitätsklassen

Einige bedeutende Komplexitätsklassen können mit Hilfe boolescher Schaltkreise definiert werden.

• Die Klasse NC und die dazugehörige Hierarchie ${\text{NC}}^i$
• Die Klasse AC und die dazugehörige Hierarchie ${\text{AC}}^i$

Schaltkreis-Auswertungsproblem

Beim Auswerten eines booleschen Schaltkreises (Vorlage:EnS) berechnet man für einen gegebenen Input-String, der allen Input-Gattern einen Wahrheitswert zuordnet, die Werte der Output-Gatter. Das Entscheidungsproblem, ob ein Output-Gatter eines Schaltkreises für eine gegebene Eingabe wahr ist, ist P-vollständig.

Erfüllbarkeitsproblem für Schaltkreise

Das Erfüllbarkeitsproblem für Schaltkreise (Vorlage:EnS) betrachtet einen booleschen Schaltkreis $C$ mit Basis $\mathrm{{\rm Y}}=\{\wedge ,\vee ,\mathrm{\neg }\}$ und einem einzigen Output-Gatter und fragt, ob es eine Eingabe gibt, die dieses Gatter auf 1 setzt, d. h., ob es ein $X$ gibt, so dass $f_C(X)=1$. Das Erfüllbarkeitsproblem für Schaltkreise ist NP-vollständig.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur