首页> 外文期刊>Discrete Applied Mathematics >Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations
【24h】

Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations

机译:序列二进制决策图:最小化,与非循环自动机的关系以及布尔集操作的复杂性

获取原文
获取原文并翻译 | 示例
           

摘要

The manipulation of large sequence data is one of the most important problems in string processing. In this paper, we discuss a new data structure for storing and manipulating sets of strings, called Sequence Binary Decision Diagrams (sequence BDDs), which has recently been introduced by Loekito et al. (2010) as a descendant of both acyclic DFAs (ADFAs) and binary decision diagrams (BDDs). Sequence BDDs can compactly represent sets of sequences similarly to minimal ADFAs, and allow efficient set operations inherited from BDDs. We study fundamental properties of sequence BDDs, such as the characterization of minimal sequence BDDs by reduced sequence BDDs, non-trivial relationships between sizes of minimal sequence BDDs and minimal ADFAs, the complexities of minimization, Boolean set operations, and sequence BDD construction. We also show experimental results for real and artificial data sets. (C) 2014 Elsevier B.V. All rights reserved.
机译:大序列数据的操作是字符串处理中最重要的问题之一。在本文中,我们讨论了一种新的用于存储和处理字符串集的数据结构,称为序列二进制决策图(序列BDD),Loekito等人最近引入了该结构。 (2010)作为非循环DFA(ADFA)和二元决策图(BDD)的后代。序列BDD与最小的ADFA相似,可以紧凑地表示序列集,并允许从BDD继承的高效集合操作。我们研究了序列BDD的基本属性,例如通过减少序列BDD来表征最小序列BDD,最小序列BDD和最小ADFA大小之间的非平凡关系,最小化的复杂性,布尔集运算和序列BDD构造。我们还显示了真实和人工数据集的实验结果。 (C)2014 Elsevier B.V.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号