{"title":"关于在独立集合之间寻找短重组序列","authors":"Akanksha Agrawal , Soumita Hait , Amer E. Mouawad","doi":"10.1016/j.jcss.2024.103578","DOIUrl":null,"url":null,"abstract":"<div><p><span>Token Sliding Optimization</span> asks whether there exists a sequence of at most <em>ℓ</em> steps that transforms independent set <em>S</em> into <em>T</em>, where at each step a token slides to an unoccupied neighboring vertex (while maintaining independence). In <span>Token Jumping Optimization</span>, we are instead allowed to jump from a vertex to any unoccupied vertex. Both problems are known to be <span>FPT</span> when parameterized by <em>ℓ</em> on nowhere dense graphs. In this work, we show that both problems are <span>FPT</span> for parameter <span><math><mi>k</mi><mo>+</mo><mi>ℓ</mi><mo>+</mo><mi>d</mi></math></span> on <em>d</em>-degenerate graphs as well as for parameter <span><math><mo>|</mo><mi>M</mi><mo>|</mo><mo>+</mo><mi>ℓ</mi><mo>+</mo><mi>Δ</mi></math></span> on graphs having a modulator <em>M</em> to maximum degree Δ. We complement these results by showing that for parameter <em>ℓ</em> both problems become hard already on 2-degenerate graphs. Finally, we show that using such families one can obtain a unified algorithm for the standard <span>Token Jumping</span> problem parameterized by <em>k</em> on degenerate and nowhere dense graphs.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"147 ","pages":"Article 103578"},"PeriodicalIF":1.1000,"publicationDate":"2024-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On finding short reconfiguration sequences between independent sets\",\"authors\":\"Akanksha Agrawal , Soumita Hait , Amer E. Mouawad\",\"doi\":\"10.1016/j.jcss.2024.103578\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p><span>Token Sliding Optimization</span> asks whether there exists a sequence of at most <em>ℓ</em> steps that transforms independent set <em>S</em> into <em>T</em>, where at each step a token slides to an unoccupied neighboring vertex (while maintaining independence). In <span>Token Jumping Optimization</span>, we are instead allowed to jump from a vertex to any unoccupied vertex. Both problems are known to be <span>FPT</span> when parameterized by <em>ℓ</em> on nowhere dense graphs. In this work, we show that both problems are <span>FPT</span> for parameter <span><math><mi>k</mi><mo>+</mo><mi>ℓ</mi><mo>+</mo><mi>d</mi></math></span> on <em>d</em>-degenerate graphs as well as for parameter <span><math><mo>|</mo><mi>M</mi><mo>|</mo><mo>+</mo><mi>ℓ</mi><mo>+</mo><mi>Δ</mi></math></span> on graphs having a modulator <em>M</em> to maximum degree Δ. We complement these results by showing that for parameter <em>ℓ</em> both problems become hard already on 2-degenerate graphs. Finally, we show that using such families one can obtain a unified algorithm for the standard <span>Token Jumping</span> problem parameterized by <em>k</em> on degenerate and nowhere dense graphs.</p></div>\",\"PeriodicalId\":50224,\"journal\":{\"name\":\"Journal of Computer and System Sciences\",\"volume\":\"147 \",\"pages\":\"Article 103578\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2024-08-23\",\"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/S0022000024000734\",\"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/S0022000024000734","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
摘要
令牌滑动优化(Token Sliding Optimization)询问是否存在一个最多 ℓ 步的序列,能将独立集 S 转变为 T,其中每一步都有一个令牌滑动到一个未被占用的相邻顶点(同时保持独立性)。在令牌跳转优化中,我们可以从一个顶点跳转到任何一个未被占用的顶点。已知这两个问题在无处密集图上以ℓ 为参数时都是 FPT 问题。在这项研究中,我们证明了在参数 k+ℓ+d 为 d 的畸变图上,以及参数 |M|+ℓ+Δ 为最大度数 Δ 的调制器 M 的图上,这两个问题都是 FPT。最后,我们证明了利用这些族,可以在退化图和无处密集图上获得以 k 为参数的标准令牌跳跃问题的统一算法。
On finding short reconfiguration sequences between independent sets
Token Sliding Optimization asks whether there exists a sequence of at most ℓ steps that transforms independent set S into T, where at each step a token slides to an unoccupied neighboring vertex (while maintaining independence). In Token Jumping Optimization, we are instead allowed to jump from a vertex to any unoccupied vertex. Both problems are known to be FPT when parameterized by ℓ on nowhere dense graphs. In this work, we show that both problems are FPT for parameter on d-degenerate graphs as well as for parameter on graphs having a modulator M to maximum degree Δ. We complement these results by showing that for parameter ℓ both problems become hard already on 2-degenerate graphs. Finally, we show that using such families one can obtain a unified algorithm for the standard Token Jumping problem parameterized by k on degenerate and nowhere dense graphs.
期刊介绍:
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.