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 (02 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
Binary Decision Diagrams and Applications for VLSI CAD
Language: en
Pages: 151
Authors: Shin-ichi Minato
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - 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
Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 214
Authors: Jun Pang
Categories: Computers
Type: BOOK - Published: 2020-11-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 439
Authors: Dirk Beyer
Categories: Computers
Type: BOOK - Published: 2018-04-11 - Publisher: Springer

DOWNLOAD EBOOK

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Too
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 583
Authors: Dana Fisman
Categories: Computers
Type: BOOK - Published: 2022-03-29 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TAC