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 \cdot y\ 2n2n2nxxxyyyz2n−1z2n−1z_{2n-1}z=z2n−1…z0z=z2n−1…z0z = z_{2n-1} \ldots...

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

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