A Reordering Operation for an Ordered Binary Decision Diagram and an Extended Framework for Combinatorics of Graphs
A Reordering Operation for an Ordered Binary Decision Diagram and an Extended Framework for Combinatorics of Graphs
复制标题
有序二元决策图的重排序操作和图组合的扩展框架
DOI：
--
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
H. Imai
中科院分区：
文献类型：
--
作者：
S. Tani;H. Imai
二叉决策图已被证明是一个强大的范例，在处理布尔函数，并已被应用到许多领域，如超大规模集成电路CAD，人工智能，组合数学等。本文提出了一种新的操作有序二叉决策图（OBDD），称为重新排序，并证明了其实用性，提出了一个扩展的算法框架，适用于OBDD组合图枚举问题。
Binary decision diagrams have been shown as a powerful paradigm in handling Boolean functions and have been applied to many fields such as VLSI CAD, AI, combinatorics, etc. This paper proposes a new operation on an ordered binary decision diagram (OBDD), called reordering, and demonstrates its usefulness with presenting an extended algorithmic framework of applying OBDDs to combinatorial graph enumeration problems.