Als «binary-decision-diagrams» getaggte Fragen

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\ 2 n2n2nxxxyyyz2 n - 1z2n-1z_{2n-1}z= z2 n - 1… Z0z=z2n-1…z0z = z_{2n-1} \ldots z_0 Um...

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...

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...