{"title":"路径集填充的参数化复杂度","authors":"N. R. Aravind, Roopam Saxena","doi":"10.1007/s00453-025-01329-5","DOIUrl":null,"url":null,"abstract":"<div><p>In <span>Path Set Packing</span>, the input is an undirected graph <i>G</i>, a collection <span>\\(\\mathcal{P}\\)</span> of simple paths in <i>G</i>, and a positive integer <i>k</i>. The problem is to decide whether there exist <i>k</i> edge-disjoint paths in <span>\\(\\mathcal{P}\\)</span>. We study the parameterized complexity of <span>Path Set Packing</span> with respect to both natural and structural parameters. We show that the problem is W[1]-hard with respect to vertex cover number, and W[1]-hard respect to pathwidth plus solution size when input graph is a grid. These results answer an open question raised in Xu and Zhang (in: Wang L, Zhu D (eds) Computing and combinatorics—24th international conference, COCOON 2018, Qing Dao, China, July 2–4, 2018, proceedings. Lecture notes in computer science, vol 10976, pp 305–315. Springer, 2018, https://doi.org/10.1007/978-3-319-94776-1_26). On the positive side, we present an FPT algorithm parameterized by feedback vertex number plus maximum degree, and present an FPT algorithm parameterized by treewidth plus maximum degree plus maximum length of a path in <span>\\(\\mathcal{P}\\)</span>. These positive results complement the hardness of <span>Path Set Packing</span> with respect to any subset of the parameters used in the FPT algorithms. We also give a 4-approximation algorithm for maximum path set packing problem which runs in FPT time when parameterized by feedback edge number.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 12","pages":"1864 - 1898"},"PeriodicalIF":0.7000,"publicationDate":"2025-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Parameterized Complexity of Path Set Packing\",\"authors\":\"N. R. Aravind, Roopam Saxena\",\"doi\":\"10.1007/s00453-025-01329-5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>In <span>Path Set Packing</span>, the input is an undirected graph <i>G</i>, a collection <span>\\\\(\\\\mathcal{P}\\\\)</span> of simple paths in <i>G</i>, and a positive integer <i>k</i>. The problem is to decide whether there exist <i>k</i> edge-disjoint paths in <span>\\\\(\\\\mathcal{P}\\\\)</span>. We study the parameterized complexity of <span>Path Set Packing</span> with respect to both natural and structural parameters. We show that the problem is W[1]-hard with respect to vertex cover number, and W[1]-hard respect to pathwidth plus solution size when input graph is a grid. These results answer an open question raised in Xu and Zhang (in: Wang L, Zhu D (eds) Computing and combinatorics—24th international conference, COCOON 2018, Qing Dao, China, July 2–4, 2018, proceedings. Lecture notes in computer science, vol 10976, pp 305–315. Springer, 2018, https://doi.org/10.1007/978-3-319-94776-1_26). On the positive side, we present an FPT algorithm parameterized by feedback vertex number plus maximum degree, and present an FPT algorithm parameterized by treewidth plus maximum degree plus maximum length of a path in <span>\\\\(\\\\mathcal{P}\\\\)</span>. These positive results complement the hardness of <span>Path Set Packing</span> with respect to any subset of the parameters used in the FPT algorithms. We also give a 4-approximation algorithm for maximum path set packing problem which runs in FPT time when parameterized by feedback edge number.</p></div>\",\"PeriodicalId\":50824,\"journal\":{\"name\":\"Algorithmica\",\"volume\":\"87 12\",\"pages\":\"1864 - 1898\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2025-08-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algorithmica\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00453-025-01329-5\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algorithmica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00453-025-01329-5","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 0
摘要
在路径集填充中,输入是一个无向图G, G中简单路径的集合\(\mathcal{P}\)和一个正整数k,问题是确定\(\mathcal{P}\)中是否存在k条不相交的路径。本文从自然参数和结构参数两方面研究了路径集填充的参数化复杂度。我们表明,当输入图是网格时,问题是W[1]-关于顶点覆盖数的困难,W[1]-关于路径宽度加解大小的困难。这些结果回答了Xu和Zhang提出的一个开放性问题(in: Wang L, Zhu D(编))计算与组合-第24届国际会议,COCOON 2018,中国青岛,2018年7月2-4日,proceedings。《计算机科学》,第10976卷,第305-315页。b施普林格,2018,https://doi.org/10.1007/978-3-319-94776-1_26)。在积极的方面,我们提出了一个参数化的FPT算法的反馈顶点数加上最大度,并提出了一个参数化的FPT算法的树宽加上最大度加上路径的最大长度\(\mathcal{P}\)。这些积极的结果补充了路径集填充相对于FPT算法中使用的任何参数子集的硬度。对于用反馈边数参数化的FPT时间内运行的最大路径集布局问题,给出了一个4逼近算法。
In Path Set Packing, the input is an undirected graph G, a collection \(\mathcal{P}\) of simple paths in G, and a positive integer k. The problem is to decide whether there exist k edge-disjoint paths in \(\mathcal{P}\). We study the parameterized complexity of Path Set Packing with respect to both natural and structural parameters. We show that the problem is W[1]-hard with respect to vertex cover number, and W[1]-hard respect to pathwidth plus solution size when input graph is a grid. These results answer an open question raised in Xu and Zhang (in: Wang L, Zhu D (eds) Computing and combinatorics—24th international conference, COCOON 2018, Qing Dao, China, July 2–4, 2018, proceedings. Lecture notes in computer science, vol 10976, pp 305–315. Springer, 2018, https://doi.org/10.1007/978-3-319-94776-1_26). On the positive side, we present an FPT algorithm parameterized by feedback vertex number plus maximum degree, and present an FPT algorithm parameterized by treewidth plus maximum degree plus maximum length of a path in \(\mathcal{P}\). These positive results complement the hardness of Path Set Packing with respect to any subset of the parameters used in the FPT algorithms. We also give a 4-approximation algorithm for maximum path set packing problem which runs in FPT time when parameterized by feedback edge number.
期刊介绍:
Algorithmica is an international journal which publishes theoretical papers on algorithms that address problems arising in practical areas, and experimental papers of general appeal for practical importance or techniques. The development of algorithms is an integral part of computer science. The increasing complexity and scope of computer applications makes the design of efficient algorithms essential.
Algorithmica covers algorithms in applied areas such as: VLSI, distributed computing, parallel processing, automated design, robotics, graphics, data base design, software tools, as well as algorithms in fundamental areas such as sorting, searching, data structures, computational geometry, and linear programming.
In addition, the journal features two special sections: Application Experience, presenting findings obtained from applications of theoretical results to practical situations, and Problems, offering short papers presenting problems on selected topics of computer science.