{"title":"Smaller kernels for 3-leaf power modifications problems","authors":"Dekel Tsur","doi":"10.1016/j.tcs.2025.115483","DOIUrl":null,"url":null,"abstract":"<div><div>A graph <em>G</em> is a <em>3-leaf power</em> if there is a tree <em>T</em> and a bijective mapping <em>f</em> from <span><math><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> to the set of leaves of <em>T</em> such that <span><math><mo>(</mo><mi>u</mi><mo>,</mo><mi>v</mi><mo>)</mo><mo>∈</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> if and only if the distance in <em>T</em> between <span><math><mi>f</mi><mo>(</mo><mi>u</mi><mo>)</mo></math></span> and <span><math><mi>f</mi><mo>(</mo><mi>v</mi><mo>)</mo></math></span> is at most 3 for every distinct <span><math><mi>u</mi><mo>,</mo><mi>v</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. In the <span>3-Leaf Power Vertex Deletion</span> (resp., <span>3-Leaf Power Completion</span>) problem the input is a graph <em>G</em> and an integer <em>k</em>, and the goal is to decide whether <em>G</em> can be transformed into a 3-leaf power graph by deleting at most <em>k</em> vertices (resp., adding at most <em>k</em> edges). In this paper we give a kernel for <span>3-Leaf Power Vertex Deletion</span> with <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>6</mn></mrow></msup><mo>)</mo></math></span> vertices and a kernel for <span>3-Leaf Power Completion</span> with <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> vertices. Our results improve the previous <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>14</mn></mrow></msup><mo>)</mo></math></span>-vertices kernel for <span>3-Leaf Power Vertex Deletion</span> [Ahn et al., 2023 <span><span>[3]</span></span>] and the <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></math></span>-vertices kernel for <span>3-Leaf Power Completion</span> [Bessy et al., 2010 <span><span>[5]</span></span>].</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1055 ","pages":"Article 115483"},"PeriodicalIF":0.9000,"publicationDate":"2025-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397525004219","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
A graph G is a 3-leaf power if there is a tree T and a bijective mapping f from to the set of leaves of T such that if and only if the distance in T between and is at most 3 for every distinct . In the 3-Leaf Power Vertex Deletion (resp., 3-Leaf Power Completion) problem the input is a graph G and an integer k, and the goal is to decide whether G can be transformed into a 3-leaf power graph by deleting at most k vertices (resp., adding at most k edges). In this paper we give a kernel for 3-Leaf Power Vertex Deletion with vertices and a kernel for 3-Leaf Power Completion with vertices. Our results improve the previous -vertices kernel for 3-Leaf Power Vertex Deletion [Ahn et al., 2023 [3]] and the -vertices kernel for 3-Leaf Power Completion [Bessy et al., 2010 [5]].
一个图G是一个三叶幂,如果有一个树T和一个从V(G)到T的叶集合的射映射f,使得(u, V)∈E(G)当且仅当T中f(u)和f(V)之间的距离对于每个不同的u, V∈V(G)不大于3。在三叶幂顶点删除(3-Leaf Power Vertex Deletion)中。(3-Leaf Power Completion)问题,输入是一个图G和一个整数k,目标是通过删除最多k个顶点来决定G是否可以转换成一个3-Leaf Power graph。(最多添加k条边)。本文给出了O(k6)个顶点的3叶幂顶点删除核和O(k2)个顶点的3叶幂补全核。我们的结果改进了之前用于3叶功率顶点删除的O(k14)顶点核[Ahn等人,2023[3]]和用于3叶功率补全的O(k3)顶点核[Bessy等人,2010[3]]。
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.