IEICE信息与系统交易
在线ISSN:1745-1361
打印ISSN:0916-8532
多值逻辑和VLSI计算专题
枚举的威力——基于BDD/ZDD的离散结构操纵技术的最新主题
Shin-ichi MINATO公司
作者信息
期刊 免费访问

2017卷E100.D第8版第1556-1562页

细节
摘要

离散结构操纵是计算机解决许多问题的基本技术。BDD/ZDD二十年来,这些数据结构一直备受关注,因为这些数据结构有助于有效地操作基本的离散结构,例如逻辑函数和组合集。最近,与BDD/ZDDs相关的最有趣的研究课题之一是基于边界的搜索方法,一种非常有效的算法,用于枚举和索引图的子集以满足给定的约束。这项工作很重要,因为这种算法的一些变体可以有效地解决许多实际问题。在本文中,我们介绍了与BDD和ZDD相关的最新研究活动。我们首先简要介绍了BDD/ZDD操作的基本技术,然后我们给出了几个最先进的算法示例,以展示枚举权.

这些作者的内容
©2017电子、信息和通信工程师协会
上一篇文章 下一篇文章
反馈
顶部