斯蒂芬·克鲁泽;艾琳·穆齐;德门德斯·帕特里斯·奥斯纳;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 稀疏有向图的算法性质。 （英语） Zbl 07559155号 Niedermeier，Rolf（ed.）等人，第36届计算机科学理论方面国际研讨会，STACS 2019，2019年3月13-16日，德国柏林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第126条，第46条，第20页（2019年）。 摘要：有界展开的概念[J.内什埃蒂尔和P.Ossona de Mendez先生《欧洲法学杂志》。29，第3期，760-776页（2008年；Zbl 1156.05056号)]无处密集[同上32，第4号，600–617（2011；Zbl 1226.05102号)]，由介绍J.内什埃蒂尔和P.Ossona de Mendez先生作为无向图的结构度量，在算法图论中得到了非常成功的应用。我们研究了有向图上的有向有界展开和无处凸性的相应概念，由引入S.Kreutzer公司和S.Tazari公司[摘自：第23届ACM-SIAM离散算法年度研讨会论文集，SODA 2012，日本京都，2012年1月17日至19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机机械协会（ACM）。1552–1562 (2012;Zbl 1423.68353号)]. 具有这些性质的有向图类是稀疏有向图的非常一般的类，因为它们一方面包括其底层无向类具有有界展开的所有有向图类别，例如平面图、有界图和（H）-小自由图，另一方面，它们还包含其底层无向类甚至都不是稠密的类。我们表明，为无向有界展开类开发的许多算法工具，在一定程度上也可以应用于它们的有向对等类，因此我们强调了有向有界扩张和无冠类的丰富算法结构理论。关于整个系列，请参见[Zbl 1411.68018号]. MSC公司： 第68季度 计算理论 关键词：有向图;图形算法;参数复杂性;近似 引文：Zbl 1156.05056号;Zbl 1226.05102号;Zbl 1423.68353号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kreutzer}等人，LIPIcs——莱布尼茨国际程序。通知。126，第46条，第20页（2019年；Zbl 07559155） 全文： 内政部 参考文献： [1] 汉斯·阿德勒和伊索尔德·阿德勒。将无处密集的图类解释为模型理论的经典概念。《欧洲组合数学杂志》，36:322-3302014·Zbl 1284.05155号 [2] Jochen Alber、Michael R Fellows和Rolf Niedermeier。支配集的多项式时间数据约简。美国医学会杂志（JACM），51（3）：363-3842004·Zbl 1192.68337号 [3] 赛义德·阿胡迪安·阿米里、帕特里斯·奥斯纳·德门德斯、罗曼·拉比诺维奇和塞巴斯蒂安·西贝茨。有界展开图类的分布式控制。《算法和架构并行性研讨会第30届会议记录》，SPAA，第143-151页，2018年。 [4] 布伦达·S·贝克。平面图上NP-完全问题的近似算法。美国医学会杂志（JACM），41（1）：153-1801994·Zbl 0807.68067号 [5] Jørgen Bang Jensen和Gregory Z Gutin。有向图：理论、算法和应用。施普林格科学与商业媒体，2008年·Zbl 1210.05001号 [6] 加诺斯·巴拉特。有向图搜索中的有向路宽和单调性。图与组合数学，22（2）：161-1722006·Zbl 1138.05069号 [7] 迪特马尔·伯旺格（Dietmar Berwanger）、阿努杰·达瓦尔（Anuj Dawar）、保罗·亨特（Paul Hunter）和斯蒂芬·克鲁泽（Stephan Kreutzer）。DAG宽度和平价游戏。在计算机科学理论方面的年度研讨会上，第524-536页·Zbl 1136.68447号 [8] 斯普林格，2006年。 [9] Hans L Bodlaender、Fedor V Fomin、Daniel Lokshtanov、Eelko Penninkx、Saket Saurabh和Dimitrios M Thilikos。（元）核化。《计算机科学基础》，2009年。2009年FOCS。第50届IEEE年会，第629-638页。IEEE，2009年·Zbl 1292.68089号 [10] Marthe Bonamy、ukasz Kowalik、Micha Pilipczuk和Arkadiusz Soca。稀疏有向图中分支问题的线性核。《算法》，第1-30页，2015年·Zbl 1378.68062号 [11] 埃尔维·布罗尼曼（HervéBrönnimann）和迈克尔·古德里奇（Michael T Goodrich）。有限VC-维上的几乎最优集覆盖。离散与计算几何，14（4）：463-4791995·Zbl 0841.68122号 [12] 朱莉娅·楚霍伊（Julia Chuzhoy）和史莉（Shi Li）。一种求解具有拥塞的边不相交路径的多对数近似算法2。J.ACM，63（5）：45:1-45:512016年11月。doi:10.1145/2893472·兹比尔1426.68302 ·doi:10.1145/2893472 [13] Anuj Dawar、Martin Grohe、Stephan Kreutzer和Nicole Schweikardt。一阶可定义优化问题的近似方案。在2006年第21届IEEE计算机科学逻辑年会上，第411-420页。IEEE，2006年。 [14] Anuj Dawar和Stephan Kreutzer。无意义类中的支配问题。在IARCS软件技术和理论计算机科学基础年度会议上，FSTTCS 2009，2009年12月15-17日，印度坎普尔IIT，第157-168页，2009·兹比尔1248.68241 [15] E.Demaine和M.Hajiaghayi。二维理论及其算法应用。《计算机杂志》，第332-337页，2008年。 [16] E.D.Demaine、M.Hajiaghayi和K.Kawarayashi。算法图次要理论：分解、近似和着色。第46届计算机科学基础年会（FOCS），第637-646页，2005年。 [17] Erik D Demaine、Fedor V Fomin、Mohammadtaghi Hajiaghayi和Dimitrios M Thilikos。有界图和H-minor-free图的次指数参数化算法。美国医学会杂志（JACM），52（6）：866-8932005·Zbl 1326.05152号 [18] 埃里克·D·德曼（Erik D.Demaine）和穆罕默德·塔吉（Mohammad Taghi Hajiaghayi）。硬图问题的快速算法：二维性、次数和局部树宽。在图表绘制中，第517-5332004页。网址：http://springerlink.metapress.com/openurl.asp？gener=article{&}issn=0302-9743{&}volume=3383{&{}spage=517。 [19] 埃里克·D·德曼（Erik D.Demaine）和穆罕默德·塔吉（Mohammad Taghi Hajiaghayi）。二维性：FPT算法和PTAS之间的新联系。在交响乐中。关于离散算法（SODA），第590-601页，2005年。doi:10.1145/1070432.1070514·Zbl 1297.05056号 ·doi:10.1145/1070432.1070514 [20] 埃里克·D·德曼（Erik D.Demaine）、费利克斯·雷德尔（Felix Reidl）、彼得·罗斯马尼思（Peter Rossmanith）、费尔南多·桑切斯·维拉米尔（Fernando Sánchez Villaamil）、索姆纳特·西克达尔（Somnath Sikda。复杂网络的结构稀疏性：随机图模型和线性算法。CoRR，abs/1406.25872014年。网址：http://arxiv.org/abs/1406.2587，arXiv:1406.2587。 [21] 波尔·格伦斯·德朗奇、马库斯·索特兰·德雷吉、费多尔·弗明、斯蒂芬·克雷泽尔、丹尼尔·洛克斯塔诺夫、马辛·皮利普祖克、米查尔·皮利普楚克、费利克斯·雷德尔、费尔南多·桑切斯·维拉米尔、萨科特·索拉布、塞巴斯蒂安·西贝茨和索姆纳特·西克达尔。核化与稀疏性：支配集的情形。在STACS，LIPIcs第47卷，第31:1-31:14页。Dagstuhl Schloss-Leibniz-Zentrum fuer Informatik，2016年·Zbl 1388.68110号 [22] Zdeněk Dvořák。稀疏图中控制数的常数因子近似。欧洲组合数学杂志，34（5）：833-8402013·Zbl 1260.05111号 [23] Zdeněk Dvořák。稀疏图中距离r-支配集和2r-无关集。arXiv预印arXiv:1710.1001017·兹比尔1418.05100 [24] Zdeněk Dvořák、Daniel Král和Robin Thomas。测试稀疏图子类的一阶属性。美国医学会杂志（JACM），60（5）：362013·兹比尔1281.05114 [25] 爱德华·艾本（Eduard Eiben）、米蒂列什·库马尔（Mithilesh Kumar）、阿默尔·穆阿瓦德（Amer E.Mouawad）、法哈德·帕诺兰（Fahad Panolan）和塞巴斯蒂安·西贝茨（Sebastian Siebertz）。稀疏图上连通支配集的损失核。在2018年2月28日至3月3日于法国卡昂举行的2018年STACS第35届计算机科学理论方面研讨会上，第29:1-29:15页·Zbl 1487.68176号 [26] Kord Eickmeyer、Archontia C Giannopoulou、Stephan Kreutzer、O-joung Kwon、MichałPilipczuk、Roman Rabinovich、Sebastian Siebertz等。无处稠密图类的邻域复杂性和核化。arXiv预印arXiv:1612.081972016·Zbl 1441.68176号 [27] 格热戈兹·法比安斯基、米查·皮里普祖克、塞巴斯蒂安·西伯茨和西蒙·托伦奇克。支配和独立的渐进算法。CoRR，abs/1811.067992018年。arXiv:1811年。6799 [28] Michael R Fellows、Danny Hermelin、Frances Rosamond和Stéphane Vialette。关于多区间图问题的参数化复杂性。理论计算机科学，410（1）：53-612009·Zbl 1161.68038号 [29] Fedor V.Fomin、Daniel Lokshtanov、Venkatesh Raman和Saket Saurabh。二维性和EPTAS。在SODA中，第748-759页，2011年。网址：http://www.siam.org/会议记录/苏打水/2011/SODA11_058_fominf.pdf·Zbl 1377.68324号 [30] Fedor V.Fomin、Daniel Lokshtanov、Saket Saurabh和Dimitrios M.Thilikos。二维性和内核。SODA，第503-510页，2010年。网址：http://www.siam.org/会议记录/苏打水/2010/SODA10_043_fominf.pdf·兹比尔1288.68116 [31] Fedor V Fomin、Daniel Lokshtanov、Saket Saurabh和Dimitrios M Thilikos。二维性和内核。第二十一届ACM-SIAM离散算法研讨会论文集，第503-510页。SIAM，2010年·Zbl 1288.68116号 [32] Fedor V Fomin、Daniel Lokshtanov、Saket Saurabh和Dimitrios M Thilikos。H-minor-free图上（连通）支配集的线性核。第二十三届ACM-SIAM离散算法研讨会论文集，第82-93页。工业与应用数学学会，2012年·Zbl 1421.68078号 [33] Fedor V Fomin、Daniel Lokshtanov、Saket Saurabh和Dimitrios M Thilikos。具有排除拓扑子图的图上（连通）支配集的线性核。在第30届计算机科学理论方面国际研讨会上，第92页，2013年·Zbl 1354.68120号 [34] 贾库布·加亚尔斯克（Jakub Gajarskí）、彼得·赫林（Petr Hliněn）、扬·奥布德日莱克（Jan Obdr zalek）、塞巴斯蒂安·奥德尼亚克（Sebastian Ordyniak）、费利克斯·雷德尔（Felix Reidl）、彼得·罗斯-马尼特（Peter Ross-manith。在稀疏图类上使用结构参数进行核化。在欧洲算法研讨会上，第529-540页。施普林格，2013年·Zbl 1353.68126号 [35] 罗伯特·加尼安（Robert Ganian）、彼得·赫林（Petr Hliněn）、约阿希姆·克奈斯（Joachim Kneis）、亚历山大·兰格（Alexander Langer）、扬·奥布德扎莱克（Jan Obdr zalek）和彼得·罗。参数化算法中的有向图宽度度量。参数化和精确计算国际研讨会，第185-197页。施普林格，2009年·Zbl 1273.68276号 [36] 罗伯特·加尼安（Robert Ganian）、彼得·赫莱宁（Petr Hlinen）、约阿希姆·克奈斯（Joachim Kneis）、丹尼尔·梅斯特（Daniel Meister）、扬·奥布德扎莱克（Jan Obdrzálek）、彼得·罗斯马尼思（Peter Rossmanith）。有没有好的有向图宽度度量？J.库姆。理论，Ser。B、 2016年，116:250-286。doi:10.1016/j.jctb.2015.09.001·Zbl 1327.05136号 ·doi:10.1016/j.jctb.2015.09.001 [37] 马丁·格罗。局部树宽度、排除的子项和近似算法。联合微生物，23（4）：613-6322003·Zbl 1089.05503号 [38] S.Kreutzer、I.Muzi、P.Ossona de Mendez、R.Rabinovich和S.Siebertz 46:19 [39] 马丁·格罗（Martin Grohe）、斯蒂芬·克鲁泽（Stephan Kreutzer）、罗曼·拉比诺维奇（Roman Rabinovich）、塞巴斯蒂安·西贝茨（Sebastian Siebertz）和康斯坦蒂诺斯·斯塔夫罗普洛斯。给无处覆盖的稠密图着色。在计算机科学图形理论概念国际研讨会上，第325-338页。斯普林格，2015年·Zbl 1417.05067号 [40] Martin Grohe、Stephan Kreutzer和Sebastian Siebertz。无处稠密图的一阶性质的判定。第46届ACM计算机理论年会论文集，第89-98页。ACM，2014年·Zbl 1315.05118号 [41] Sariel Har-Peled和Kent Quanrud。多项式展开图和低密度图的近似算法。SIAM计算机杂志，46（6）：1712-17442017·Zbl 1375.05197号 [42] 保罗·亨特和斯蒂芬·克鲁泽。有向图度量：Kelly分解、游戏和排序。理论计算机科学，399（3）：206-2192008·Zbl 1152.91015号 [43] M.Jones、D.Lokshtanov、M.S.Ramanujan、S.Saurabh和O.Suchy。稀疏图上有向Steiner树的参数化复杂性。《欧洲算法研讨会论文集》（ESA 2013），2013年·Zbl 1371.68114号 [44] 理查德·卡普（Richard M Karp）。组合问题之间的约简性。《计算机计算复杂性》，第85-103页。施普林格，1972年·Zbl 1467.68065号 [45] Wojciech Kazana和Luc Segoufin。对具有有界展开的结构类的一阶查询的枚举。第32届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集，第297-308页。ACM，2013年·Zbl 1353.68068号 [46] 斯蒂芬·克鲁泽（Stephan Kreutzer）、罗曼·拉比诺维奇（Roman Rabinovich）和塞巴斯蒂安·西贝茨（Sebastian Siebertz）。多项式核与无处稠密图类的宽性。第二十八届ACM-SIAM离散算法研讨会论文集，第1533-1545页。SIAM，2017年·Zbl 1410.05112号 [47] 斯蒂芬·克鲁泽（Stephan Kreutzer）、罗曼·拉比诺维奇（Roman Rabinovich）和塞巴斯蒂安·西贝茨（Sebastian Siebertz）。多项式核与无处稠密图类的宽性。第二十八届ACM-SIAM离散算法研讨会论文集，2017年SODA，西班牙巴塞罗那，Porta Fira酒店，2017年1月16-19日，第1533-1545页。doi:10.1137/1.9781611974782.100·Zbl 1410.05112号 ·doi:10.1137/1.9781611974782.100 [48] Stephan Kreutzer、Roman Rabinovich、Sebastian Siebertz和Grischa Weberstädt。稀疏有向图中强距离控制集的结构性质和常数因子逼近。第34届计算机科学理论方面研讨会（STACS 2017），莱布尼茨国际信息学论文集（LIPIcs）第66卷，第48:1-48:15页，德国达格斯图尔，2017年。Dagstuhl-Leibniz-Zentrum fuer Informatik宫。doi:10.4230/LPICs。STACS.2017.48·兹比尔1402.05180 ·doi:10.4230/LPICs。STACS.2017.48标准 [49] Stephan Kreutzer和Siamak Tazari。无处指导密集的图形类。第二十三届ACM-SIAM离散算法研讨会论文集，第1552-1562页。SIAM，2012年·Zbl 1423.68353号 [50] Daniel Lokshtanov、Amer E Mouawad、Fahad Panolan、MS Ramanujan和Saket Saurabh。稀疏图上的重构。算法和数据结构研讨会，第506-517页。斯普林格，2015年·Zbl 1451.68134号 [51] Maryanthe Malliaris和Saharon Shelah。稳定图的正则引理。美国数学学会学报，366（3）：1551-15852014·Zbl 1283.05234号 [52] N.Misra、G.Philip、V.Raman、S.Saurabh和S.Sikdar。连接反馈顶点集的FPT算法。在WALCOM 2010中，第269-280页，2010年·Zbl 1274.68674号 [53] 丹尼尔·莫勒（Daniel Mölle）、斯特凡·里希特（Stefan Richter）和彼得·罗斯马尼思（Peter Rossmanith）。枚举和扩展：改进的连通顶点覆盖和树覆盖算法。计算系统理论，43（2）：234-2532008·Zbl 1148.68041号 [54] 沃伊西奇·纳达拉（Wojciech Nadara）、马金·皮利普祖克（Marcin Pilipczuk）、罗曼·拉比诺维奇（Roman Rabinovich）、费利克斯·雷德尔（Felix Reidl）和塞巴斯蒂安·西贝茨（Sebastian Siebertz）。广义图着色和一致拟宽度近似算法的经验评估。第17届实验算法国际研讨会，SEA，第14:1-14:16页，2018年·Zbl 1493.68398号 [55] 雅罗斯拉夫·内舍特·伊尔（Jaroslav Nešetřil）和帕特里斯·奥斯索纳·德门德斯（Patrice Ossona de Mendez）。线性时间低树宽分区和算法结果。第三十八届ACM计算机理论研讨会（STOC）会议记录，第391-400页。ACM，2006年·Zbl 1301.05268号 [56] 雅罗斯拉夫·内舍特·伊尔（Jaroslav Nešetřil）和帕特里斯·奥斯索纳·德门德斯（Patrice Ossona de Mendez）。梯度和具有有界展开的类I.分解。欧洲组合数学杂志，29（3）：760-7762008·Zbl 1156.05056号 [57] 雅罗斯拉夫·内舍特·伊尔（Jaroslav Nešetřil）和帕特里斯·奥斯索纳·德门德斯（Patrice Ossona de Mendez）。无处稠密结构的一阶性质。符号逻辑杂志，75（03）：868-8872010·Zbl 1206.03033号 [58] 雅罗斯拉夫·内舍特·伊尔（Jaroslav Nešetřil）和帕特里斯·奥斯索纳·德门德斯（Patrice Ossona de Mendez）。在无位置稠密图上。《欧洲组合学杂志》，32（4）：600-6172011·Zbl 1226.05102号 [59] 扬·奥布德扎勒克（Jan Obdr zalek）。DAG-width：有向图的连通性度量。第十七届ACM-SIAM离散算法研讨会论文集，第814-821页。工业和应用数学学会，2006年·Zbl 1192.05065号 [60] Geevarghese Philip、Venkatesh Raman和Somnath Sikdar。有界简并及以上图中支配集的多项式核。ACM算法汇刊（TALG），9（1）：2012年11月·Zbl 1301.68164号 [61] MichałPilipczuk和Sebastian Siebertz。无处稠密图上距离r无关集的核化与逼近。arXiv预印本arXiv：1809.056752018。 [62] MichałPilipczuk、Sebastian Siebertz和Szymon Torunczyk。关于稀疏图中类型的数量。arXiv预印arXiv:1705.093362017。 [63] 汉斯·吉尔根·普雷梅尔和安吉丽卡·斯特格。斯坦纳树问题：图表、算法和复杂性之旅。施普林格科学与商业媒体，2012年·Zbl 0992.68156号 [64] Ran Raz和Shmuel Safra。亚恒定错误概率低阶测试和NP的亚恒定错误几率PCP表征。第29届ACM计算理论研讨会论文集，第475-484页。ACM，1997年·Zbl 0963.68175号 [65] Felix Reidl、Fernando Sánchez Villaamil和Konstantinos Stavropoulos。以邻域复杂性为特征的有界扩展。欧洲法学委员会。，75:152-168, 2019. ·Zbl 1400.05248号 [66] N.Robertson和P.D.Seymour。图小部分XIII。不相交路径问题。组合理论杂志，B辑，63:65-1101995·Zbl 0823.05038号 [67] 穆罕默德·阿里·萨法里（Mohammad Ali Safari）。D宽度：一种更自然的定向树宽度测量方法。在计算机科学数学基础国际研讨会上，第745-756页。斯普林格，2005年·Zbl 1156.05304号 [68] 诺伯特·绍尔。关于集合族的密度。组合理论杂志，A辑，13（1）：145-1471972·兹比尔0248.05005 [69] 吕克·塞古芬和亚历山大·维尼。具有局部有界扩展的数据库上FO查询的恒定延迟枚举。Michael Benedikt和Giorgio Orsi，编辑，第20届国际数据库理论会议（ICDT 2017），莱布尼茨国际信息学会议（LIPIcs）第68卷，第20:1-20:16页，德国达格斯图尔，2017年。Dagstuhl-Leibniz-Zentrum fuer Informatik宫。doi:10.4230/LPICs。ICDT.2017.20·Zbl 1402.68052号 ·doi:10.4230/LPICs。国际货币基金组织，2017年2月20日 [70] 撒哈拉沙拉。一个组合问题；无限语言中模型和理论的稳定性和顺序。太平洋数学杂志，41（1）：247-2611972·Zbl 0239.02024号 [71] 塞巴斯蒂安·西贝茨。无处稠密图类的重构。选举人。J.库姆。，25（3）：2018年第3.24页·Zbl 1393.05171号 [72] VN Vapnik和A Ya Chervonenkis。事件相对频率与其概率的一致收敛性。复杂性度量，16（2）：1971年11月·Zbl 1337.60009号 [73] 朱旭鼎。广义着色数有界的图的着色。离散数学，309（18）：5562-55682009·Zbl 1216.05043号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。