文件Open Access徽标

最大匹配的线性时间数据约简的功效

作者 乔治·B·默齐奥斯, 安德烈·尼切特林, 罗尔夫·尼德迈尔



PDF格式
缩略图PDF

文件

LIPIcs公司。MFCS.2017.46.pdf格式
  • 文件大小:0.6 MB
  • 14页

文件标识符

作者详细信息

乔治·B·默齐奥斯
安德烈·尼切特林
罗尔夫·尼德迈尔

引用为获取BibTex

乔治·默齐奥斯(George B.Mertzios)、安德烈·尼切特林(AndréNichterlein)和罗尔夫·尼德迈尔(Rolf Niedermeier)。线性时间数据缩减的最大匹配能力。第42届计算机科学数学基础国际研讨会(MFCS 2017)。莱布尼茨国际信息学论文集(LIPIcs),第83卷,第46:1-46:14页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2017)
https://doi.org/10.4230/LIPIcs.MFCS.2017.46

摘要

在无向图中寻找最大基数匹配可以说是最核心的图原语之一。对于m边和n顶点图,已知其在O(m\sqrt{n})时间内是可解的;然而,对于一些应用程序来说,这种运行时间仍然太慢。我们研究线性时间(和几乎线性时间)数据缩减(用作预处理)如何缓解这种情况。更具体地说,我们关注线性时间内核化。我们开始对一般图和二部图进行更深入和系统的研究。我们的数据简化算法很容易(以预处理的形式)符合每种解决方案策略(精确、近似、启发式),因此在各种情况下都很有吸引力。
关键词
  • 最大基数匹配
  • 二分图
  • 线性时间算法
  • 核化
  • 参数化复杂性分析
  • P中的FPT

韵律学

