安娜·伯纳斯科尼;瓦伦蒂娜·齐里亚尼;洛伦佐·拉戈 有序二元决策图的容错性。 （英语） Zbl 1328.68047号 西奥。计算。科学。 595, 11-33 (2015). 摘要：有序二进制决策图（OBDD）是一种数据结构，用于越来越多的计算机科学领域（例如逻辑合成、程序验证、数据挖掘、生物信息学和数据保护），用于表示和操作离散结构和布尔函数。本文的目的是研究OBDD的容错性，并设计此数据结构的弹性版本，即自配对OBDD。特别是，我们描述了一些策略，这些策略使降阶OBDD能够适应与输入变量相关的索引或节点指针（即OBDD边）中的错误。这些策略利用了数据结构的固有冗余以及其高效实现带来的冗余。我们提出的解决方案允许精确恢复原始OBDD，并且适用于当前使用的OBDD操作的经典软件包。本文的另一个结果是定义了一个新的规范OBDD模型，称为Index-Resilient Reduced OBDD，该模型保证具有错误索引的节点具有重建成本\（O（r）\），其中\（r）是具有损坏索引的节点数。在经典基准测试套件上的实验结果验证了所提方法的有效性。 引用于1文件 MSC公司： 68第05页 数据结构 关键词：二元决策图;容错数据结构 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bernasconi｝等人，Theor。计算。科学。595，11-33（2015年；兹bl 1328.68047） 全文： 内政部 arXiv公司 参考文献： [1] Akers，S.，二进制决策图，IEEE Trans。计算。，27, 6 (1978) ·Zbl 0377.94038号 [2] 奥曼，Y。；Bender，M.，容错数据结构，（第37届计算机科学基础年度研讨会，第37届计算科学基础年度会议，FOCS（1996）） [3] Bernasconi，A。；Ciriani，V。；Drechsler，R。；Villa，T.，2-SPP网络的逻辑最小化和可测试性，IEEE Trans。计算-辅助设计。集成。电路系统。，27, 7, 1190-1202 (2008) [4] Bernasconi，A。；Ciriani，V。；特鲁科，G。；Villa，T.，关于通过扩展协因子分解布尔函数，（欧洲的设计自动化和测试。欧洲的设计自动化和测试，DATE（2009）） [5] Bernasconi，A。；Ciriani，V。；Lago，L.，容错OBDDs，（IEEE电子电路和系统设计与诊断研讨会。IEEE电子线路和系统设计和诊断研讨会，DDECS（2013）），246-249 [6] Bernasconi，A。；Ciriani，V。；Luccio，F。；Pagli，L.，利用布尔函数合成的规律，理论计算。系统。，39, 4, 485-501 (2006) ·Zbl 1104.06010号 [7] 大括号K。；Rudell，R。；Bryant，R.，BDD包的高效实现，（ACM/IEEE第27届设计自动化会议，ACM/IEEE第27届自动设计会议，DAC（1990）） [8] Bryant，R.，布尔函数操作的基于图形的算法，IEEE Trans。计算。(1986) ·Zbl 0593.94022号 [9] Bryant，R.，有序二元决策图的符号布尔运算，ACM计算。调查。，24, 3, 293-318 (1992) [10] Ciriani，V。；南达科他州迪维梅尔卡蒂。；弗莱斯蒂，S。；利夫拉加，G。；Samarati，P.，《在数据发布中实施保密性和可见性约束的OBDD方法》，J.Compute。安全。，20, 5, 463-508 (2012) [11] Drechsler，R.，验证决策图的完整性，（计算机安全、可靠性和安全性（1998））·兹比尔1011.68151 [12] 费诺奇，I。；Grandoni，F。；Italiano，G.，《在不可靠存储器中设计可靠算法》，《计算》。科学。修订版，1、2、77-87（2007）·Zbl 1302.68106号 [13] 费诺奇，I。；Italiano，G.，错误记忆中的排序和搜索，算法（2008）·Zbl 1163.68319号 [14] 费诺奇，I。；Grandoni，F。；Italiano，G.F.，Resilient search trees，（第十八届ACM-SIAM离散算法年会论文集。第十八届ADAM-SIAM离散算法年会刊论文集，SODA07（2007）），547-553·Zbl 1302.68099号 [15] 费诺奇，I。；格兰多尼，F。；Italiano，G.F.，存在记忆故障时的最佳弹性排序和搜索，Theoret。计算。科学。，410, 44, 4457-4470 (2009) ·Zbl 1183.68230号 [16] Italiano，G.，弹性算法和数据结构，（算法和复杂性（2010））·Zbl 1284.68629号 [17] 雅各布，B。；Ng、S。；Wang，D.，Cache，DRAM，Disk（2008），Morgan Kaufmann [18] Knuth，D.，《计算机编程的艺术》，第4卷，分册1：比特策略与技术；二元决策图（2009），Addison-Wesley Professional·Zbl 1178.68372号 [19] Lee，C.，用二进制决策程序表示开关电路，贝尔系统。《技术期刊》，38，4，985-999（1959）·Zbl 0222.94042号 [20] Liaw，H.-T。；Lin，C.-S.，《关于一般布尔函数的OBDD表示法》，IEEE Trans。计算。(1992) ·Zbl 1395.94400号 [21] Minato，S.，用于组合问题中集合操作的零抑制BDD，（ACM/IEEE第30届设计自动化会议，ACM/IEEE第三十届设计自动化大会，DAC（1993）），272-277 [22] Minato，S.，《使用二元决策图进行数据挖掘》，（离散函数表示的进展（2010），Morgan&Claypool），97-109，第5章 [23] Minato，S.，《BDD/ZDD技术：简史和近期活动》，IEICE Trans。，96-D，7，1419-1429（2013） [24] Minato，S。；Kimihito，I.，使用零抑制BDD的对称项目集挖掘方法及其在生物数据中的应用，Inf.Media Technol。，2，1300-308（2007年） [25] 雷奎诺，J.I。；Colom，J.M.，使用集合决策图对生物序列进行紧凑表示，（Rocha，M.P.；Luscombe，N.；Fdez-Riverola，F.；Rodrguez，J。M.C.，第六届计算生物学和生物信息学实际应用国际会议。第六届计算生物学和生物信息学实际应用国际会议，智能和软计算进展，第154卷（2012），施普林格：施普林格柏林，海德堡），231-239 [26] 斯特吉奥，S。；Jain，J.，为时间序列数据集操作优化BDD，（欧洲设计、自动化和测试，欧洲设计、自动和测试，DATE（2013）） [27] Taylor，D.，稳健存储结构的误差模型，（第20届容错计算国际研讨会（1990）） [29] Yoon，S。；Nardini，C。；贝尼尼，L。；De Micheli，G.，使用零抑制二进制决策图从基因表达数据中发现相干双聚类，IEEE/ACM Trans。计算。生物信息学。，2、4、339-354（2005年10月） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。