卡尔·艾纳森;格雷戈里·古汀;Bart M.P.Jansen。;迪帕普利约·马朱姆达尔;瓦尔斯特伦,马格纳斯 \(p)-边/顶点连接顶点覆盖:参数化和近似算法。 (英语) Zbl 07639162号 J.计算。系统。科学。 133, 23-40 (2023)。 摘要:我们引入并研究了连通顶点覆盖(VC)问题的两个自然推广:边连通和顶点连通VC问题(其中,(p\geq 2)是一个固定整数)。我们获得了(p)-边连通VC的(2^{mathcal{O}(pk)}n^{mathcal{O{(1)})时间算法和(p)–顶点连通VC的一个(2^}mathcal}(k^2)}n^{mathcal{0}(1”})-时间算法。因此,与连通VC一样,这两个约束VC问题都是FPT问题。此外,与连通VC一样,这两个问题都不允许多项式核,除非NP(subsetq)coNP/poly,这是极不可能的。然而,我们证明了这两个问题都允许时间有效的多项式大小的近似核化方案。最后,我们描述了(p)-边连通VC的(2(p+1)-近似算法。与连通VC相比,新VC问题的证明需要更复杂的参数。特别是,对于近似算法,我们使用Gomory-Hu树,对于近似核,我们得到了小规模跨越(p)的结果-Nishizeki和Poljak(1994)[30]以及Nagamochi和Ibaraki(1992)[27]提出的a(p)-顶点/边连通图的顶点/边连接子图。 引用于1文件 MSC公司: 68倍 计算机科学 关键词:顶点覆盖;连通性;参数化算法;内核;近似核;近似算法 PDF格式BibTeX公司 XML格式引用 \textit{C.Einarson}等人,J.Compute。系统。科学。133、23-40(2023年;Zbl 07639162) 全文: 内政部 arXiv公司 OA许可证 参考文献: [1] 阿比纳夫,安基特;苏索邦班多帕德亚伊;阿里特拉·巴尼克;Saurabh,Saket,《寻找高连通解的参数化算法》,(计算机科学-理论与应用,CSR,计算机科学-原理与应用,计算机科学讲义,第13296卷(2022年)),1-16·兹伯利07615727 [2] 阿加瓦尔、阿坎沙;米斯拉,普拉纳本德;法赫德·帕诺兰;Saurabh,Saket,《具有统一要求的可生存网络设计的快速精确算法》,(WADS.WADS,计算机科学讲义,第10389卷(2017),Springer),25-36·Zbl 1491.68130号 [3] 阿格拉瓦尔,阿坎克沙;Saket Saurabh;Tale,Prafullkumar,关于树的泛化收缩的参数化复杂性,理论计算。系统。,63, 3, 587-614 (2019) ·Zbl 1435.68119号 [4] Sayan Bandyapadhyay;Fedor V.Fomin。;Petr A.Golovach。;尼迪·普罗希特(Nidhi Purohit);Simonov,Kirill,相同大小聚类的Lossy核化(2021),CoRR·Zbl 07615733号 [5] Bodlaender,Hans L。;斯特芬托马斯;Yeo,Anders,不相交循环和不相交路径的内核边界,Theor。计算。科学。,412, 35, 4570-4578 (2011) ·Zbl 1221.68099号 [6] 陈建尔;Iyad A.Kanj。;贾维嘉,《顶点覆盖:进一步观察和进一步改进》,《算法》,41,2,280-301(2001)·Zbl 1017.68087号 [7] Cygan,Marek,确定性参数化连通顶点覆盖,(SWAT 2012(2012)会议记录),95-106·Zbl 1357.05143号 [8] 马雷克·赛根(Marek Cygan);Fedor V.Fomin。;卢卡斯·科瓦利克;丹尼尔·洛克斯塔诺夫(Daniel Lokshtanov);达尼尔·马克思;马钦·皮里普祖克(Marcin Pilipczuk);米查尔·皮里普祖克(Michal Pilipczuk);Saurabh,Saket,参数化算法(2015),Springer·Zbl 1334.90001号 [9] 迈克尔·多姆(Michael Dom);丹尼尔·洛克斯塔诺夫(Daniel Lokshtanov);Saurabh,Saket,通过颜色和ID的Kernelization下界,ACM Trans。算法,11,2,13:1-13:20(2014)·Zbl 1398.68226号 [10] 罗德尼·G·唐尼。;Michael R.研究员,《参数化复杂性基础》,《计算机科学文本》(2013),斯普林格出版社·Zbl 1358.68006号 [11] Dvorák,帕维尔;埃米尔·费尔德曼(Emil Feldmann),安德烈亚斯(Andreas);Knop、Dusan;托马斯·马萨利克;托马斯·图法尔;Veselí,Pavel,具有少量Steiner顶点的Steiner树的参数化近似方案,SIAM J.离散数学。,35, 1, 546-574 (2021) ·Zbl 1462.68138号 [12] 爱德华·艾本;丹尼·赫尔梅林(Danny Hermelin);Ramanujan,M.S.,关于具有连接删除集的支配子图和击中子图的近似预处理,J.Compute。系统。科学。,105, 158-170 (2019) ·Zbl 1425.68309号 [13] 爱德华·艾本;米蒂利什·库马尔(Mithilesh Kumar);Amer E.穆阿瓦德。;法赫德·帕诺兰;Siebertz,Sebastian,稀疏图上连通支配集的Lossy核,SIAM J.离散数学。,33, 3, 1743-1771 (2019) ·Zbl 1430.68195号 [14] Fedor V.Fomin。;丹尼尔·洛克斯塔诺夫(Daniel Lokshtanov);法赫德·帕诺兰;Saurabh,Saket,在参数化和精确算法中应用的代表性族的有效计算,J.ACM,63,4,29:1-29:60(2016)·Zbl 1410.05212号 [15] Fedor V.Fomin。;丹尼尔·洛克斯塔诺夫(Daniel Lokshtanov);Saket Saurabh;Zehavi,Meirav,《核化:参数化预处理理论》(2019),剑桥大学出版社·Zbl 1426.68003号 [16] Gomory,R.E。;Hu,T.C.,《多端网络流》,J.Soc.Ind.Appl。数学。,1961年9月9日·Zbl 0112.12405号 [17] Gunda,Spoorthy;贾恩(Jain),帕拉维(Pallavi);丹尼尔·洛克斯塔诺夫(Daniel Lokshtanov);Saket Saurabh;Tale,Prafullkumar,关于弦图类收缩的参数化逼近性,ACM Trans。计算。理论,13,4,27:1-27:40(2021)·Zbl 1495.68178号 [18] Bart M.P.Jansen。;Wlodarczyk,Michal,Lossy平面化:平面顶点删除的常数近似核化(2022),CoRR [19] Krithika,R。;Majumdar,Diptapriyo;Raman,Venkatesh,《重访连通顶点覆盖:FPT算法和有损核》,理论计算。系统。,62, 8, 1690-1714 (2018) ·Zbl 1430.68225号 [20] 李恒哲;杨玉星;吴宝英,图的2-边连通支配集和2-连通支配集,J.Comb。最佳。,31, 2, 713-724 (2016) ·Zbl 1342.90166号 [21] 丹尼尔·洛克斯塔诺夫(Daniel Lokshtanov);米斯拉,普拉纳本德;法赫德·帕诺兰;Saurabh,Saket,线性拟阵的确定性截断,ACM Trans。算法,14,2,14:1-14:20(2018)·Zbl 1440.68128号 [22] 丹尼尔·洛克斯塔诺夫(Daniel Lokshtanov);法赫德·帕诺兰;拉马努詹,M.S。;Saurabh,Saket,Lossy kernelization,(STOC 2017(2017)会议记录),224-237·Zbl 1370.68136号 [23] Majumdar,Diptapriyo;拉马努扬,M.S。;Saurabh,Saket,关于连通顶点覆盖的近似压缩性,算法,82,10,2902-2926(2020)·Zbl 1455.68144号 [24] Manurangsi,Pasin,《关于最大k顶点覆盖:更快的FPT-AS,更小的近似核和改进的近似》,(Fineman,Jeremy T.;Mitzenmacher,Michael,第二届算法简单性研讨会(SOSA 2019)。第二届算法简单性研讨会(SOSA 2019),德国达格斯图尔。第二届算法简单性研讨会(SOSA 2019)。第二届算法简单性研讨会(SOSA 2019),德国达格斯图尔,信息学开放存取系列(OASIcs),第69卷(2018年),达格斯图-莱布尼茨-泽特鲁姆-富尔信息学院,15:1-15:21 [25] Marx,Dániel,拟阵优化问题的参数化观点,Theor。计算。科学。,410, 44, 4471-4479 (2009) ·Zbl 1180.90275号 [26] 丹尼尔·莫勒;斯特凡·里希特;Rossmanith,Peter,《枚举和扩展:连通顶点覆盖和树覆盖的改进算法》,《理论计算》。系统。,43, 2, 234-253 (2008) ·Zbl 1148.68041号 [27] 广岛长垣;Ibaraki,Toshihide,求k连通图的稀疏k连通生成子图的线性时间算法,算法,7583-596(1992)·Zbl 0763.05065号 [28] 乔治·L·纳姆豪泽。;Trotter,Leslie E.,顶点填充:结构属性和算法,数学。程序。,8, 1, 232-248 (1975) ·Zbl 0314.90059号 [29] Niedermeier,Rolf,固定参数算法邀请函(2006),牛津大学出版社·Zbl 1095.68038号 [30] 西泽木高雄;Poljak,Svatopluk,k-连通性和图到森林的分解,离散应用。数学。,55, 3, 295-301 (1994) ·Zbl 0818.05043号 [31] Nutov,Zeev,2节点连接网络设计(WAOA 2020会议记录)。WAOA 2020会议录,计算机科学讲义,第12806卷(2020年),斯普林格出版社,220-235·Zbl 07495129号 [32] Nutov,Zeev,k连通子图的4近似,J.Compute。系统。科学。,123, 64-75 (2022) ·Zbl 1472.68215号 [33] Nutov,Zeev,逼近k-连通m-支配集,算法,84,61511-1525(2022)·Zbl 1500.68007号 [34] Nutov,Zeev,节点连接增强问题的参数化算法(2022),CoRR·Zbl 1394.68443号 [35] 詹姆斯·奥克斯利(James Oxley),《矩阵理论》(Matroid Theory)(2011),牛津大学出版社·Zbl 1254.05002号 [36] Ramanujan,M.S.,连通反馈顶点集的近似核,(ESA 2019(2019)学报),77:1-77:14·Zbl 07525514号 [37] Savage,C.,深度第一搜索和顶点覆盖问题,Inf.Process。莱特。,14233-235(1982年)·Zbl 0498.68041号 [38] 韦斯特,道格拉斯B.,《图论导论》(1996),普伦蒂斯·霍尔·Zbl 0845.05001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。