×
贝特·博利格；托拜厄斯·普罗格

关于基于隐式OBDD的高效最大匹配算法。 （英语） Zbl 1309.68056号

Inf.计算。 239, 29-43 (2014).
摘要：最大匹配问题，即计算一个不是另一个匹配的适当子集的匹配，是一个基本的优化问题，最大匹配算法被用作最大节点不相交路径或最大流等问题的子模块。由于在某些应用中必须处理非常大的图，因此出现了一个研究分支，涉及经典图问题的隐式算法的设计和分析。输入图是作为其边集的特征布尔函数给出的，问题必须通过函数运算来解决。由于OBDD与确定性有限自动机密切相关，是布尔函数的一种众所周知的数据结构，因此基于OBDD的算法被用作处理超大图形的启发式方法。在这里，提出了一种基于隐式OBDD的最大匹配算法，该算法仅使用与输入图的顶点数有关的函数运算的多对数数。为了研究算法在大型结构化网络上的行为，对其进行了网格图分析。结果表明，总体运行时间和空间要求也是多对数的。此外，我们提出了另一种类似于著名的Karp-Sipser方法的算法，并研究了最大匹配的表示大小。

引用于三文件

MSC公司：

68第05页 数据结构
05C70号 具有特殊性质的边子集（因子分解、匹配、划分、覆盖和打包等）
05C85号 图形算法（图形理论方面）

关键词：

隐式图形算法；最大匹配；有序二元决策图
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}和\textit{T.Pröger}，Inf.Comput。239、29-43（2014年；Zbl 1309.68056）
全文： 内政部

参考文献：

[1] Bollig，B.，基于OBDD的可达性分析的指数空间复杂性，Inf.Process。莱特。，110, 924-927 (2010) ·Zbl 1379.68147号
[2] Bollig，B.，0-1网络中符号最大流算法的指数空间复杂度，（MFCS的Proc·Zbl 1287.68069号
[3] Bollig，B.，《关于最小生成树问题的基于符号OBDD的算法》，（COCOA的Proc·兹比尔1311.05183
[4] Bollig，B.，《关于最大匹配和（非）有向图的符号表示》，（TCS Proc.of TCS，IFIP Adv.Inf.Commun.Technol.，vol.323（2010），Springer），263-300·Zbl 1198.68180号
[5] Bollig，B。；Capelle，M.，公制tsp近似的优先级函数，Inf.过程。莱特。，113, 584-591 (2013) ·Zbl 1296.68193号
[6] Bollig，B。；Gillé，M。；Pröger，T.，通过次线性函数运算隐式计算最大二部匹配，（TAMC的Proc·Zbl 1354.05128号
[7] Bollig，B。；Löbbing，M。；索尔霍夫，M。；Wegener，I.，关于各种BDD模型的隐藏加权位函数的复杂性，Theor。通知。申请。，33103-115（1999年）·Zbl 0946.68042号
[8] Bollig，B。；Löbbing，M。；Wegener，I.，《关于有序决策图变量排序中局部变化的影响》，Inf.Process。莱特。，59, 233-239 (1996) ·兹伯利0875.68432
[9] Bollig，B。；Pröger，T.，《一种基于OBDD的高效隐式最大匹配算法》，（LATA的Proc·Zbl 1351.68112号
[10] 布莱巴特，Y。；亨特·H·B。；Rosenkrantz，D.J.，关于表示布尔函数的二元决策图的大小，Theor。计算。科学。，145, 45-69 (1995) ·Zbl 0874.68283号
[11] Bryant，R.E.，布尔函数操作的基于图形的算法，IEEE Trans。计算。，35, 677-691 (1986) ·兹比尔0593.94022
[12] Bryant，R.E.，《关于布尔函数的VLSI实现和图形表示的复杂性及其在整数乘法中的应用》，IEEE Trans。计算。，40, 205-213 (1991) ·Zbl 1220.68060号
[13] Gentilini，R。；C.广场。；Policriti，A.，《在线性符号步数中计算强连接组件》（SODA Proc.of SODA（2003），ACM-SIAM），573-582·兹比尔1092.68716
[14] Gentilini，R。；C.广场。；Policriti，A.，《符号图：连通性相关问题的线性解决方案》，《算法》，第50期，第120-158页（2008年）·Zbl 1203.68039号
[15] Goldberg，A。；Plotkin，S。；Vaidya，P.，用于匹配和相关问题的次线性时间并行算法，J.算法，14，180-213（1993）·Zbl 0769.68034号
[16] Hachtel，G。；Somenzi，F.，《0-1网络中最大流的符号算法》，《形式方法系统》。设计。，10, 207-219 (1997)
[17] JáJá，J.，《并行算法导论》（1992），Addison-Wesley出版社·Zbl 0781.68009号
[18] 卡普·R·M。；Sipser，M.，稀疏随机图中的最大匹配，（FOCS Proc.（1981），IEEE），364-375
[19] Kelsen，P.，最大匹配的最优并行算法，Inf.Process。莱特。，52, 223-228 (1994) ·Zbl 0823.68040号
[20] Langguth，J。；曼恩，F。；Sanders，P.，二部匹配问题的启发式初始化，ACM J.实验算法，15（2010）·Zbl 1284.68525号
[21] Meer，K。；Rautenbach，D.，关于有界树和剪接宽度图的OBDD大小，离散数学。，309, 843-851 (2009) ·Zbl 1177.68100号
[22] 伦克塞尔（Nunkesser，R.）。；Woelfel，P.，图的OBDDs表示，离散应用。数学。，157, 247-261 (2009) ·兹比尔1284.0581
[23] Sawitzki，D.，《通过迭代平方实现隐式流最大化》，（SOFSEM Proc.of SOFSEM.Proc.，演讲笔记计算科学，vol.2932（2004），Springer），301-313·Zbl 1202.68288号
[24] Sawitzki，D.，隐式表示输入问题的复杂性，（SOFSEM Proc.of SOFSEM.Proc.，Leech Notes Compute.Sci.，vol.3831（2006），Springer），471-482·Zbl 1175.68206号
[25] Sawitzki，D.，基于OBDD的图形算法空间复杂度的指数下界，（《拉丁语汇编》，《拉丁语学报》，《计算科学讲义》，第3887卷（2006年），Springer），781-792·Zbl 1145.68430号
[26] Sawitzki，D.，FNC算法的隐式模拟（2007），技术报告TR07-028。ECCC报告
[27] 西林，D。；Wegener，I.，NC-二进制决策图操作算法，并行处理。莱特。，3, 3-12 (1993)
[28] Wegener，I.，《分支程序和二进制决策图：理论和应用》（2000），SIAM·Zbl 0956.68068号
[29] Woelfel，P.，用OBDDs进行符号拓扑排序，J.离散算法，451-71（2006）·兹比尔1128.68030
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。