×

关于一些图类的OBDD表示。 (英语) Zbl 1346.05193号

摘要:有序二进制决策图(OBDD)是布尔函数的一种流行数据结构。考虑到基于应用程序的网络的快速增长,处理非常大的结构化图的启发式方法是基于隐式OBDD的图算法。输入图的顶点是二进制编码的,边集由其特征函数表示。由于OBDD能够利用规则子结构的存在,这种方法有时会导致次线性图表示。通过简单的计数参数很容易看出,几乎所有关于(N)顶点的图都不能用相对于(N)的多对数大小的OBDD来表示。另一方面,非常简单的结构图(如网格图)具有较小的OBDD表示。在这里,继续研究哪些重要的图类可以用简洁的OBDD表示。利用图的邻接矩阵表示结构计算其边集特征布尔函数的子函数,改进了区间图OBDD大小的已知上界。此外,还分析了区间偶图、(双)凸图、二部置换图、链图、阈值图和树的OBDD大小。除了区间图、区间双图和凸图之外,给出的边界是紧的。最后,考虑了正则图,并给出了大小OBDD的示例。此外,还研究了隐式设置中常用的变量排序。

MSC公司:

05C62号 图形表示(几何和交点表示等)
68第05页 数据结构

软件:

和弦
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 布隆,R。;Gabow,H.N。;Somenzi,F.,符号步骤中强连通成分分析的算法,形式方法系统。设计。,28, 37-56 (2006) ·Zbl 1110.68161号
[2] Bollig,B.,《最小生成树问题基于符号OBDD的算法》,Theoret。计算。科学。,447, 2-12 (2012) ·Zbl 1245.05125号
[4] 博利格,B。;Capelle,M.,度量TSP近似值的优先级函数,Inform。过程。莱特。,113, 584-591 (2013) ·Zbl 1296.68193号
[5] Bollig,B。;Gillé,M。;Pröger,T.,通过次线性函数运算隐式计算最大二部匹配,理论。计算。科学。,560, 131-146 (2014) ·Zbl 1303.68065号
[6] Bollig,B。;Pröger,T.,关于最大匹配的高效隐式OBDD算法,Inform。计算。,239, 29-43 (2014) ·Zbl 1309.68056号
[7] 博利格,B。;Wegener,I.,OBDD的渐近最优界和一些基本OBDD问题的解,J.Compute。系统科学。,61, 558-579 (2000) ·Zbl 0970.68041号
[8] Brandstädt,A。;Le,V.B。;Spinrad,J.P.,《图形类:调查》(1999),SIAM·Zbl 0919.05001号
[9] 布莱巴特,Y。;亨特,H。;Rosenkrantz,D.,关于表示布尔函数的二元决策图的大小,Theoret。计算。科学。,145, 45-69 (1995) ·Zbl 0874.68283号
[10] Bryant,R.E.,布尔函数操作的基于图形的算法,IEEE Trans。计算。,35, 677-691 (1986) ·Zbl 0593.94022号
[12] Diestel,R.,图论(2005),Springer·Zbl 1074.05001号
[13] 加沃耶,C。;Paul,C.,区间图和相关图族的最优距离标记,SIAM J.Discrete Math。,22, 1239-1258 (2008) ·Zbl 1197.05097号
[15] Gentilini,R。;C.广场。;Policriti,A.,《符号图:连通性相关问题的线性解决方案》,《算法》,第50期,第120-158页(2008年)·Zbl 1203.68039号
[17] Golumbic,M.,算法图论和完美图(2004),Elsevier·Zbl 1050.05002号
[18] 哈希特尔,G.D。;Somenzi,F.,《0-1网络中最大流的符号算法》,《形式方法系统》。设计。,10, 207-219 (1997)
[20] Kannan,S。;Naor,M。;Rudich,S.,图的隐式表示,SIAM J.离散数学。,5, 596-603 (1992) ·Zbl 0768.05082号
[21] 科瓦里,T。;SóS,V。;Turán,P.,关于K.Zarankiewicz的一个问题,Colloq.Math。,3, 50-57 (1954) ·Zbl 0055.00704号
[22] 赖,T。;Wei,S.,二部置换图及其在最小缓冲区大小问题中的应用,离散应用。数学。,74, 33-55 (1997) ·Zbl 0873.68168号
[23] 马哈德夫,N.V.R。;Peled,联合国,阈值图和相关主题(1995年),Elsevier·Zbl 0852.05001号
[24] 梅尔,K。;Rautenbach,D.,关于有界树和剪接宽度图的OBDD大小,离散数学。,309, 843-851 (2009) ·Zbl 1177.68100号
[25] Mertzios,G.B.,区间和适当区间图的矩阵表征,应用。数学。莱特。,21, 332-337 (2008) ·Zbl 1139.05041号
[26] 伦克塞尔(Nunkesser,R.)。;Woelfel,P.,图的OBDDs表示,离散应用。数学。,157, 247-261 (2009) ·兹比尔1284.0581
[27] Otter,R.,树木数量,数学年鉴。,49, 583-599 (1948) ·兹标0032.12601
[28] 联合国,贝利德。;Sun,F.,差分图的枚举,离散应用。数学。,60, 311-318 (1995) ·Zbl 0833.05046号
[29] Raoufi,P。;罗斯塔米,H。;Bagheriezhad,H.,弦图最小线性排列的最佳时间算法,Inform。科学。,238, 212-220 (2013) ·Zbl 1321.68392号
[33] Shrestha,A.M.S。;Tayu,S。;Ueno,S.,关于正交射线图,离散应用。数学。,1581650-1659(2010年)·Zbl 1222.05219号
[34] 西林,D。;Wegener,I.,NC-二进制决策图操作算法,并行处理。Lett,,3,3-12(1993)
[35] Spinrad,J.P.,《高效图形表示》(2003),AMS·Zbl 1033.05001号
[36] 斯宾拉德,J.P。;Brandstädt,A。;Stewart,L.,二部置换图,离散应用。数学。,18, 279-292 (1987) ·Zbl 0628.05055号
[38] 高冈,A。;Tayu,S。;Ueno,S.,交集图的OBDD表示,IEICE Trans。,98-D,824-834(2015)
[39] Talamo,M。;Vocca,P.,《使用几乎最优空间隐式表示图形》,《离散应用》。数学。,108, 193-210 (2001) ·Zbl 0991.05092号
[40] Wegener,I.,《分支程序和二进制决策图:理论和应用》(2000),SIAM·Zbl 0956.68068号
[41] Woelfel,P.,用OBDDs进行符号拓扑排序,J.离散算法,451-71(2006)·Zbl 1128.68030号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。