Questions tagged «binary-decision-diagrams»

设和两个具有位的二进制数，并且和乘积的二进制数（长度）。我们要计算乘积最接近位。XXxÿÿyññnž= X ⋅ ÿ ž=X⋅ÿ z = x \cdot y\ 2 n2ñ2nXXxÿÿyž2 n − 1ž2ñ-1个z_{2n-1}ž= z2 n − 1… z0ž=ž2ñ-1个…ž0z = z_{2n-1} \ldots z_0 为了在二进制决策图模型（尤其是一次性分支程序）的模型中分析此功能的复杂性，我尝试在的情况下寻找一些等效表达式。首先显而易见的是（此处和是二进制数的对应整数）。我想得到一个直觉，如果我将一些输入位设置为常数会发生什么。例如，如果我将和的最高有效输入位设置为0，则得到常数0。但是，具有较低重要性的位不会对结果产生这样的影响。ž2 n − 1= 1ž2ñ-1个=1个z_{2n-1} = 1ž2 n − 1= 1 ⇔ X ⋅ ÿ≥ 22 n − 1ž2ñ-1个=1个⇔X⋅ÿ≥22ñ-1个z_{2n-1} = 1 \Leftrightarrow x \cdot y \geq …

15 cc.complexity-theory  binary-decision-diagrams 

图的最简单表示形式是使用邻接矩阵/列表，这意味着每个节点和边都得到了明确表示。长期以来，人们已经认识到隐式表示对于显示强规律性的图形的重要性。例如，Galperin＆Wigderson（1983），Papadimitriou＆Yannakakis（关于图的简洁表示的注解，1986）探讨了图的问题，其邻接矩阵由布尔公式表示，回答（i，j）是否为边给定节点号i和j的二进制表示。在一些通常满足的约简约束下，对于该表示，显式图的P-完全问题变为PSPACE-完全，NP-完全问题变为NEXPTIME-完全等。 这种规则图的自然方法是使用ROBDD表示布尔公式；困难在于经典算法趋向于逐一枚举节点，这在这种表示上产生了指数成本，因此必须避免。已经有关于使用这种表示法解决经典问题的论文，例如Gentilini等。（以线性符号步数计算强连接的组件），Woelfel（使用 OBDD进行符号拓扑排序）。 我想知道是否对这种技术进行了一些调查，因为在这种情况下疏通文献是不方便的...

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