Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults
Abstract
This paper discusses the error resilience of Zero-Suppressed Binary Decision Diagrams (ZDDs), which are a particular family of Ordered Binary Decision Diagrams used for representing and manipulating combination sets. More precisely, we design a new ZDD canonical form, called index-resilient reduced ZDD, such that a faulty index can be reconstructed in time O(k), where k is the number of nodes with a corrupted index.
Domains
Computer Science [cs]Origin | Files produced by the author(s) |
---|
Loading...