ROBDD-Anwendungen: Modelle zählen

typische Anwendungen von ROBDD ...

diese Zahlen bottom-up dranschreiben: Linearzeit

dabei beachten, daß bei der Konstruktion evtl. Variablen verschwunden sind

Beispiel (Übung) Anzahl der Lösungen des n-Damen-Problems



2014-07-06