Perguntas com a marcação «binary-decision-diagrams»

Seja e dois números binários com bits e o número binário (comprimento ) do produto de e . Queremos calcular o bit mais significativo do produto .xxxyyynnnz= x ⋅ y z=x⋅y z = x \cdot y\ 2 n2n2nxxxyyyz2 n - 1z2n-1 1z_{2n-1}z= z2n - 1… Z0 0z=z2n-1 1...z0 0z = z_{2n-1} \ldots z_0 Para analisar a...

As representações mais simples para gráficos usam matrizes / listas de adjacência, o que significa que cada nó e aresta é representado explicitamente. A importância de representações implícitas para gráficos que apresentam fortes regularidades é reconhecida há muito tempo. Por exemplo, Galperin e...

Os diagramas de decisão binária ordenada reduzida (ROBDD) são uma estrutura de dados eficiente para representar funções booleanas de várias variáveis . Eu gostaria de ter uma intuição de quão eficientes eles são.f( x1, x2, . . . , xn)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Por exemplo, para compactação...