Preguntas etiquetadas con binary-decision-diagrams

Deje e dos números binarios conxxxyyynnn bits y el número binario (longitud 2 n ) del producto de x e y . Queremos calcular el bit más significativo z 2 n - 1 del producto z = z 2 n - 1 ... z 0 .z=x⋅y z=x⋅y z = x …

15 cc.complexity-theory  binary-decision-diagrams 

Las representaciones más simples para gráficos utilizan matrices / listas de adyacencia, lo que significa que cada nodo y borde se representa explícitamente. La importancia de las representaciones implícitas para gráficos que exhiben fuertes regularidades ha sido reconocida desde hace mucho tiempo. Por ejemplo, Galperin y Wigderson (1983), Papadimitriou y …

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

Diagramas reducido Ordenadas decisión binaria (ROBDD) son una estructura de datos eficiente para la representación de funciones booleanas de múltiples variables . Me gustaría tener una intuición de cuán eficientes son.F( x1, x2, . . . , xnorte)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Por ejemplo, para la compresión de datos, sabemos que los datos con …

8 ds.data-structures  binary-decision-diagrams