Huib Donkers, Bart M.P. Jansen , Jari J.H. de Kroon
{"title":"更快地找到隐蔽的树","authors":"Huib Donkers, Bart M.P. Jansen , Jari J.H. de Kroon","doi":"10.1016/j.jcss.2023.05.006","DOIUrl":null,"url":null,"abstract":"<div><p>We revisit the <em>k</em><span>-Secluded Tree</span> problem. Given a vertex-weighted undirected graph <em>G</em>, its objective is to find a maximum-weight induced subtree <em>T</em> whose open neighborhood has size at most <em>k</em>. We present a fixed-parameter tractable algorithm that solves the problem in time <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>O</mi><mo>(</mo><mi>k</mi><mi>log</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>, improving on a double-exponential running time from earlier work by Golovach, Heggernes, Lima, and Montealegre. Starting from a single vertex, our algorithm grows a <em>k</em>-secluded tree by branching on vertices in the open neighborhood of the current tree <em>T</em>. To bound the branching depth, we prove a structural result that can be used to identify a vertex that belongs to the neighborhood of any <em>k</em>-secluded supertree <span><math><msup><mrow><mi>T</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>⊇</mo><mi>T</mi></math></span> once the open neighborhood of <em>T</em> becomes sufficiently large. We extend the algorithm to enumerate compact descriptions of all maximum-weight <em>k</em>-secluded trees, which allows us to count them as well.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"138 ","pages":"Article 103461"},"PeriodicalIF":1.1000,"publicationDate":"2023-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Finding k-secluded trees faster\",\"authors\":\"Huib Donkers, Bart M.P. Jansen , Jari J.H. de Kroon\",\"doi\":\"10.1016/j.jcss.2023.05.006\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We revisit the <em>k</em><span>-Secluded Tree</span> problem. Given a vertex-weighted undirected graph <em>G</em>, its objective is to find a maximum-weight induced subtree <em>T</em> whose open neighborhood has size at most <em>k</em>. We present a fixed-parameter tractable algorithm that solves the problem in time <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>O</mi><mo>(</mo><mi>k</mi><mi>log</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>, improving on a double-exponential running time from earlier work by Golovach, Heggernes, Lima, and Montealegre. Starting from a single vertex, our algorithm grows a <em>k</em>-secluded tree by branching on vertices in the open neighborhood of the current tree <em>T</em>. To bound the branching depth, we prove a structural result that can be used to identify a vertex that belongs to the neighborhood of any <em>k</em>-secluded supertree <span><math><msup><mrow><mi>T</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>⊇</mo><mi>T</mi></math></span> once the open neighborhood of <em>T</em> becomes sufficiently large. We extend the algorithm to enumerate compact descriptions of all maximum-weight <em>k</em>-secluded trees, which allows us to count them as well.</p></div>\",\"PeriodicalId\":50224,\"journal\":{\"name\":\"Journal of Computer and System Sciences\",\"volume\":\"138 \",\"pages\":\"Article 103461\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2023-06-05\",\"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/S0022000023000594\",\"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/S0022000023000594","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
We revisit the k-Secluded Tree problem. Given a vertex-weighted undirected graph G, its objective is to find a maximum-weight induced subtree T whose open neighborhood has size at most k. We present a fixed-parameter tractable algorithm that solves the problem in time , improving on a double-exponential running time from earlier work by Golovach, Heggernes, Lima, and Montealegre. Starting from a single vertex, our algorithm grows a k-secluded tree by branching on vertices in the open neighborhood of the current tree T. To bound the branching depth, we prove a structural result that can be used to identify a vertex that belongs to the neighborhood of any k-secluded supertree once the open neighborhood of T becomes sufficiently large. We extend the algorithm to enumerate compact descriptions of all maximum-weight k-secluded trees, which allows us to count them as well.
期刊介绍:
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.