{"title":"Dichotomies for tree minor containment with structural parameters","authors":"Tatsuya Gima , Soh Kumabe , Kazuhiro Kurita , Yuto Okada , Yota Otachi","doi":"10.1016/j.tcs.2024.114984","DOIUrl":null,"url":null,"abstract":"<div><div>The problem of determining whether a graph <em>G</em> contains another graph <em>H</em> as a minor, referred to as the <em>minor containment problem</em>, is a fundamental problem in the field of graph algorithms. While the problem is <span><math><mi>NP</mi></math></span>-complete in general, it can be tractable on some restricted graph classes. This study focuses on the case where both <em>G</em> and <em>H</em> are trees, known as the <em>tree minor containment problem</em>. Even in this case, the problem is known to be <span><math><mi>NP</mi></math></span>-complete. In contrast, polynomial-time algorithms are known for the case when both trees are caterpillars or when the maximum degree of <em>H</em> is a constant. Our research aims to clarify the boundary of tractability and intractability for the tree minor containment problem. Specifically, we provide complexity dichotomies for the problem based on three structural parameters: diameter, pathwidth, and path eccentricity.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1026 ","pages":"Article 114984"},"PeriodicalIF":0.9000,"publicationDate":"2024-11-22","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/S0304397524006017","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
The problem of determining whether a graph G contains another graph H as a minor, referred to as the minor containment problem, is a fundamental problem in the field of graph algorithms. While the problem is -complete in general, it can be tractable on some restricted graph classes. This study focuses on the case where both G and H are trees, known as the tree minor containment problem. Even in this case, the problem is known to be -complete. In contrast, polynomial-time algorithms are known for the case when both trees are caterpillars or when the maximum degree of H is a constant. Our research aims to clarify the boundary of tractability and intractability for the tree minor containment problem. Specifically, we provide complexity dichotomies for the problem based on three structural parameters: diameter, pathwidth, and path eccentricity.
确定一个图 G 是否包含另一个图 H 作为次要图的问题,称为次要图包含问题,是图算法领域的一个基本问题。虽然这个问题在一般情况下是 NP-完全的,但在某些受限的图类中是可以解决的。本研究侧重于 G 和 H 都是树的情况,即所谓的树次要包含问题。即使在这种情况下,该问题也是已知的 NP-完全问题。相比之下,已知的多项式时间算法适用于两棵树都是毛毛虫或 H 的最大度是常数的情况。我们的研究旨在澄清树小包含问题的可处理性和不可处理性的界限。具体来说,我们根据三个结构参数:直径、路径宽度和路径偏心率,为该问题提供了复杂性二分法。
期刊介绍:
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.