Theoretische Informatik binary-decision-diagrams

1

Das höchstwertige Bit der Ganzzahlmultiplikation und der binären Entscheidungsdiagramme

Sei und y zwei Binärzahlen mit n Bits und z = x ⋅ y die Binärzahl (Länge 2 n ) des Produkts von x und y . Wir wollen das signifikanteste Bit z 2 n - 1 des Produkts berechnen .xxxyyynnnz= x ⋅ y z=x⋅y z = x \cdot y\ …

15 cc.complexity-theory binary-decision-diagrams

1

Algorithmen auf Graphen, die mit BDDs dargestellt werden

Die einfachsten Darstellungen für Diagramme verwenden Adjazenzmatrizen / -listen, was bedeutet, dass jeder Knoten und jede Kante explizit dargestellt wird. Die Bedeutung impliziter Darstellungen für Diagramme mit starken Regelmäßigkeiten ist seit langem bekannt. Zum Beispiel untersuchten Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( Eine Anmerkung zu prägnanten Darstellungen von …

10 ds.algorithms reference-request graph-theory survey binary-decision-diagrams

4

Heuristiken zur Abschätzung der Effizienz von reduzierten geordneten binären Entscheidungsdiagrammen?

Reduziertes bestellt Binary Decision Diagrams (ROBDD) ist eine effiziente Datenstruktur für die Darstellung von Booleschen Funktionen mehreren Variablen . Ich möchte eine Vorstellung davon bekommen, wie effizient sie sind.f( x1, x2, . . . , xn)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Zum Beispiel wissen wir für die Datenkomprimierung, dass Daten mit niedriger Entropie (einige Symbole …

8 ds.data-structures binary-decision-diagrams

Als «binary-decision-diagrams» getaggte Fragen