{"title":"Connected feedback vertex set on AT-free graphs","authors":"Joydeep Mukherjee, Tamojit Saha","doi":"10.1007/s00236-024-00469-5","DOIUrl":null,"url":null,"abstract":"<div><p>A connected feedback vertex set of a graph is a connected subgraph of the graph whose removal makes the graph cycle free. In this paper, we provide an approximation algorithm for connected feedback vertex set in AT-free graphs. Given an <span>\\(\\alpha \\)</span>-approximate solution for feedback vertex set on 2-connected AT-free graph, our algorithm produces a solution of size <span>\\(((\\alpha +0.9091)OPT+6)\\)</span> for connected feedback vertex set on the same graph. The complexity of our algorithm is <span>\\(O(f(n)+(m+n))\\)</span>, where the time required to obtain the <span>\\(\\alpha \\)</span>-approximate solution is <i>O</i>(<i>f</i>(<i>n</i>)). Our result leads to the following two observations. The optimal feedback vertex set algorithm for AT-free graphs combined with our result provides an algorithm which produces a solution of size <span>\\((1.9091OPT+6)\\)</span> with running time <span>\\(O(n^8m^2)\\)</span> for 2-connected AT-free graphs. The 2-approximation algorithm for feedback vertex set in general graphs along with our result provides an algorithm which produces a solution of size <span>\\((2.9091OPT+6)\\)</span> with running time <span>\\(O(min\\{m(log(n)),n^2\\})\\)</span>. Using the same method we also obtain a <span>\\(((\\alpha +1)OPT+6)\\)</span>-approximation for this problem on general AT-free graphs. We note that, the complexity status of this problem is not known.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4000,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Informatica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00236-024-00469-5","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0
Abstract
A connected feedback vertex set of a graph is a connected subgraph of the graph whose removal makes the graph cycle free. In this paper, we provide an approximation algorithm for connected feedback vertex set in AT-free graphs. Given an \(\alpha \)-approximate solution for feedback vertex set on 2-connected AT-free graph, our algorithm produces a solution of size \(((\alpha +0.9091)OPT+6)\) for connected feedback vertex set on the same graph. The complexity of our algorithm is \(O(f(n)+(m+n))\), where the time required to obtain the \(\alpha \)-approximate solution is O(f(n)). Our result leads to the following two observations. The optimal feedback vertex set algorithm for AT-free graphs combined with our result provides an algorithm which produces a solution of size \((1.9091OPT+6)\) with running time \(O(n^8m^2)\) for 2-connected AT-free graphs. The 2-approximation algorithm for feedback vertex set in general graphs along with our result provides an algorithm which produces a solution of size \((2.9091OPT+6)\) with running time \(O(min\{m(log(n)),n^2\})\). Using the same method we also obtain a \(((\alpha +1)OPT+6)\)-approximation for this problem on general AT-free graphs. We note that, the complexity status of this problem is not known.
期刊介绍:
Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.
Topics of interest include:
• semantics of programming languages
• models and modeling languages for concurrent, distributed, reactive and mobile systems
• models and modeling languages for timed, hybrid and probabilistic systems
• specification, program analysis and verification
• model checking and theorem proving
• modal, temporal, first- and higher-order logics, and their variants
• constraint logic, SAT/SMT-solving techniques
• theoretical aspects of databases, semi-structured data and finite model theory
• theoretical aspects of artificial intelligence, knowledge representation, description logic
• automata theory, formal languages, term and graph rewriting
• game-based models, synthesis
• type theory, typed calculi
• algebraic, coalgebraic and categorical methods
• formal aspects of performance, dependability and reliability analysis
• foundations of information and network security
• parallel, distributed and randomized algorithms
• design and analysis of algorithms
• foundations of network and communication protocols.