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 = …

15 cc.complexity-theory  binary-decision-diagrams 

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 Wigderson (1983), Papadimitriou e Yannakakis ( Uma …

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

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 de dados, sabemos que dados com …

8 ds.data-structures  binary-decision-diagrams