×
格拉泽戈茨法比安斯基;米查尔·皮里普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克

控制和独立的渐进算法。 （英语） Zbl 07559136号

Niedermeier，Rolf（ed.）等人，第36届计算机科学理论方面国际研讨会，STACS 2019，2019年3月13-16日，德国柏林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126，第27条，第16页（2019年）。
摘要：我们考虑一种称为渐进探索的通用算法范式，该范式可用于开发简单高效的参数化图形算法。我们确定了两种导致高效渐进算法的模型理论属性，即Helly属性和稳定性的变体。我们通过给出各种限制图类中距离支配集问题（由解大小参数化）的线性时间固定参数算法来演示我们的方法，这些限制图类包括无处稠密类的幂、映射图和（r=1）无双流图。类似地，对于距离-（r）独立集问题，该技术可用于在任何无位置稠密类上给出线性时间固定参数算法。尽管该方法简单，但在某些情况下，我们的结果扩展了所考虑问题的已知可处理性边界，并改善了最佳已知运行时间。
关于整个系列，请参见[Zbl 1411.68018号].

引用于1审查
引用于7文件

MSC公司：

第68季度 计算理论

关键词：

支配集;独立集;无处密集;稳定性;固定参数牵引性
PDF格式BibTeX公司 XML格式引用
\textit{G.Fabianáski}等人，LIPIcs--Leibniz Int.Proc。通知。126，第27条，第16页（2019年；Zbl 07559136）
全文： 内政部 arXiv公司

参考文献：

[1] 汉斯·阿德勒和伊索尔德·阿德勒。将无处密集的图类解释为模型理论的经典概念。《欧洲组合数学杂志》，36:322-3302014·Zbl 1284.05155号
[2] 陈志忠。映射图中独立集的近似算法。《算法》杂志，41（1）：20-402001年·Zbl 1002.68111号
[3] 布鲁诺·库塞尔（Bruno Courcelle）。图的一元二阶逻辑。有限图的可识别集合。信息与计算，85（1）：12-751990·Zbl 0722.03008号
[4] Anuj Dawar和Stephan Kreutzer。无意义类中的支配问题。在FSTTCS 2009中，LIPIcs第4卷，第157-168页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2009年·兹比尔1248.68241
[5] Anuj Dawar和Stephan Kreutzer。一阶逻辑的参数化复杂性。在计算复杂性电子学术讨论会上，TR09-131，第39页，2009年·兹比尔1248.68241
[6] 埃里克·D·德曼（Erik D.Demaine）、费多尔·弗敏（Fedor V.Fomin）、穆罕默德·塔吉·哈加伊（MohammadTaghi Hajiaghayi）和迪米特里奥斯·蒂利科斯（Dimitrios M.Thilikos）。平面图和地图图中（k，r）-中心的固定参数算法。ACM事务处理。算法，1（1）：33-472005·Zbl 1321.05256号
[7] 波尔·格伦斯·德兰奇、马库斯·索特兰·德雷吉、费多尔·弗明、斯蒂芬·克雷泽尔、丹尼尔·洛克斯塔诺夫、马金·皮利普祖克、米夏·皮利普祖克、费利克斯·雷德尔、费尔南多·桑切斯·维拉米尔、萨科特·索拉布、塞巴斯蒂安·西贝茨和索姆纳特·西克达尔。核化与稀疏性：支配集的情形。在STACS 2016中，LIPIcs第47卷，第31:1-31:14页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2016年。完整版本可作为arxiv预印本提供https://arxiv.org/abs/1411.4575。doi:10.4230/LIPIcs。STACS.2016.31·Zbl 1388.68110号 ·doi:10.4230/LPICs。STACS.2016.31标准
[8] Zdeněk Dvořák、Daniel Král和Robin Thomas。测试稀疏图子类的一阶属性。J.ACM，60（5）：362013年·兹比尔1281.05114
[9] Kord Eickmeyer、Archontia C.Giannopoulou、Stephan Kreutzer、O-joung Kwon、MichałPilipczuk、Roman Rabinovich和Sebastian Siebertz。无处稠密图类的邻域复杂性与核化。在ICALP 2017，LIPIcs第80卷，第63:1-63:14页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2017年。完整版本可用作arxiv预打印https://arxiv.org/abs/11612.08197。doi:10.4230/LIPIcs。ICALP.2017.63·Zbl 1441.68176号 ·doi:10.4230/LPICs。ICALP.2017.63年
[10] Martin Grohe、Stephan Kreutzer和Sebastian Siebertz。无处不在稠密图的一阶性质的判定。J.ACM，64（3）：17:1-17:32，2017年·Zbl 1426.68172号
[11] 雅罗斯拉夫·内舍特·伊尔（Jaroslav Nešetřil）和帕特里斯·奥斯索纳·德门德斯（Patrice Ossona de Mendez）。无处稠密结构的一阶性质。符号逻辑杂志，75（03）：868-8872010·Zbl 1206.03033号
[12] 雅罗斯拉夫·内舍特·伊尔（Jaroslav Nešetřil）和帕特里斯·奥斯索纳·德门德斯（Patrice Ossona de Mendez）。在无位置稠密图上。《欧洲组合学杂志》，32（4）：600-6172011·Zbl 1226.05102号
[13] 雅罗斯拉夫·内舍特·伊尔（Jaroslav Nešetřil）和帕特里斯·奥斯索纳·德门德斯（Patrice Ossona de Mendez）。稀疏性-图，结构和算法，算法和组合学第28卷。施普林格，2012年·Zbl 1268.05002号
[14] 阿伦·奥哈拉。方程和方程理论导论，2011年。
[15] MichałPilipczuk和Sebastian Siebertz。无处稠密图上距离r无关集的核化与逼近。arXiv预印本，2018年。网址：1809.05675。
[16] MichałPilipczuk和Sebastian Siebertz。2017/18学年冬季学期，华沙大学数学、信息学和力学学院提供的“稀疏性”课程讲稿。可在https://www.mimuw.edu.pl/mp248287/稀疏性·Zbl 1434.05056号
[17] 米查·皮利普祖克（MichałPilipczuk）、塞巴斯蒂安·西贝茨（Sebastian Siebertz）和西蒙·托伦奇克（Szymon Toru nn czyk）。关于稀疏图中类型的数量。LICS 2018，第799-808页。ACM，2018年·Zbl 1453.03031号
[18] 阿南德·皮莱和加布里埃尔·斯鲁尔。稳定理论中的闭集和链条件。J.塞姆。日志。，49:1350-1362, 1984. ·Zbl 0597.03018号
[19] 克劳斯·佩特·波德夫斯基和马丁·齐格勒。稳定的图形。数学基础，100（2）：101-1071978·兹比尔0407.05072
[20] 撒哈拉沙拉。分类理论：和非同构模型的数量，第92卷。Elsevier，1990年·Zbl 0713.03013号
[21] Jan Arne Telle和Yngve Villanger。无双液图中控制的FPT算法。在《2012年欧洲账户体系》中，LNCS第7501卷，第802-812页。施普林格，2012年·Zbl 1365.68291号
[22] 米克尔·索洛普。多项式时间中的映射图。在FOCS 1998中，第396-405页。IEEE计算机学会，1998年·Zbl 1099.68136号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。