Applications of Zero-Suppressed Decision Diagrams

Applications of Zero-Suppressed Decision Diagrams
Author :
Publisher : Springer Nature
Total Pages : 106
Release :
ISBN-10 : 9783031798702
ISBN-13 : 3031798708
Rating : 4/5 (708 Downloads)

Book Synopsis Applications of Zero-Suppressed Decision Diagrams by : Jon T. Butler

Download or read book Applications of Zero-Suppressed Decision Diagrams written by Jon T. Butler and published by Springer Nature. This book was released on 2022-05-31 with total page 106 pages. Available in PDF, EPUB and Kindle. Book excerpt: A zero-suppressed decision diagram (ZDD) is a data structure to represent objects that typically contain many zeros. Applications include combinatorial problems, such as graphs, circuits, faults, and data mining. This book consists of four chapters on the applications of ZDDs. The first chapter by Alan Mishchenko introduces the ZDD. It compares ZDDs to BDDs, showing why a more compact representation is usually achieved in a ZDD. The focus is on sets of subsets and on sum-of-products (SOP) expressions. Methods to generate all the prime implicants (PIs), and to generate irredundant SOPs are shown. A list of papers on the applications of ZDDs is also presented. In the appendix, ZDD procedures in the CUDD package are described. The second chapter by Tsutomu Sasao shows methods to generate PIs and irredundant SOPs using a divide and conquer method. This chapter helps the reader to understand the methods presented in the first chapter. The third chapter by Shin-Ichi Minato introduces the ""frontier-based"" method that efficiently enumerates certain subsets of a graph. The final chapter by Shinobu Nagayama shows a method to match strings of characters. This is important in routers, for example, where one must match the address information of an internet packet to the proprer output port. It shows that ZDDs are more compact than BDDs in solving this important problem. Each chapter contains exercises, and the appendix contains their solutions. Table of Contents: Preface / Acknowledgments / Introduction to Zero-Suppressed Decision Diagrams / Efficient Generation of Prime Implicants and Irredundant Sum-of-Products Expressions / The Power of Enumeration--BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion / Regular Expression Matching Using Zero-Suppressed Decision Diagrams / Authors' and Editors' Biographies / Index


Applications of Zero-Suppressed Decision Diagrams Related Books

Applications of Zero-Suppressed Decision Diagrams
Language: en
Pages: 106
Authors: Jon T. Butler
Categories: Technology & Engineering
Type: BOOK - Published: 2022-05-31 - Publisher: Springer Nature

DOWNLOAD EBOOK

A zero-suppressed decision diagram (ZDD) is a data structure to represent objects that typically contain many zeros. Applications include combinatorial problems
Applications of Zero-Suppressed Decision Diagrams
Language: en
Pages: 123
Authors: Tsutomu Sasao
Categories: Technology & Engineering
Type: BOOK - Published: 2014-11-01 - Publisher: Morgan & Claypool Publishers

DOWNLOAD EBOOK

A zero-suppressed decision diagram (ZDD) is a data structure to represent objects that typically contain many zeros. Applications include combinatorial problems
Binary Decision Diagrams and Applications for VLSI CAD
Language: en
Pages: 170
Authors: Shin-ichi Minato
Categories: Technology & Engineering
Type: BOOK - Published: 1995-11-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale i
Branching Programs and Binary Decision Diagrams
Language: en
Pages: 418
Authors: Ingo Wegener
Categories: Mathematics
Type: BOOK - Published: 2000-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of
Binary Decision Diagrams
Language: en
Pages: 205
Authors: Rolf Drechsler
Categories: Technology & Engineering
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

For someone with a hammer the whole world looks like a nail. Within the last 10-13 years BinarĀ·y Decision Diagmms (BDDs) have become the state-of-the-art data