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