0 Daumen
211 Aufrufe

OBDD-Synthese bezeichnet ein Verfahren, um aus zwei gegebenen πOBDD Gg und Gh, die jeweils eine logische
Funktion fg bzw. fh repräsentieren, und einer logischen Verknüpfung ⊗, ein kombiniertes πOBDD Gk zu erstellen,
welches die logische Funktion fg ⊗ fh darstellt.


a. Berechnen Sie in dieser Aufgabe für die beiden gegebenen πOBDD G1 und G2 für die beiden Funktionen f1 und
f2, beide mit π = (x1, x2, x3, x4), das synthetisierte πOBDD G3, welches die Funktion f1 ∧ f2 repräsentiert.


b. Geben Sie eine (sinnvolle) obere Schranke für die Laufzeit des Algorithmus in Abhängigkeit von der Variablenordnung π = (x1,..., xn) an und begründen Sie diese Schranke.

von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community