Bart M.P. Jansen , Jari J.H. de Kroon , Michał Włodarczyk
{"title":"枚举僻静无 F 子图和删除到分散图类的单指数 FPT 算法","authors":"Bart M.P. Jansen , Jari J.H. de Kroon , Michał Włodarczyk","doi":"10.1016/j.jcss.2024.103597","DOIUrl":null,"url":null,"abstract":"<div><div>The celebrated notion of important separators bounds the number of small <span><math><mo>(</mo><mi>S</mi><mo>,</mo><mi>T</mi><mo>)</mo></math></span>-separators in a graph which are ‘farthest from <em>S</em>’ in a technical sense. In this paper, we introduce a generalization of this powerful algorithmic primitive, tailored to undirected graphs, that is phrased in terms of <em>k-secluded</em> vertex sets: sets with an open neighborhood of size at most <em>k</em>. In this terminology, the bound on important separators says that there are at most <span><math><msup><mrow><mn>4</mn></mrow><mrow><mi>k</mi></mrow></msup></math></span> maximal <em>k</em>-secluded connected vertex sets <em>C</em> containing <em>S</em> but disjoint from <em>T</em>. We generalize this statement significantly: even when we demand that <span><math><mi>G</mi><mo>[</mo><mi>C</mi><mo>]</mo></math></span> avoids a finite set <span><math><mi>F</mi></math></span> of forbidden induced subgraphs, the number of such maximal subgraphs is <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>O</mi><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msup></math></span> and they can be enumerated efficiently. This enumeration algorithm allows us to give improved parameterized algorithms for <span>Connected</span> <em>k</em><span>-Secluded</span> <span><math><mi>F</mi></math></span><span>-Free Subgraph</span> and for deleting into scattered graph classes.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"148 ","pages":"Article 103597"},"PeriodicalIF":1.1000,"publicationDate":"2024-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Single-exponential FPT algorithms for enumerating secluded F-free subgraphs and deleting to scattered graph classes\",\"authors\":\"Bart M.P. Jansen , Jari J.H. de Kroon , Michał Włodarczyk\",\"doi\":\"10.1016/j.jcss.2024.103597\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>The celebrated notion of important separators bounds the number of small <span><math><mo>(</mo><mi>S</mi><mo>,</mo><mi>T</mi><mo>)</mo></math></span>-separators in a graph which are ‘farthest from <em>S</em>’ in a technical sense. In this paper, we introduce a generalization of this powerful algorithmic primitive, tailored to undirected graphs, that is phrased in terms of <em>k-secluded</em> vertex sets: sets with an open neighborhood of size at most <em>k</em>. In this terminology, the bound on important separators says that there are at most <span><math><msup><mrow><mn>4</mn></mrow><mrow><mi>k</mi></mrow></msup></math></span> maximal <em>k</em>-secluded connected vertex sets <em>C</em> containing <em>S</em> but disjoint from <em>T</em>. We generalize this statement significantly: even when we demand that <span><math><mi>G</mi><mo>[</mo><mi>C</mi><mo>]</mo></math></span> avoids a finite set <span><math><mi>F</mi></math></span> of forbidden induced subgraphs, the number of such maximal subgraphs is <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>O</mi><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msup></math></span> and they can be enumerated efficiently. This enumeration algorithm allows us to give improved parameterized algorithms for <span>Connected</span> <em>k</em><span>-Secluded</span> <span><math><mi>F</mi></math></span><span>-Free Subgraph</span> and for deleting into scattered graph classes.</div></div>\",\"PeriodicalId\":50224,\"journal\":{\"name\":\"Journal of Computer and System Sciences\",\"volume\":\"148 \",\"pages\":\"Article 103597\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2024-10-21\",\"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/S0022000024000928\",\"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/S0022000024000928","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
摘要
著名的重要分隔符概念限定了图中在技术意义上 "离 S 最远 "的小 (S,T) 分隔符的数量。在本文中,我们针对无向图引入了这一强大算法基本原理的广义化,用 k 个排除顶点集来表述:具有大小至多为 k 的开放邻域的集合。在这个术语中,重要分隔符的约束是指最多有 4k 个最大的 k-secluded连通顶点集 C,其中包含 S 但与 T 不相交。我们对这一声明进行了显著的概括:即使我们要求 G[C] 避免有限的禁止诱导子图集 F,这种最大子图的数量也是 2O(k),而且可以高效地枚举出来。有了这种枚举算法,我们就能给出改进的参数化算法,用于连接 k-Secluded F-Free Subgraph 和删除成分散图类。
Single-exponential FPT algorithms for enumerating secluded F-free subgraphs and deleting to scattered graph classes
The celebrated notion of important separators bounds the number of small -separators in a graph which are ‘farthest from S’ in a technical sense. In this paper, we introduce a generalization of this powerful algorithmic primitive, tailored to undirected graphs, that is phrased in terms of k-secluded vertex sets: sets with an open neighborhood of size at most k. In this terminology, the bound on important separators says that there are at most maximal k-secluded connected vertex sets C containing S but disjoint from T. We generalize this statement significantly: even when we demand that avoids a finite set of forbidden induced subgraphs, the number of such maximal subgraphs is and they can be enumerated efficiently. This enumeration algorithm allows us to give improved parameterized algorithms for Connectedk-Secluded-Free Subgraph and for deleting into scattered graph classes.
期刊介绍:
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.