Yong Chen , Zhi-Zhong Chen , Curtis Kennedy , Guohui Lin , Yao Xu , An Zhang
{"title":"Approximating the directed path partition problem","authors":"Yong Chen , Zhi-Zhong Chen , Curtis Kennedy , Guohui Lin , Yao Xu , An Zhang","doi":"10.1016/j.ic.2024.105150","DOIUrl":null,"url":null,"abstract":"<div><p>Given a digraph <span><math><mi>G</mi><mo>=</mo><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></math></span>, the <em>k</em>-path partition problem aims to find a minimum collection of vertex-disjoint directed paths, of order at most <em>k</em>, to cover all the vertices. The problem has various applications. Its special case on undirected graphs is NP-hard when <span><math><mi>k</mi><mo>≥</mo><mn>3</mn></math></span>, and has received much study recently from the approximation algorithm perspective. However, the general problem on digraphs is seemingly untouched in the literature. We fill the gap with the first <span><math><mi>k</mi><mo>/</mo><mn>2</mn></math></span>-approximation algorithm, based on a novel concept of enlarging walk to minimize the number of singletons. Secondly, for <span><math><mi>k</mi><mo>=</mo><mn>3</mn></math></span>, we define a second novel kind of enlarging walks to greedily reduce the number of 2-paths in the 3-path partition and propose an improved 13/9-approximation algorithm. Lastly, for any <span><math><mi>k</mi><mo>≥</mo><mn>7</mn></math></span>, we present an improved <span><math><mo>(</mo><mi>k</mi><mo>+</mo><mn>2</mn><mo>)</mo><mo>/</mo><mn>3</mn></math></span>-approximation algorithm built on the maximum path-cycle cover followed by a careful 2-cycle elimination process.</p></div>","PeriodicalId":54985,"journal":{"name":"Information and Computation","volume":"297 ","pages":"Article 105150"},"PeriodicalIF":0.8000,"publicationDate":"2024-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0890540124000154/pdfft?md5=0dde1df73fe58468b9370f19cea306f4&pid=1-s2.0-S0890540124000154-main.pdf","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information and Computation","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0890540124000154","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
Given a digraph , the k-path partition problem aims to find a minimum collection of vertex-disjoint directed paths, of order at most k, to cover all the vertices. The problem has various applications. Its special case on undirected graphs is NP-hard when , and has received much study recently from the approximation algorithm perspective. However, the general problem on digraphs is seemingly untouched in the literature. We fill the gap with the first -approximation algorithm, based on a novel concept of enlarging walk to minimize the number of singletons. Secondly, for , we define a second novel kind of enlarging walks to greedily reduce the number of 2-paths in the 3-path partition and propose an improved 13/9-approximation algorithm. Lastly, for any , we present an improved -approximation algorithm built on the maximum path-cycle cover followed by a careful 2-cycle elimination process.
期刊介绍:
Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such as
-Biological computation and computational biology-
Computational complexity-
Computer theorem-proving-
Concurrency and distributed process theory-
Cryptographic theory-
Data base theory-
Decision problems in logic-
Design and analysis of algorithms-
Discrete optimization and mathematical programming-
Inductive inference and learning theory-
Logic & constraint programming-
Program verification & model checking-
Probabilistic & Quantum computation-
Semantics of programming languages-
Symbolic computation, lambda calculus, and rewriting systems-
Types and typechecking