文件Open Access徽标

有界顶点删除问题的结构参数化

作者 罗伯特·加尼安 费比安·克劳特 塞巴斯蒂安·奥德尼亚克



PDF格式
缩略图PDF

文件

LIPIcs公司。STACS.2018.33.pdf
  • 文件大小:0.67 MB
  • 14页

文件标识符

作者详细信息

罗伯特·加尼安
费边·克鲁特
塞巴斯蒂安·奥尔迪尼亚克

引用为获取BibTex

Robert Ganian、Fabian Klute和Sebastian Ordyniak。有界顶点删除问题的结构参数化。第35届计算机科学理论方面研讨会(STACS 2018)。莱布尼茨国际信息学论文集(LIPIcs),第96卷,第33:1-33:14页,达格斯图尔-莱布尼兹-泽特鲁姆信息学院(2018)
https://doi.org/10.4230/LIPIcs.STACS.2018.33

摘要

我们研究了有界度顶点删除问题(BDD)的参数化复杂性,其目标是找到最大度低于给定度界的最大诱导子图。我们的重点是测量输入实例的结构属性的参数。我们首先证明了该问题是W[1]难参数化的,它由一系列相当严格的结构参数来参数化,这些结构参数包括反馈顶点集数目、路径宽度、树深度,甚至是最小顶点删除集的大小,最多可以分为三个图,即路径宽度图和树深度图。因此,我们解决了Betzler、Bredereck、Niedermeier和Uhlmann(2012)中提出的关于由反馈顶点集数参数化的BDD的复杂性的主要未决问题。从积极的方面来看,我们获得了关于分解参数树割宽度和一个称为核心断裂数的新的特定于问题的参数的问题的固定参数算法。
关键词
  • 有界顶点删除
  • 反馈点集
  • 参数化算法
  • 切割宽度

韵律学

