Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Information Science and Technology / Faculty of Information Science and Technology >
Peer-reviewed Journal Articles, etc >
Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation
Title: | Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation |
Authors: | Minato, Shin-ichi Browse this author →KAKEN DB |
Keywords: | BDD | ZDD | discrete structure | graph algorithm |
Issue Date: | Aug-2017 |
Publisher: | 電子情報通信学会 |
Journal Title: | IEICE transactions on information and systems |
Volume: | E100D |
Issue: | 8 |
Start Page: | 1556 |
End Page: | 1562 |
Publisher DOI: | 10.1587/transinf.2016LOI0002 |
Abstract: | Discrete structure manipulation is a fundamental technique for many problems solved by computers. BDDs/ZDDs have attracted a great deal of attention for twenty years, because those data structures are useful to efficiently manipulate basic discrete structures such as logic functions and sets of combinations. Recently, one of the most interesting research topics related to BDDs/ZDDs is Frontier-based search method, a very efficient algorithm for enumerating and indexing the subsets of a graph to satisfy a given constraint. This work is important because many kinds of practical problems can be efficiently solved by some variations of this algorithm. In this article, we present recent research activity related to BDD and ZDD. We first briefly explain the basic techniques for BDD/ZDD manipulation, and then we present several examples of the state-of-the-art algorithms to show the power of enumeration. |
Rights: | Copyright ©2017 The Institute of Electronics, Information and Communication Engineers |
Relation: | https://search.ieice.org/ |
Type: | article |
URI: | http://hdl.handle.net/2115/67138 |
Appears in Collections: | 情報科学院・情報科学研究院 (Graduate School of Information Science and Technology / Faculty of Information Science and Technology) > 雑誌発表論文等 (Peer-reviewed Journal Articles, etc)
|
Submitter: 湊 真一
|