Zusammenfassung
Vor der Darstellung und Bearbeitung von Schaltfunktionen mit Hilfe von OBDDs muß eine Ordnung auf der Menge der Variablen festgelegt werden. Im vergangenen Kapitel haben wir gesehen, daß die Konstruktion der optimalen Variablenordnung ein sehr kritisches — weil mit explodierenden Rechenzeiten verbundenes — Unterfangen ist. Eine gute Ordnung kann zu einer sehr kompakten Darstellung und infolgedessen zu geringen Rechenzeiten führen, während eine schlechte Darstellung die Überschreitung des physikalisch vorhandenen Speichers nach sich ziehen und damit den Abbruch der gesamten Rechnung verursachen kann. Aber auch wenn es nicht zum Speicherüberlauf kommt, führen schlechte Variablenordnungen zu unakzeptabel hohen Rechenzeiten.
Ordnung führt zu allen Tugenden. Was aber führt zur Ordnung ?
Georg Christoph Lichtenberg (1742–1799)
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Meinel, C., Theobald, T. (1998). Optimierung der Variablenordnung. In: Algorithmen und Datenstrukturen im VLSI-Design. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-58773-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-58773-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63869-8
Online ISBN: 978-3-642-58773-3
eBook Packages: Springer Book Archive