Esther Galby, Dániel Marx, Philipp Schepper, Roohani Sharma, Prafullkumar Tale
{"title":"Domination and Cut Problems on Chordal Graphs with Bounded Leafage","authors":"Esther Galby, Dániel Marx, Philipp Schepper, Roohani Sharma, Prafullkumar Tale","doi":"10.1007/s00453-023-01196-y","DOIUrl":null,"url":null,"abstract":"<div><p>The leafage of a chordal graph <i>G</i> is the minimum integer <span>\\(\\ell \\)</span> such that <i>G</i> can be realized as an intersection graph of subtrees of a tree with <span>\\(\\ell \\)</span> leaves. We consider structural parameterization by the leafage of classical domination and cut problems on chordal graphs. Fomin, Golovach, and Raymond [ESA 2018, Algorithmica 2020] proved, among other things, that <span>Dominating Set</span> on chordal graphs admits an algorithm running in time <span>\\(2^{\\mathcal {O}(\\ell ^2)} \\cdot n^{\\mathcal {O}(1)}\\)</span>. We present a conceptually much simpler algorithm that runs in time <span>\\(2^{\\mathcal {O}(\\ell )} \\cdot n^{\\mathcal {O}(1)}\\)</span>. We extend our approach to obtain similar results for <span>Connected Dominating Set</span> and <span>Steiner Tree</span>. We then consider the two classical cut problems <span>MultiCut with Undeletable Terminals</span> and <span>Multiway Cut with Undeletable Terminals</span>. We prove that the former is <span>W</span>[1]-hard when parameterized by the leafage and complement this result by presenting a simple <span>\\(n^{\\mathcal {O}(\\ell )}\\)</span>-time algorithm. To our surprise, we find that <span>Multiway Cut with Undeletable Terminals</span> on chordal graphs can be solved, in contrast, in <span>\\(n^{{{\\mathcal {O}}}(1)}\\)</span>-time.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 5","pages":"1428 - 1474"},"PeriodicalIF":0.9000,"publicationDate":"2023-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-023-01196-y.pdf","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algorithmica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00453-023-01196-y","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 0
Abstract
The leafage of a chordal graph G is the minimum integer \(\ell \) such that G can be realized as an intersection graph of subtrees of a tree with \(\ell \) leaves. We consider structural parameterization by the leafage of classical domination and cut problems on chordal graphs. Fomin, Golovach, and Raymond [ESA 2018, Algorithmica 2020] proved, among other things, that Dominating Set on chordal graphs admits an algorithm running in time \(2^{\mathcal {O}(\ell ^2)} \cdot n^{\mathcal {O}(1)}\). We present a conceptually much simpler algorithm that runs in time \(2^{\mathcal {O}(\ell )} \cdot n^{\mathcal {O}(1)}\). We extend our approach to obtain similar results for Connected Dominating Set and Steiner Tree. We then consider the two classical cut problems MultiCut with Undeletable Terminals and Multiway Cut with Undeletable Terminals. We prove that the former is W[1]-hard when parameterized by the leafage and complement this result by presenting a simple \(n^{\mathcal {O}(\ell )}\)-time algorithm. To our surprise, we find that Multiway Cut with Undeletable Terminals on chordal graphs can be solved, in contrast, in \(n^{{{\mathcal {O}}}(1)}\)-time.
期刊介绍:
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.