Esther Galby, Dániel Marx, Philipp Schepper, Roohani Sharma, Prafullkumar Tale
{"title":"有界叶弦图上的支配和切割问题","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":"{\"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}","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
摘要
弦图 G 的叶子数是最小整数(\ell \),使得 G 可以实现为具有 \(\ell \) 个叶子的树的子树的交集图。我们考虑了弦图上经典支配和切割问题的叶子结构参数化。Fomin, Golovach 和 Raymond [ESA 2018, Algorithmica 2020]证明,除其他外,弦图上的支配集(Dominating Set)的算法运行时间为 \(2^{\mathcal {O}(\ell ^2)} \cdot n^{/mathcal{O}(1)}/)。我们提出了一种概念上简单得多的算法,运行时间为 \(2^{\mathcal {O}(\ell )}\cdot n^{\mathcal {O}(1)}\).我们将扩展我们的方法,以获得连通支配集和斯坦纳树的类似结果。然后,我们考虑两个经典切割问题:不可删除终端的多路切割(MultiCut with Undeletable Terminals)和不可删除终端的多路切割(Multiway Cut with Undeletable Terminals)。我们证明了前者在以叶子为参数时是 W[1]-hard 的,并提出了一个简单的 \(n^{\mathcal {O}(\ell )}\)-time 算法来补充这一结果。令我们惊讶的是,我们发现在弦图上有不可删除终端的多向切割(Multiway Cut with Undeletable Terminals)可以在 \(n^{{\mathcal {O}}(1)}\)-time 内求解。
Domination and Cut Problems on Chordal Graphs with Bounded Leafage
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.