A General Framework for Parallel Unary Operations on ZDDs
A General Framework for Parallel Unary Operations on ZDDs
复制标题
ZDD 上并行一元运算的通用框架
DOI：
10.1007/978-3-319-13186-3_44
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Shin-ichi Minato
中科院分区：
文献类型：
--
作者：
Shogo Takeuchi;Takahisa Toda;Shin-ichi Minato
零抑制二元决策图是表示集合族的压缩数据结构。有多种基本操作可以在 ZDD 上操作集合族，例如并集、交集和差集。无需解压缩 ZDD 即可有效计算它们。其中，有许多重要的一元运算，例如根据输入 ZDD 计算所有极值集（最大集或最小集）的 ZDD。一元运算在约束编程、数据挖掘和人工智能等各个领域都很有用。因此，必须有效地计算它们。在本文中，我们提出了 ZDD 上并行一元运算的通用框架。我们通过执行计算实验来分析计算复杂性并评估我们方法的有效性。
A zero-suppressed binary decision diagram is a compressed data structure that represents families of sets. There are various basic operations to manipulate families of sets over ZDDs such as union, intersection, and difference. They can be efficiently computed without decompressing ZDDs. Among them, there are many important unary operations such as computing the ZDD for all extremal sets (maximal sets or minimal sets) from an input ZDD. Unary operations are useful in various fields such as constraint programming, data mining, and artificial intelligence. Therefore, they must be efficiently computed. In this paper, we propose a general framework for parallel unary operations on ZDDs. We analyze the computational complexity and evaluate the effectiveness of our method by performing computational experiments.
零抑制 BDD 理论和骑士巡演次数
影响因子：
0.8
作者：
Olaf Schröer;I. Wegener
通讯作者：
I. Wegener
DOI：
10.1007/978-3-540-75549-4_10
发表时间：
2006-09
期刊：
--
影响因子：
--
作者：
S. Minato;Hiroki Arimura
通讯作者：
S. Minato;Hiroki Arimura
一种适用于多核平台的新型并发缓存友好的二元决策图构建
DOI：
10.7873/date.2013.291
发表时间：
2013
期刊：
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE)
影响因子：
--
作者：
Mahmoud Elbayoumi;M. Hsiao;Mustafa ElNainay
通讯作者：
Mustafa ElNainay