Im Bereich der Informatik ist ein binäres Entscheidungsdiagramm (BDD) oder Verzweigungsprogramm, wie eine Negationsnormalform (NNF) oder ein propositional gerichteter azyklischer Graph (PDAG), eine Datenstruktur, die verwendet wird, um einen Booleschen Wert darzustellen Funktion. Auf einer abstrakteren Ebene können BDDs als komprimierte Repräsentation von Mengen oder Relationen betrachtet werden.
Reduzierte binäre Entscheidungsdiagramme (ROBDD) sind eine effiziente Datenstruktur für Boolesche Funktionen mehrerer Variablen f(x1,x2,...,xn) . Ich würde gerne eine Intuition für wie effizient sie sind.
Wir wissen zum Beispiel, dass D...
15.08.2010, 20:29