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.
This work was supported in part by the Italian Ministry of Education, University, and Research (MIUR) under PRIN 2012C4E3KT national research project AMANDA Algorithmics for MAssive and Networked DAta.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Akers, S.: Binary Decision Diagrams. IEEE Transactions on Computers 27(6) (1978)
Aumann, Y., Bender, M.A.: Fault Tolerant Data Structures. In: 37th Annual Symposium on Foundations of Computer Science, FOCS (1996)
Bernasconi, A., Ciriani, V., Lago, L.: Error Resilient OBDDs. In: IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), pp. 246–249 (2013)
Bernasconi, A., Ciriani, V., Lago, L.: On the Error Resilience of Ordered Binary Decision Diagrams. Technical Report arXiv:1404.3919 (2014)
Bryant, R.: Graph Based Algorithm for Boolean Function Manipulation. IEEE Transactions on Computers (1986)
Ciriani, V., di Vimercati, S.D.C., Foresti, S., Livraga, G., Samarati, P.: An OBDD approach to enforce confidentiality and visibility constraints in data publishing. Journal of Computer Security 20(5), 463–508 (2012)
Drechsler, R.: Verifying integrity of decision diagrams. In: Computer Safety, Reliability and Security (1998)
Ebendt, R., Fey, G., Drechsler, R.: Advanced BDD Optimization. Springer (2005)
Finocchi, I., Grandoni, F., Italiano, G.: Designing reliable algorithms in unreliable memories. Computer Science Review 1(2), 77–87 (2007)
Finocchi, I., Italiano, G.: Sorting and Searching in Faulty Memories. Algorithmica (2008)
Finocchi, I., Grandoni, F., Italiano, G.F.: Optimal resilient sorting and searching in the presence of memory faults. Theor. Comput. Sci. 410(44), 4457–4470 (2009)
Finocchi, I., Grandoni, F., Italiano, G.F.: Resilient dictionaries. ACM Transactions on Algorithms 6(1) (2009)
Italiano, G.: Resilient Algorithms and Data Structures. In: Algorithms and Complexity (2010)
Jacob, B., Ng, S., Wang, D.: Cache, DRAM, Disk. Morgan Kaufmann (2008)
Knuth, D.: The Art of Computer Programming Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. Addison-Wesley Professional (2009)
Liaw, H.T., Lin, C.S.: On the OBDD-representation of general Boolean functions. IEEE Transactions on Computers (1992)
Minato, S.: Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. In: ACM/IEEE 30th Design Automation Conference (DAC), pp. 272–277 (1993)
Minato, S.: Data Mining Using Binary Decision Diagrams. In: Progress in Representation of Discrete Functions, ch. 5, pp. 97–109. Morgan & Claypoo (2010)
Minato, S.: Techniques of bdd/zdd: Brief history and recent activity. IEICE Transactions 96-D(7), 1419–1429 (2013)
Minato, S., Kimihito, I.: Symmetric item set mining method using zero-suppressed bdds and application to biological data. Information and Media Technologies 2(1), 300–308 (2007)
Requeno, J.I., Colom, J.M.: Compact representation of biological sequences using set decision diagrams. In: Rocha, M.P., Luscombe, N., Fdez-Riverola, F., Rodríguez, J.M.C. (eds.) 6th International Conference on PACBB. AISC, vol. 154, pp. 231–240. Springer, Heidelberg (2012)
Taylor, D.: Error models for robust storage structures. In: 20th International Symposium on Fault-Tolerant Computing (1990)
Yoon, S., Nardini, C., Benini, L., De Micheli, G.: Discovering coherent biclusters from gene expression data using zero-suppressed binary decision diagrams. IEEE/ACM Trans. Comput. Biol. Bioinformatics 2(4), 339–354 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bernasconi, A., Ciriani, V. (2014). Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults. In: Diaz, J., Lanese, I., Sangiorgi, D. (eds) Theoretical Computer Science. TCS 2014. Lecture Notes in Computer Science, vol 8705. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44602-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-44602-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44601-0
Online ISBN: 978-3-662-44602-7
eBook Packages: Computer ScienceComputer Science (R0)