KIT | KIT-Bibliothek | Impressum | Datenschutz

100 Übungsaufgaben zu Grundlagen der Informatik, Bd. II - Kap. 3: Binary Decision Diagram (BDD)

Schmeck, Hartmut; König, Lukas

Abstract:

Der vorliegende Vorlesungszuschnitt beschäftigt sich mit dem Binary Decision Diagram (BDD), das neben Wahrheitstabellen und Booleschen Ausdrücken eine weitere Möglichkeit ist, Boolesche Funktionen darzustellen. BDDs haben im Gegensatz zu anderen Darstellungsformen den Vorteil, dass sie eine platzsparende Darstellung liefern können, die zeiteffizient für gegebene Belegungen der Variablen ausgewertet werden kann. BDDs sind dadurch eine wesentliche Datenstruktur heutiger CAD-Werkzeuge. Anhand des Entwicklungssatzes für Boolesche Funktionen wird ein Verfahren entwickelt, welches ein BDD erzeugt.


Zugehörige Institution(en) am KIT KIT-Bibliothek (BIB)
Publikationstyp Audio & Video
Publikationsdatum 24.10.2013
Erstellungsdatum 24.10.2013
Sprache Deutsch
DOI 10.5445/DIVA/2013-727
Identifikator KITopen-ID: 1000111695
Lizenz KITopen-Lizenz
Serie 100 Übungsaufgaben zu Grundlagen der Informatik : Band I: Theoretische Informatik
Folge 12
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page