新池敏人 零抑制BDD及其应用。 (英语) Zbl 1002.68589号 国际期刊软件。工具技术。Transf公司。3,第2期,156-170(2001)。 小结:在许多现实问题中,我们经常面临操纵组合集的问题。在本文中,我们研究了一种特殊类型的有序二元决策图(OBDD),称为零抑制BDD(ZBDD)。与使用原始OBDD相比,此数据结构表示组合集的效率更高。与原始OBDD相比,我们讨论了用于操作ZBDD的基本数据结构和算法。我们还介绍了ZBDD的一些实际应用,如用无状态立方体集代数解决组合问题、逻辑综合方法、Petri网处理等。我们表明,ZBDD是OBDD技术中的一个有用选项,适合于部分实际应用。 引用于11文件 MSC公司: 68单位99 计算方法和应用 68单位07 计算机辅助设计的计算机科学方面 68页第10页 搜索和排序 PDF格式BibTeX公司 XML格式 全文: 内政部 链接