Notes on sequence binary decision diagrams: Relationship to acyclic automata and complexities of binary set operations

Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin ichi Minato

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

Manipulation of large sequence data is one of the most important problems in string processing. Recently, Loekito et al. (Knowl. Inf. Syst., 24(2), 235-268, 2009) have introduced a new data structure, called Sequence Binary Decision Diagrams (SeqBDDs, or SDDs), which are descendants of both acyclic DFAs (ADFAs) and binary decision diagrams (BDDs). SDDs can compactly represent sets of sequences as well as minimal ADFAs, while SDDs allow efficient set operations inherited from BDDs. A novel feature of the SDDs is that different SDDs can share equivalent subgraphs and duplicated computation in common to save the time and space in various operations. In this paper, we study fundamental properties of SDDs. In particular, we first present non-trivial relationships between sizes of minimum SDDs and minimal ADFAs. We then analyze the complexities of algorithms for Boolean set operations, called the binary synthesis. Finally, we show experimental results to confirm the results of the theoretical analysis on real data sets.

Original languageEnglish
Title of host publicationProceedings of the Prague Stringology Conference 2011
Pages147-161
Number of pages15
Publication statusPublished - 2011 Dec 1
Externally publishedYes
EventPrague Stringology Conference 2011, PSC 2011 - Prague, Czech Republic
Duration: 2011 Aug 292011 Aug 31

Publication series

NameProceedings of the Prague Stringology Conference 2011

Other

OtherPrague Stringology Conference 2011, PSC 2011
CountryCzech Republic
CityPrague
Period11/8/2911/8/31

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Notes on sequence binary decision diagrams: Relationship to acyclic automata and complexities of binary set operations'. Together they form a unique fingerprint.

Cite this