A General Framework for Parallel Unary Operations on ZDDs

被引：0

作者：

Takeuchi, Shogo ^{[1
]}

Toda, Takahisa ^{[2
]}

Minato, Shin-ichi ^{[1
,3
]}

机构：

[1] Hokkaido Univ, Japan Sci & Technol Agcy, ERATO MINATO Discrete Struct Manipulat Syst Proje, Sapporo, Hokkaido 0600814, Japan

[2] Univ Electrocommun, Grad Sch Informat Syst, Chofu, Tokyo 1828585, Japan

[3] Hokkaido Univ, Grad Sch Informat Sci & Technol, Sapporo, Hokkaido 0600814, Japan

来源：

TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING | 2014年 / 8643卷

关键词：

Parallelization; Zero-suppressed binary decision diagram; Compression; ZERO-SUPPRESSED BDDS; GRAPH; NUMBER; ZBDDS;

D O I：

10.1007/978-3-319-13186-3_44

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：494 / 503

页数：10

共 50 条

[1] CATEGORY EQUIVALENCES OF CLONES OF OPERATIONS PRESERVING UNARY OPERATIONS
Koppitz, Joerg
Supaporn, Worakrit
[J]. COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES, 2013, 66 (02): : 177 - 184
[2] Iteration of Total and Partial Unary Operations
Ratanaprascrt, C.
Denecke, K.
[J]. SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2012, 36 (05) : 687 - 694
[3] Iteration of Total and Partial Unary Operations
Ratanaprasert, C.
Denecke, K.
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ALGEBRA 2010: ADVANCES IN ALGEBRAIC STRUCTURES, 2012, : 557 - 565
[4] LOCALLY COMPUTABLE CODING FOR UNARY OPERATIONS
YASUURA, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 491 : 312 - 323
[5] Why unary and binary operations in logic: General result motivated by interval-valued logics
Nguyen, HT
Kreinovich, V
Goodman, IR
[J]. JOINT 9TH IFSA WORLD CONGRESS AND 20TH NAFIPS INTERNATIONAL CONFERENCE, PROCEEDINGS, VOLS. 1-5, 2001, : 1991 - 1996
[6] A general framework for parallel BDI agents
Zhang, Huiliang
Huang, Shell Ying
[J]. 2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2006, : 103 - +
[7] GENERAL ITERATION AND UNARY FUNCTIONS
GERMANO, GM
MAZZANTI, S
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1991, 54 (02) : 137 - 178
[8] ECHO ALGORITHMS - DEPTH PARALLEL OPERATIONS ON GENERAL GRAPHS
CHANG, EJH
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (04) : 391 - 401
[9] Quantum Logic Implementation of Unary Arithmetic Operations
Thornton, Mitchell A.
Matula, David W.
Spenner, Laura
Miller, D. Michael
[J]. 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008), 2008, : 202 - 207
[10] Unary language operations and their nondeterministic state complexity
Holzer, M
Kutrib, M
[J]. DEVELOPMENTS IN LANGUAGE THEORY, 2003, 2450 : 162 - 172

← 1 2 3 4 5 →