Fedor V. Fomin , Petr A. Golovach , William Lochet , Danil Sagunov , Saket Saurabh , Kirill Simonov
{"title":"Detours in directed graphs","authors":"Fedor V. Fomin , Petr A. Golovach , William Lochet , Danil Sagunov , Saket Saurabh , Kirill Simonov","doi":"10.1016/j.jcss.2023.05.001","DOIUrl":null,"url":null,"abstract":"<div><p>We study two “above guarantee” versions of the classical <span>Longest Path</span> problem on undirected and directed graphs and obtain the following results. In the first variant of <span>Longest Path</span> that we study, called <span>Longest Detour</span>, the task is to decide whether a graph has an <span><math><mo>(</mo><mi>s</mi><mo>,</mo><mi>t</mi><mo>)</mo></math></span>-path of length at least <span><math><msub><mrow><mi>dist</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>s</mi><mo>,</mo><mi>t</mi><mo>)</mo><mo>+</mo><mi>k</mi></math></span>. Bezáková et al. <span>[7]</span> proved that on undirected graphs the problem is fixed-parameter tractable (<span><math><mi>FPT</mi></math></span>). Our first main result establishes a connection between <span>Longest Detour</span> on directed graphs and 3- <span>Disjoint Paths</span> on directed graphs. Using these new insights, we design a <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>O</mi><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msup><mo>⋅</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span> time algorithm for the problem on directed planar graphs. Furthermore, the new approach yields a significantly faster <span><math><mi>FPT</mi></math></span> algorithm on undirected graphs. In the second variant of <span>Longest Path</span>, namely <span>Longest Path above Diameter</span>, the task is to decide whether the graph has a path of length at least <span><math><mi>diam</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mi>k</mi></math></span>. We obtain dichotomy results about <span>Longest Path above Diameter</span> on undirected and directed graphs.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"137 ","pages":"Pages 66-86"},"PeriodicalIF":1.1000,"publicationDate":"2023-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computer and System Sciences","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022000023000569","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
Abstract
We study two “above guarantee” versions of the classical Longest Path problem on undirected and directed graphs and obtain the following results. In the first variant of Longest Path that we study, called Longest Detour, the task is to decide whether a graph has an -path of length at least . Bezáková et al. [7] proved that on undirected graphs the problem is fixed-parameter tractable (). Our first main result establishes a connection between Longest Detour on directed graphs and 3- Disjoint Paths on directed graphs. Using these new insights, we design a time algorithm for the problem on directed planar graphs. Furthermore, the new approach yields a significantly faster algorithm on undirected graphs. In the second variant of Longest Path, namely Longest Path above Diameter, the task is to decide whether the graph has a path of length at least . We obtain dichotomy results about Longest Path above Diameter on undirected and directed graphs.
期刊介绍:
The Journal of Computer and System Sciences publishes original research papers in computer science and related subjects in system science, with attention to the relevant mathematical theory. Applications-oriented papers may also be accepted and they are expected to contain deep analytic evaluation of the proposed solutions.
Research areas include traditional subjects such as:
• Theory of algorithms and computability
• Formal languages
• Automata theory
Contemporary subjects such as:
• Complexity theory
• Algorithmic Complexity
• Parallel & distributed computing
• Computer networks
• Neural networks
• Computational learning theory
• Database theory & practice
• Computer modeling of complex systems
• Security and Privacy.