工具书类

  1. Martin Aigner和Günter M.Ziegler。书证(3。编辑)。斯普林格,2004年。谷歌学者
  2. Christer Bäckström、Peter Jonsson、Sebastian Ordyniak和Stefan Szeider。有界规划的完整参数化复杂性分析。JCSS,81(7):1311-13322015年。谷歌学者
  3. Balabhaskar Balasundaram、Sergiy Butenko和Illya V.Hicks。社交网络分析中的集团松弛:最大k-plex问题。运筹学,59(1):133-1422011。谷歌学者
  4. 巴拉巴什卡·巴拉桑达拉姆(Balabhaskar Balasundaram)、希亚姆·桑达尔·昌德拉穆利(Shyam Sundar Chandramouli)和斯维亚托斯拉夫·特鲁汉诺夫(Svyatoslav Trukhanov)。寻找单位-磁盘图并将其划分为co-k-plex的近似算法。《优化快报》,4(3):311-32010,2010年。谷歌学者
  5. 纳迪娅·贝茨勒(Nadja Betzler)、罗伯特·布雷德里克(Robert Bredereck)、罗尔夫·尼德迈尔(Rolf Niedermeier)和约翰内斯·乌尔曼(Johannes Uhlmann)。由树宽参数化的有界度顶点删除。离散应用数学,160(1-2):53-602012。谷歌学者
  6. Hans L.Bodlaender和Babette van Antwerpen-de Fluiter。小树宽图的约简算法。信息计算。,167(2):86-119, 2001.谷歌学者
  7. Zhi-Zhong Chen、Michael R.Fellows、Bin Fu、Haitao Jiang、Yang Liu、Lusheng Wang和Binhai Zhu。用于共路径/循环打包的线性内核。程序中。AAIM 2010,LNCS第6124卷,第90-102页。施普林格,2010年。谷歌学者
  8. 布鲁诺·库塞尔(Bruno Courcelle)。图的一元二阶逻辑。有限图的可识别集。信息计算。,85(1):12-75, 1990.谷歌学者
  9. Marek Cygan、Fedor V.Fomin、Lukasz Kowalik、Daniel Lokshtanov、Dániel Marx、Marcin Pilipczuk、Michal Pilipczzuk和Saket Saurabh。参数化算法。斯普林格,2015年。谷歌学者
  10. Marek Cygan、Fedor V.Fomin、Lukasz Kowalik、Daniel Lokshtanov、Dániel Marx、Marcin Pilipczuk、Michal Pilipczzuk和Saket Saurabh。参数化算法。斯普林格,2015年。网址:http://dx.doi.org/10.1007/978-3-319-21275-3.
  11. 安德斯·德斯马克、克劳斯·詹森和安杰伊·林加斯。最大k依赖集和f依赖集问题。程序中。ISAAC 1993,LNCS第762卷,第88-98页。施普林格,1993年。谷歌学者
  12. 莱因哈德·迪斯特尔。图论,数学研究生课本第173卷。Springer Verlag,纽约,第二版,2000年。谷歌学者
  13. 罗德尼·G·唐尼(Rodney G.Downey)和迈克尔·R·费罗斯(Michael R.Fellows)。参数化复杂性基础。计算机科学文本。施普林格,2013年。谷歌学者
  14. 爱德华·艾本(Eduard Eiben)、罗伯特·加尼安(Robert Ganian)和斯特凡·赛德(Stefan Szeider)。使用结构良好的调制器的元核化。Thore Husfeldt和Iyad A.Kanj,编辑,Proc。IPEC 2015,LIPIcs第43卷,第114-126页。莱布尼茨-中央情报局,2015年。谷歌学者
  15. 爱德华·艾本(Eduard Eiben)、罗伯特·加尼安(Robert Ganian)和斯特凡·赛德(Stefan Szeider)。解决高秩宽图上的问题。程序中。WADS 2015,LNCS第9214卷,第314-326页。斯普林格,2015年。谷歌学者
  16. 保罗·埃尔德和保罗·图兰。关于加法数论中Sidon的一个问题,以及一些相关问题。伦敦数学学会杂志,1(4):212-2151941。谷歌学者
  17. Michael R.Fellows、Jiong Guo、Hannes Moser和Rolf Niedermeier。Nemhauser和Trotter局部优化定理的推广。J.计算。系统。科学。,77(6):1141-1158, 2011.谷歌学者
  18. 阿诺·弗雷维尔(Arnaud Fréville)。多维0-1背包问题:综述。欧洲运筹学杂志,155(1):1-212004。谷歌学者
  19. 贾库布·加亚尔斯克、彼得·赫莱宁、扬·奥布德扎莱克、塞巴斯蒂安·奥德尼亚克、费利克斯·雷德尔、彼得·罗斯马尼思、费尔南多·桑切斯·维拉米尔和索姆纳特·西克达尔。在稀疏图类上使用结构参数进行核化。J.计算。系统。科学。,84:219-242, 2017.谷歌学者
  20. Robert Ganian、Eun Jung Kim和Stefan Szeider。树切宽度的算法应用。Giuseppe F.Italiano、Giovanni Pighizzini和Donald Sannella,编辑,Proc。MFCS 2015,LNCS第9235卷,第348-360页。斯普林格,2015年。谷歌学者
  21. Robert Ganian、Friedrich Slivovsky和Stefan Szeider。具有结构参数的元核化。J.计算。系统。科学。,82(2):333-3462016年。谷歌学者
  22. Serge Gaspers、Neeldhara Misra、Sebastian Ordyniak、Stefan Szeider和Stanislav Zivny。后门进入SAT和CSP的异构类。J.计算。系统。科学。,85:38-56, 2017.谷歌学者
  23. 罗素·英帕利亚佐(Russell Impagliazzo)、拉莫汉·帕图里(Ramamohan Paturi)和弗朗西斯·赞恩(Francis Zane)。哪些问题具有强烈的指数复杂性?J.计算。系统。科学。,63(4):512-530, 2001.谷歌学者
  24. 金恩忠(Eunjung Kim)、奥桑(Sang-il Oum)、克里斯托夫·保罗(Christophe Paul)、伊格纳西·绍(Ignasi Sau)和迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。树截分解的FPT 2近似。Laura Sanitá和Martin Skutella,编辑,Proc。WAOA 2015,LNCS第9499卷,第35-46页。斯普林格,2015年。谷歌学者
  25. 托·克鲁克斯(Ton Kloks)。树宽:计算与近似,LNCS第842卷。柏林施普林格出版社,1994年。谷歌学者
  26. Christian Komusiewicz、Falk Hüffner、Hannes Moser和Rolf Niedermeier。有效枚举稠密子图的隔离概念。西奥。计算。科学。,410(38-40):3640-3654, 2009.谷歌学者
  27. 马丁·克罗内格(Martin Kroneger)、塞巴斯蒂安·奥德尼亚克(Sebastian Ordyniak)和安德烈亚斯·普范德勒(Andreas Pfandler)。可变删除后门到规划。程序中。AAAI 2015,第2300-2307页。AAAI出版社,2014年。谷歌学者
  28. H.W.伦斯特拉。变量数固定的整数编程。数学。操作。RES,8(4):538-5481983年。谷歌学者
  29. 达尼尔·马克思和保罗·沃伦。沉浸在高度边连通图中。SIAM J.离散数学。,28(1):503-520, 2014.谷歌学者
  30. 本杰明·麦克洛斯基和伊利亚·希克斯。最大k-plex问题的组合算法。J.库姆。最佳。,23(1):29-49, 2012.谷歌学者
  31. Hannes Moser、Rolf Niedermeier和Manuel Sorge。寻找最大k丛的精确组合算法和实验。J.库姆。最佳。,24(3):347-373, 2012.谷歌学者
  32. 雅罗斯拉夫·内舍特·伊尔(Jaroslav Nešetřil)和帕特里斯·奥斯索纳·德门德斯(Patrice Ossona de Mendez)。稀疏性-图,结构和算法,算法和组合学第28卷。施普林格,2012年。谷歌学者
  33. 罗尔夫·尼德迈尔。牛津大学数学及其应用系列讲座第31卷《固定参数算法邀请函》。牛津大学出版社,牛津,2006年。谷歌学者
  34. Naomi Nishimura、Prabhakar Ragde和Dimitrios M.Thilikos。顶点覆盖非平凡推广的快速固定参数可处理算法。离散应用数学,152(1-3):229-2452005。谷歌学者
  35. 斯蒂芬·塞德曼(Stephen B Seidman)和布莱恩·福斯特(Brian L Foster)。集团概念的图形理论概括。数学社会学杂志,6(1):139-1541978。谷歌学者
  36. 保罗·沃伦。不允许固定浸入的图的结构。J.库姆。理论,Ser。B、 2015年4月11日至46日。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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