×

扩展小宽度的\(k\)-OBDD的层次结构。 (英语。俄文原件) Zbl 1290.68040号

俄罗斯数学。 57、3号、46-50(2013); Izv的翻译。维什。乌切布。扎韦德。,Mat.2013,第3期,第56-61页(2013年)。
摘要:在本文中,我们探索了著名的分支程序的(k)-OBDD模型。我们开发了一种将(k)-OBDD计算过程表示为“自动通信协议”计算过程的方法。我们的方法允许我们扩展由B.Bolling公司等人在[Teor.Comput.Sci.205,第1–2号,45–60(1998;Zbl 0913.68078号)]用于\(k\)-OBDDs。此外,使用PJM函数(对著名的PJ和ISA函数的修改),我们证明了一个新的层次结构。

MSC公司:

2005年第68季度 计算模型(图灵机等)(MSC2010)
2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] I.Wegener,《分支程序和二进制决策图:理论和应用》(工业和应用数学学会,费城,2000年)·Zbl 0956.68068号
[2] B.Bolling、M.Sauerhoff、D.Sieling和I.Wegener,“kOBDD和kIBDD的层次定理”,理论计算机科学205(1-2),45-601998·Zbl 0913.68078号 ·doi:10.1016/S0304-3975(97)00034-0
[3] N.Nisan和A.Widgerson,“重新审视通信复杂性中的轮次”,《SIAM计算杂志》22(1),211–2191993年·Zbl 0767.68066号 ·数字对象标识代码:10.1137/0222016
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。