×

真实世界图形上最大匹配的数据约简:理论和实验。 (英语) Zbl 1524.68234号

Azar,Yossi(编辑)等人,第26届欧洲算法年会,2018年8月20日至22日,欧洲航天局,芬兰赫尔辛基。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。112,第53条,第13页(2018年)。
摘要:在(边加权)无向图中寻找最大基数或最大权重匹配是算法图论中最突出的问题之一。对于(n)-顶点和(m)-边图,最著名的算法运行于(widetilde{O}(m\sqrt{n}))时间。我们以最近的理论工作为基础,专注于线性时间数据约简规则,以找到最大基数匹配,并通过呈现和分析来补充理论结果(从而采用参数化复杂度分析的核化方法)正整数加权情况的线性时间数据缩减规则。此外,我们通过实验证明,这些数据简化规则为计算现实世界图中的匹配提供了先进实现的显著加速:在未加权情况下平均加速为3800%,在加权情况下“仅”30%。
有关整个系列,请参见[Zbl 1393.68010号].

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
05C70号 具有特殊属性的边子集(因子分解、匹配、分区、覆盖和打包等)
68年第27季度 参数化复杂性、可处理性和核化
68周05 非数值算法
PDF格式BibTeX公司 XML格式引用

参考文献:

[2] 费萨尔·阿布·科扎姆(Faisal N.Abu-Khzam)、迈克尔·R·费罗斯(Michael R.Fellows)、迈克尔·兰斯顿(Michael A.Langston)和W·亨利·萨特斯(W.Henry Suters)。顶点覆盖核化的冠结构。计算系统理论,41(3):411-4302007·Zbl 1148.68035号
[3] 秋叶拓哉(Takuya Akiba)和岩田洋一(Yoichi Iwata)。实际中的分支和缩减指数/fpt算法:顶点覆盖的案例研究。理论计算机科学,609:211-2252016·Zbl 1331.68281号
[4] M.Bartha和M.Kresz。在线性时间内减少图形的深度优先算法。第十一届科学计算符号和数字算法国际研讨会(SYNASC’09),第273-281页。IEEE,2009年·Zbl 1107.68061号
[5] 马蒂亚斯·本特(Matthias Bentert)、亚历山大·迪特曼(Alexander Dittmann)、利昂·凯勒哈尔斯(Leon Kellerhals)、安德烈·尼切特林(AndréNichterlein)和罗尔夫·尼德迈尔(Rolf Niedermeier)。改进brandes的介数中心性算法。CoRR,腹肌/1802.06701018。网址:http://arxiv.org/abs/1802.06701。 ·兹比尔1446.05085
[6] 张立军、李伟和张文杰。通过减少剥离,计算线性时间内接近最大的独立集。《ACM SIGMOD国际数据管理会议记录》(SIGMOD'17),第1181-1196页。ACM,2017年。
[7] David Coudert、Guillaume Ducoff和Alexandru Popa。几类有界clique-width图的完全多项式FPT算法。《第29届ACM-SIAM离散算法年度研讨会论文集》(SODA’18),第2765-2784页,2018年·Zbl 1403.68157号
[8] Ran Duan和Seth Pettie。最大权重匹配的线性时间近似。ACM杂志,61(1):1:1-1:232014·Zbl 1295.68213号
[9] 段冉,塞斯·佩蒂,苏新浩。一般图中加权匹配的缩放算法。ACM算法汇刊,14(1):8:1-8:352018·Zbl 1451.05227号
[10] 理查德·卡普(Richard M.Karp)和迈克尔·西普瑟(Michael Sipser)。稀疏随机图中的最大匹配。第22届IEEE计算机科学基础年会(FOCS’81)会议记录,第364-375页。IEEE,1981年。
[11] 弗拉基米尔·科尔莫戈罗夫。Blossom V:最低成本完美匹配算法的新实现。数学规划计算,1(1):43-672009·Zbl 1171.05429号
[12] 伯恩德·科特和延斯·维根。组合优化-理论和算法。施普林格,2018年·Zbl 1390.90001号
[13] Jure Leskovec和Andrej Krevl。SNAP数据集:斯坦福大学大型网络数据集收集。http://snap.stanford.edu/data, 2014.
[14] 乔治·默齐奥斯(George B.Mertzios)、安德烈·尼切特林(AndréNichterlein)和罗尔夫·尼德迈尔(Rolf Niedermeier)。线性时间数据缩减的威力,可实现最大匹配。第42届计算机科学数学基础国际研讨会论文集(MFCS 2017),LIPIcs,第46:1-46:14页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技,2017年·兹比尔1441.68192
[15] Silvio Micali和Vijay V.Vazirani。在一般图中寻找最大匹配的O(|V||E|)算法。第21届IEEE计算机科学基础年度研讨会论文集(FOCS'80),第17-27页。IEEE,1980年。
[16] Ketan Mulmuley、Umesh V.Vazirani和Vijay V.Vazrani。匹配就像矩阵求逆一样简单。组合数学,7(1):105-1131987·Zbl 0632.68041号
[17] 桑妮·沃尔克和吉尔伯特·拉波特。大型图上最小代价完美匹配问题的几种贪婪算法的计算比较。计算机与手术室,87:107-1132017·Zbl 1391.90622号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。