2014年
A General Framework for Parallel Unary Operations on ZDDs
TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING
- ,
- ,
- 巻
- 8643
- 号
- 開始ページ
- 494
- 終了ページ
- 503
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-319-13186-3_44
- 出版者・発行元
- SPRINGER-VERLAG BERLIN
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.
- リンク情報
-
- DOI
- https://doi.org/10.1007/978-3-319-13186-3_44
- DBLP
- https://dblp.uni-trier.de/rec/conf/pakdd/TakeuchiTM14
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000354705300044&DestApp=WOS_CPL
- URL
- http://dblp.uni-trier.de/db/conf/pakdd/pakdd2014-w.html#conf/pakdd/TakeuchiTM14
- ID情報
-
- DOI : 10.1007/978-3-319-13186-3_44
- ISSN : 0302-9743
- DBLP ID : conf/pakdd/TakeuchiTM14
- Web of Science ID : WOS:000354705300044