0 Daumen
64 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

Bitte logge dich ein oder registriere dich, um die Frage zu beantworten.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage sofort und kostenfrei

x
Made by a lovely community
...