{"title":"几乎聚类图和分裂图中支配集变量的参数化复杂度","authors":"Dishant Goyal , Ashwin Jacob , Kaushtubh Kumar , Diptapriyo Majumdar , Venkatesh Raman","doi":"10.1016/j.jcss.2025.103631","DOIUrl":null,"url":null,"abstract":"<div><div>We consider structural parameterizations of several variants of <span>Dominating Set</span> in the parameter ecology program. We give improved FPT algorithms and lower bounds under well-known conjectures for <span>Dominating Set</span> and its variants in graphs that are <em>k</em> vertices away from a cluster graph or a split graph. These are graphs in which there is a set of <em>k</em> vertices (called the modulator) whose deletion results in a cluster graph or a split graph. We also call <em>k</em> as the deletion distance (to the appropriate class of graphs). For example, we show that when parameterized by the deletion distance <em>k</em> to cluster graphs: <span>Dominating Set</span>, <span>Independent Dominating Set</span>, <span>Dominating Clique</span>, <span>Efficient Dominating Set</span> and <span>Total Dominating Set</span> can be solved in <span><math><msup><mrow><mn>3</mn></mrow><mrow><mi>k</mi></mrow></msup><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>-time. Additionally, when parameterized by the deletion distance <em>k</em> to split graphs, we prove that <span>Efficient Dominating Set</span> can be solved in <span><math><msup><mrow><mn>3</mn></mrow><mrow><mi>k</mi><mo>/</mo><mn>2</mn></mrow></msup><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>-time breaking the <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>k</mi></mrow></msup></math></span> barrier.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"150 ","pages":"Article 103631"},"PeriodicalIF":0.9000,"publicationDate":"2025-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Parameterized complexity of dominating set variants in almost cluster and split graphs\",\"authors\":\"Dishant Goyal , Ashwin Jacob , Kaushtubh Kumar , Diptapriyo Majumdar , Venkatesh Raman\",\"doi\":\"10.1016/j.jcss.2025.103631\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>We consider structural parameterizations of several variants of <span>Dominating Set</span> in the parameter ecology program. We give improved FPT algorithms and lower bounds under well-known conjectures for <span>Dominating Set</span> and its variants in graphs that are <em>k</em> vertices away from a cluster graph or a split graph. These are graphs in which there is a set of <em>k</em> vertices (called the modulator) whose deletion results in a cluster graph or a split graph. We also call <em>k</em> as the deletion distance (to the appropriate class of graphs). For example, we show that when parameterized by the deletion distance <em>k</em> to cluster graphs: <span>Dominating Set</span>, <span>Independent Dominating Set</span>, <span>Dominating Clique</span>, <span>Efficient Dominating Set</span> and <span>Total Dominating Set</span> can be solved in <span><math><msup><mrow><mn>3</mn></mrow><mrow><mi>k</mi></mrow></msup><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>-time. Additionally, when parameterized by the deletion distance <em>k</em> to split graphs, we prove that <span>Efficient Dominating Set</span> can be solved in <span><math><msup><mrow><mn>3</mn></mrow><mrow><mi>k</mi><mo>/</mo><mn>2</mn></mrow></msup><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>-time breaking the <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>k</mi></mrow></msup></math></span> barrier.</div></div>\",\"PeriodicalId\":50224,\"journal\":{\"name\":\"Journal of Computer and System Sciences\",\"volume\":\"150 \",\"pages\":\"Article 103631\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2025-02-03\",\"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/S0022000025000133\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"BUSINESS, FINANCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computer and System Sciences","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022000025000133","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
Parameterized complexity of dominating set variants in almost cluster and split graphs
We consider structural parameterizations of several variants of Dominating Set in the parameter ecology program. We give improved FPT algorithms and lower bounds under well-known conjectures for Dominating Set and its variants in graphs that are k vertices away from a cluster graph or a split graph. These are graphs in which there is a set of k vertices (called the modulator) whose deletion results in a cluster graph or a split graph. We also call k as the deletion distance (to the appropriate class of graphs). For example, we show that when parameterized by the deletion distance k to cluster graphs: Dominating Set, Independent Dominating Set, Dominating Clique, Efficient Dominating Set and Total Dominating Set can be solved in -time. Additionally, when parameterized by the deletion distance k to split graphs, we prove that Efficient Dominating Set can be solved in -time breaking the barrier.
期刊介绍:
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.