Hi

Blatt 4, Aufgabe 2b):
Die Variablenreihenfolge des ROBDDs muß (b3<a3<b2<a2<b1<a1) (b3 als Wurzel) sein; bei der Reihenfolge (b3>a3>b2>a2>b1>a1) (a1 als Wurzel) wird der ROBDD für g sehr groß (zu groß für eine Übungsaufgabe).

Die Übungsblätter im Netz sind korrigiert.

Grüße
Tobias Nopper





Edited 1 time(s). Last edit at 06/08/2005 01:39PM by nopper.

Was ist eigentlich der Unterschied zwischen ROBDD und OBDD, hab so auf die schnelle nichts gefunden

Hi

Ein OBDD ist ein "Ordered Binary Decision Diagram", ein ROBDD ein "Reduced Ordered Binary Decision Diagram". Oft (auch hier) wird darunter aber das gleiche verstanden, nämlich ein vollständig reduziertes geordnetes BDD.

Grüße
Tobias Nopper

Kann man eigentlich zwei äquivalente TeilBDDS zu einem zusammenfassen, sprich sind Knoten erlaubt, die mehr als einen Eingang haben?

felix Wrote:
-------------------------------------------------------
> Kann man eigentlich zwei äquivalente TeilBDDS zu
> einem zusammenfassen, sprich sind Knoten erlaubt,
> die mehr als einen Eingang haben?
>
>


uhm, hätt ich mir mal vorher die folien angeschaut... ich brauch keine antwort mehr.