费多尔·福明。;丹尼尔·洛克斯塔诺夫;达尼尔·马克思;马钦·皮里普祖克;Micha Pilipczuk;萨科特·索拉布 基于低树宽模式覆盖的平面图和无顶点图的次指数参数化算法。 (英语) Zbl 1511.05222号 SIAM J.计算。 51,第6期,1866-1930(2022). 小结:我们证明了以下定理。给定一个平面图(G)和一个整数(k),可以在多项式时间内随机采样具有以下性质的(G)顶点的子集(a):(a)导出树宽(mathcal{O}(sqrt{k}\log k))的(G覆盖(H)的整个顶点集至少是(2^{mathcal{O}(\sqrt{k}\log^2k)}!\cdot n^{\mathcal{O}(1)})^{-1}\),其中\(n\)是\(G\)的顶点数。与有界树宽图的标准动态规划技术一起,这个结果提供了一种通用的技术,用于获得平面图上问题的(随机)次指数时间参数化算法,通常使用运行时间有界的(2^{mathcal{O}(sqrt{k}\log^2k)}n^{mathcal{O{(1)})。该技术可以应用于可表示为在大型主机图中搜索具有指定属性的小型连通模式的问题;此类问题的示例包括定向\(k\)-路径,加权\(k\)-路径,顶点覆盖局部搜索、和子图同构等等。到目前为止,这些问题是否可以在平面图的次指数参数化时间内解决还没有定论,因为它们不符合经典的二维技术。此外,我们的所有结果实际上都适用于任何一类不包括作为次要图的固定顶点图的图,特别是可嵌入到任何固定曲面中的图。 引用于6文件 理学硕士: 05C85号 图形算法(图形理论方面) 05年10月 平面图;图论的几何和拓扑方面 05C75号 图族的结构特征 68兰特 计算机科学中的图论(包括图形绘制) 关键词:参数复杂性;次指数算法;树宽;平面图;子图同构 PDF格式BibTeX公司 XML格式引用 \textit{F.V.Fomin}等人,SIAM J.Comput。511866年第6期——1930年(2022年;Zbl 1511.05222) 全文: 内政部 arXiv公司 参考文献: [1] Alber,J.,Bodlaender,H.L.,Fernau,H.,Kloks,T.和Niedermeier,R.,平面图上支配集和相关问题的固定参数算法,《算法》,33(2002),第461-493页·Zbl 1016.68055号 [2] Alon,N.、Seymour,P.和Thomas,R.,平面分离器,SIAM J.离散数学。,7(1994),第184-193页,doi:10.1137/S0895480191198768·Zbl 0797.05039号 [3] Alon,N.、Yuster,R.和Zwick,U.,《彩色编码》,J.ACM,42(1995),第844-856页·Zbl 0885.68116号 [4] Bartal,Y.,《关于用树度量逼近任意度量》,载于《第30届ACM计算理论研讨会论文集》,STOC 1998年,1998年,第161-168页·Zbl 1029.68951号 [5] Bodlaender,H.L.、Cygan,M.、Kratsch,S.和Nederlof,J.,《用树宽参数化的连通性问题的确定性单指数时间算法》,Inform。计算。,243(2015),第86-111页,doi:10.1016/j.ic.2014.12.008·Zbl 1327.68126号 [6] Bodlaender,H.L.、Nederlof,J.和van der Zanden,T.C.,《嵌入H-minor自由图的次指数时间算法》,载于第43届国际自动化、语言和编程学术讨论会论文集,ICALP 2016,Schloss Dagstuhl-Leibniz Zentrum für Informatik,德国Dagstull,2016,9·Zbl 1388.68103号 [7] Borradile,G.、Klein,P.、Marx,D.和Mathieu,C.,平面图中优化问题的算法(Dagstuhl研讨会13421),Dagstuhel Rep.,3(2014),第36-57页,doi:10.4230/DagRep.3.10.36。 [8] Charikar,M.、Chekuri,C.、Goel,A.、Guha,S.和Plotkin,S.A.,用少量树度量逼近有限度量,收录于第39届IEEE计算机科学基础研讨会论文集,FOCS 1998年,1998年,第379-388页,doi:10.1109/SFCS.1998.743488。 [9] Chimani,M.、Mutzel,P.和Zey,B.,有界树宽的改进Steiner树算法,《离散算法》,16(2012),第67-78页·Zbl 1257.05166号 [10] Cygan,M.,Fomin,F.V.,Kowalik,L.,Lokshtanov,D.,Marx,D.,Pilipczuk,M..,Pilipzuk和Saurabh,S.,参数化算法,Springer,2015,doi:10.1007/978-3319-21275-3·Zbl 1334.90001号 [11] Demaine,E.D.、Fomin,F.V.、Hajiaghayi,M.和Thilikos,D.M.,平面图和地图中k,r中心的固定参数算法,ACM Trans。Agorithms,1(2005),第33-47页·兹比尔1321.05256 [12] Demaine,E.D.,Fomin,F.V.,Hajiaghayi,M.,and Thilikos,D.M.,有界图和H-minor-free图的次指数参数化算法,J.ACM,52(2005),第866-893页·Zbl 1326.05152号 [13] Demaine,E.D.、Fomin,F.V.、Hajiaghayi,M.和Thilikos,D.M.,《二维结构:算法、组合学和逻辑》(Dagstuhl研讨会13121),Dagstuhel Rep.,3(2013),第51-74页,doi:10.4230/DagRep.3.3.51。 [14] Demaine,E.D.和Hajiaghayi,M.,二维理论及其算法应用,计算机。J.,51(2008),第292-302页。 [15] Demaine,E.D.和Hajiaghayi,M.,《树宽网格子元素的线性与二维应用》,《组合数学》,28(2008),第19-36页·Zbl 1174.05115号 [16] Demaine,E.D.和Hajiaghayi,M.T.,局部树宽和线性局部树宽的等价性及其算法应用,第15届ACM-SIAM离散算法研讨会论文集,SODA 2004,SIAM,2004,第840-849页·Zbl 1318.05077号 [17] Dorn,F.,《重新审视平面子图同构》,载于第27届计算机科学理论方面国际研讨会论文集,STACS 2010,Schloss Dagstuhl-Leibniz Zentrum Für Informatik,Dagstull,Germany,2010,第263-274页·Zbl 1230.68230号 [18] Dorn,F.、Fomin,F.V.、Lokshtanov,D.、Raman,V.和Saurabh,S.,《超越二维性:有向图上的参数化次指数算法》,Inform。计算。,233(2013),第60-70页·Zbl 1433.68290号 [19] Dorn,F.,Fomin,F.V.和Thilikos,D.M.,无H-极小图中的加泰罗尼亚结构和动态规划,J.Comput。系统科学。,78(2012),第1606-1622页·Zbl 1244.05215号 [20] 平面图中的子图同构及其相关问题,图算法应用。,3(1999),第1-27页·Zbl 0949.05055号 [21] Eppstein,D.,小闭图族中的直径和树宽,Algorithmica,27(2000),第275-291页,doi:10.1007/s004530010020·Zbl 0963.05128号 [22] Feige,U.、Hajiaghayi,M.和Lee,J.R.,最小权顶点分隔符的改进近似算法,SIAM J.Compute。,38(2008),第629-657页·Zbl 1172.68063号 [23] Fellows,M.R.、Fomin,F.V.、Lokshtanov,D.、Rosamond,F.A.、Saurabh,S.和Villanger,Y.,《本地搜索:暴力是可以避免的吗?》?,J.计算。系统。科学。,78(2012),第707-719页,doi:10.1016/j.jcss.2011.10.003·Zbl 1244.68070号 [24] Fomin,F.V.、Lokshtanov,D.、Panolan,F.和Saurabh,S.,代表族的高效计算及其在参数化和精确算法中的应用,J.ACM,63(2016),29·Zbl 1410.05212号 [25] Fomin,F.V.、Lokshtanov,D.和Saurabh,S.,《二维和几何图》,第22届ACM-SIAM离散算法年会论文集,SODA 2012,SIAM,2012,第1563-1575页·Zbl 1421.68126号 [26] Grohe,M.,《局部树宽度、排除子项和近似算法》,《组合数学》,23(2003),第613-632页·Zbl 1089.05503号 [27] Impagliazzo,R.和Paturi,R.,《关于k-SAT的复杂性》,J.Compute。系统科学。,62(2001),第367-375页·Zbl 0990.68079号 [28] Klein,P.N.和Marx,D.,平面图上子集TSP的一种次指数参数化算法,载于第24届ACM-SIAM离散算法年会论文集,SODA 2014,SIAM,2014,第1812-1830页·兹比尔1423.68214 [29] Linial,N.和Saks,M.E.,低直径图分解,组合数学,13(1993),第441-454页,doi:10.1007/BF01303516·Zbl 0790.05067号 [30] Lipton,R.J.和Tarjan,R.E.,平面分离器定理的应用,SIAM J.计算。,9(1980),第615-627页,doi:10.1137/0209046·Zbl 0456.68077号 [31] Marx,D.、Pilipczuk,M.和Pilipczzuk,M,《关于平面图上Steiner树和有向子集TSP的次指数参数化算法》,第59届IEEE计算机科学基础研讨会论文集,FOCS 2018,2018,第474-484页。 [32] Marx,D.,Pilipczuk,M.和Pilipczzuk,M,平面图上有向子集旅行商问题的一个次指数参数化算法,SIAM J.Compute。,51(2022),第254-289页,doi:10.1137/19m1304088·Zbl 1486.05294号 [33] Matoušek,J.和Thomas,R.,《关于为部分k树寻找iso和其他形态的复杂性》,《离散数学》。,108(1992),第343-364页,doi:10.1016/0012-365X(92)90687-B·Zbl 0764.68128号 [34] Naor,M.、Schulman,L.J.和Srinivasan,A.,《分裂与近最优去中心化》,第36届IEEE计算机科学基础研讨会论文集,FOCS 1995年,1995年,第182-191页。 [35] Pilipczuk,M.、Pilipczzuk,M.、Sankowski,P.和van Leeuwen,E.J.,平面图上Steiner树的次指数时间参数化算法,第30届计算机科学理论方面国际研讨会论文集,STACS 2013,Schloss Dagstuhl-Leibniz Zentrum für Informatik,德国达格斯图尔,2013,第353-364页·兹比尔1354.68132 [36] Pilipczuk,M.,Pilipczzuk,M,Sankowski,P.和van Leeuwen,E.J.,平面图和有界图上Steiner问题的网络稀疏化,ACM Trans。算法,14(2018),53·Zbl 1454.68114号 [37] Robertson,N.和Seymour,P.D.,《未成年人图形》。三、 平面树宽度,J.Combinar.Theory Ser。B、 36(1984年),第49-64页·Zbl 0548.05025号 [38] Robertson,N.和Seymour,P.D.,《未成年人图形》。十三、。不相交路径问题,J.Combin.Theory Ser。B、 63(1995年),第65-110页·Zbl 0823.05038号 [39] Sau,I.和Thilikos,D.M.,平面图上度约束子图问题的次指数参数化算法,《离散算法》,8(2010),第330-338页,doi:10.1016/J.jda.2010.02·Zbl 1192.90239号 [40] Tazari,S.,《算法图次要理论:近似、参数化复杂性和实用方面》,柏林洪堡大学博士论文,2010年·Zbl 1220.68074号 [41] Tazari,S.,《(奇数)H-minor-free图上的更快近似方案和参数化算法》,Theoret。计算。科学。,417(2012),第95-107页,doi:10.1016/j.tcs.2011.09.014·Zbl 1241.05027号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。