BDD - Tut 4 (Aufgabe 2a)

Question

Hi, wieso wird keine Kante mit 0/1 von X nach Y gezeichnet? Stattdessen wird hier eine Kante 1 direkt nach Z gezeichnet..

 

Answer 1

Hallo,

um deine Frage zu beantworten, müssen wir uns nochmal anschauen, wie das BDD aus dem Baum entstanden ist:

Im dritten Schritt sieht man, dass wir bei Eingabe einer 1 in x zum rechten y gehen - dieses ist aufgrund seiner verschiedenen Nachfolgekonfigurationen nicht identisch mit dem linken y! Jedoch sehen wir, dass wir vom rechten y aus immer im rechten z landen werden, egal ob wir eine 0 oder eine 1 eingeben. Aufgrund dessen ist das rechte y überflüssig, wir können immer direkt von x ins rechte z gehen, wenn wir eine 1 einlesen.

Eine Kante (0 / 1) von x zum linken y zu zeichnen wäre nicht richtig, da das linke y andere Folgekonfigurationen hat. Deutlich wird das vielleicht an einem Beispiel:

Wir betrachten die Eingabefolge (1,0,1), mit der wir immer am Ende eine 1 erhalten sollten (siehe Ausgangsgraph). Wenn wir jetzt aber die Kante (0 / 1) von x zum linken y hinzufügen, wie von dir vorgeschlagen, erhalten wir für eben diese Eingabe eine 0.

Ich hoffe das hat es deutlich gemacht, bei Nachfragen melde dich gerne.

Beste Grüße,

Martin (Tutor)

Comments

Ist klar geworden, vielen dank :)