工具书类

  1. 鲁文·巴尔·耶胡达(Reuven Bar-Yehuda)、丹·盖革(Dan Geiger)、约瑟夫·纳尔(Joseph Naor)和罗恩·罗斯(Ron M.Roth)。反馈顶点集问题的近似算法及其在约束满足和贝叶斯推理中的应用。SIAM计算机杂志,27(4):942-9591998。网址:http://dx.doi.org/10.1137/S0097539796305109.
  2. 诺伯特·布鲁姆。一般图中最大匹配的一种新方法。第17届国际自动化、语言和编程学术讨论会(ICALP’90)论文集,LNCS第443卷,第586-597页。斯普林格,1990年。网址:http://dx.doi.org/10.1007/BFb0032060.
  3. Hans L.Bodlaender、Bart M.P.Jansen和Stefan Kratsch。树宽预处理:通过核化进行的组合分析。SIAM离散数学杂志,27(4):2108-21422013。网址:http://dx.doi.org/10.1137/120903518.
  4. Hans L.Bodlaender、Bart M.P.Jansen和Stefan Kratsch。交叉合成的核化下限。SIAM离散数学杂志,28(1):277-3052014。网址:http://dx.doi.org/10.1137/120880240.
  5. 安德烈亚斯·布兰德斯特(Andreas Brandstädt)、范邦乐(Van Bang Le)和杰里米·斯宾拉德(Jeremy P.Spinrad)。图表类:调查,SIAM离散数学与应用专著第3卷。SIAM,1999年。谷歌学者
  6. 蔡雷珍。顶点着色的参数化复杂性。离散应用数学,127(1):415-4292003。网址:http://dx.doi.org/10.1016/S0166-218X(02)00242-1.
  7. 马上昌。弦二部图的最大匹配和最小填充算法。《第七届国际算法与计算研讨会论文集》(ISAAC’96),LNCS第1178卷,第146-155页。施普林格,1996年。网址:http://dx.doi.org/10.1007/BFb0009490.
  8. Elias Dahlhaus和Marek Karpinski。弦图和强弦图中的匹配和多维匹配。离散应用数学,84(1-3):79-911998。网址:http://dx.doi.org/10.1016/S0166-218X(98)00006-7.
  9. 段兰和赛斯·佩蒂。最大权重匹配的线性时间近似。ACM杂志,61(1):1:1-1:232014。网址:http://dx.doi.org/10.1145/2529989.
  10. Fedor V.Fomin、Daniel Lokshtanov、Michal Pilipczuk、Saket Saurabh和Marcin Wrochna。低树宽图和矩阵的完全多项式时间参数化计算。第28届ACM-SIAM离散算法年会(SODA’17)论文集,第1419-1432页。SIAM,2017年。网址:http://dx.doi.org/10.1137/1.9781611974782.92.
  11. Harold N.Gabow和Robert Endre Tarjan。不相交集合并特殊情况下的线性时间算法。计算机与系统科学杂志,30(2):209-2211985。网址:http://dx.doi.org/10.1016/0022-0000(85)90014-5.
  12. Harold N.Gabow和Robert Endre Tarjan。用于一般图形匹配问题的更快缩放算法。美国医学会杂志,38(4):815-8531991。网址:http://dx.doi.org/10.1145/115234.115366.
  13. 大执政官C·詹诺普鲁(Archontia C.Giannopoulou)、乔治·B·默齐奥斯(George B.Mertzios)和罗尔夫·尼德迈尔(Rolf Niedermeier)。多项式固定参数算法:区间图上最长路径的一个案例研究。《理论计算机科学》,2017年。在线提供。网址:http://dx.doi.org/10.1016/j.tcs.2017.05.017.
  14. Jiong Guo、Falk Hüffner和Rolf Niedermeier。参数化问题的结构观点:与琐事的距离。《第一届参数化和精确计算国际研讨会论文集》(IWPEC’04),LNCS第3162卷,第162-173页。斯普林格,2004年。网址:http://dx.doi.org/10.1007/978-3-540-28639-4_15.
  15. Manoj Gupta和Richard Peng。全动态(1+e)-近似匹配。第54届IEEE计算机科学基础年会(FOCS’13)会议记录,第548-557页。IEEE,2013年。网址:http://dx.doi.org/10.109/FOCS.2013.65.
  16. 约翰·霍普克罗夫特(John E.Hopcroft)和理查德·卡普(Richard M.Karp)。二部图最大匹配的n^5/2算法。SIAM计算期刊,2(4):225-2311973。网址:http://dx.doi.org/10.1137/02019.
  17. 理查德·卡普(Richard M.Karp)和迈克尔·西普瑟(Michael Sipser)。稀疏随机图中的最大匹配。第22届IEEE计算机科学基础年会(FOCS’81)会议记录,第364-375页。IEEE,1981年。网址:http://dx.doi.org/10.109/SFCS.1981.21.
  18. Christian Komusiewicz和Rolf Niedermeier。参数化算法中的新竞赛。第37届计算机科学数学基础国际研讨会(MFCS’12)论文集,LNCS第7464卷,第19-30页。施普林格,2012年。网址:http://dx.doi.org/10.1007/978-3642-32589-2_2.
  19. 乔治·默齐奥斯(George B.Mertzios)、安德烈·尼切特林(AndréNichterlein)和罗尔夫·尼德迈尔(Rolf Niedermeier)。余可比图上最大基数匹配的线性时间算法。CoRR,abs/1703.055982017年。谷歌学者
  20. Silvio Micali和Vijay V.Vazirani。求一般图中最大匹配的O(√|V||E|)算法。在第21届IEEE计算机科学基础研讨会(FOCS’80)的会议记录中,第17-27页。IEEE,1980年。网址:http://dx.doi.org/10.109/SFCS.1980.12.
  21. 马金·穆查(Marcin Mucha)和彼得·桑科夫斯基(Piotr Sankowski)。通过高斯消去最大匹配。第45届IEEE计算机科学基础年度研讨会论文集(FOCS'04),第248-255页。IEEE,2004年。网址:http://dx.doi.org/10.109/FOCS.2004.40.
  22. 史蒂文·斯基纳。算法设计手册。施普林格,2010年。谷歌学者
  23. G.Steiner和J.S.Yeomans。凸二部图中最大匹配的线性时间算法。计算。数学。申请。,31:91-96, 1996. 网址:http://dx.doi.org/10.1016/0898-1221(96)00079-X.
  24. 瑞恩·威廉姆斯(Ryan Williams)、卡拉·戈麦斯(Carla P.Gomes)和巴特·塞尔曼(Bart Selman)。典型案例复杂性的后门。《第18届国际人工智能联合会议记录》(IJCAI'03),第1173-1178页。Morgan Kaufmann,2003年。谷歌学者
  25. 拉斐尔·尤斯特。正则图和几乎正则图中的最大匹配。算法学,66(1):87-922013。网址:http://dx.doi.org/10.1007/s00453-012-9625-7.
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件