Willkommen! Einloggen Ein neues Profil erzeugen

erweitert

Variablenmordnung bei BDDs

geschrieben von cMarquardt 
Variablenmordnung bei BDDs
05.03.2010 16:54:54
Hi,

ich weiß die frage ist fast triviakl, aber in welcher Reihenfolge baue ich einen BDD auf, wenn da steht nach Variablenordnung (x1<x2<x3<x4) steht?
Re: Variablenmordnung bei BDDs
05.03.2010 17:02:21
Bei x1 < x2 < x3 < x4 wäre x1 "ganz oben"... entsprechend x4 "ganz unten", also zuerst Kofaktor nach x1 bilden, dann nach x2, usw.

Ist leider bei den Originalfolien etwas unter den Tisch gefallen. Aber auf den annotierten Folien zu Kap. 7.4 gibt es auf Seite 11 ein Beispiel bei dem auch die Variablenordnung in dieser Schreibweise stehen.
Sorry, Sie haben nicht die erforderliche Berechtigung, um in diesem Forum zu schreiben.