Bugaychenko，D.Yu。;索洛维耶夫，I.P。 整数函数的多根决策图的应用。 （英语。俄文原件） 兹比尔1251.68082 维斯特。圣彼得堡大学数学系。 43，第2期，92-97（2010年）；维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2010年，第2期，91-98（2010）。 摘要：提出了用于表示整数函数和矩阵的新数据结构，即多根二进制决策图（MRBDD）。给出了对MRBDD表示的函数和矩阵进行标准运算的算法。由于结构元素的更有效重用，用多根二进制决策图表示比广泛使用的多端二进制决策图（MTBDD）更有效。实验结果表明，多根二进制决策图是多端二进制决策图的一个很有前途的替代方案，特别是在概率验证、概率分布操纵、Petri网分析和其他计算模型中。 引用于1文件 MSC公司： 68第05页 数据结构 关键词：二元决策图;多终端二进制决策图;函数和矩阵表示 软件：CUDD公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Bugaychenko}和\textit{I.P.Soloviev}，Vestn。圣彼得堡大学数学。43，No.2，92--97（2010；Zbl 1251.68082）；维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2010年，第2期，91--98（2010） 全文： 内政部 参考文献： [1] A.Cimatti、E.M.Clarke、F.Giunchiglia和M.Roveri，《第十一届计算机辅助验证国际会议论文集》（柏林斯普林格，1999年）。 [2] R.M.Jensen博士论文（卡内基梅隆大学，匹兹堡，2003年）。 [3] R.E.Bryant，《ACM计算调查》，24（3），293–318（1992）。 ·doi:10.1145/136035.136043 [4] M.Fujita、P.C.McGeer和J.C.-Y.Yang，表格方法系统。设计。10(2–3), 149–169 (1997). ·doi:10.1023/A:1008647823331 [5] D.Parker博士论文（伯明翰大学，伯明翰，2002年）。 [6] R.Bahar、E.Frohm、C.Gaona等人，《IEEE/ACM CAD国际会议论文集》（IEEE，圣克拉拉，1993），第188-191页。 [7] F.Somenzi，CUDD：科罗拉多大学决策图包，http://vlsi.colorado.edu/fabio/CUDD . [8] A.Afshin，载于《ICCADT07：2007 IEEE/ACM计算机辅助设计国际会议论文集》（IEEE，新泽西州皮斯卡塔韦，2007）。 [9] C.Y.A.C.Jinqing和L.G.Gianfranco，实习生。J.软件工具技术。Transf公司。11(2), 117–131 (2009). ·doi:10.1007/s10009-009-009-099-0 [10] J.G.Kanupriya和K.S.P.Nikhil，《ISLPEDT05：2005年低功耗电子与设计国际研讨会论文集》（ACM，纽约，2005），第111–114页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。