{"title":"Treewidth versus clique number. II. Tree-independence number","authors":"Clément Dallard , Martin Milanič , Kenny Štorgel","doi":"10.1016/j.jctb.2023.10.006","DOIUrl":null,"url":null,"abstract":"<div><p>In 2020, we initiated a systematic study of graph classes in which the treewidth can only be large due to the presence of a large clique, which we call <span><math><mo>(</mo><mrow><mi>tw</mi></mrow><mo>,</mo><mi>ω</mi><mo>)</mo></math></span>-bounded. The family of <span><math><mo>(</mo><mrow><mi>tw</mi></mrow><mo>,</mo><mi>ω</mi><mo>)</mo></math></span>-bounded graph classes provides a unifying framework for a variety of very different families of graph classes, including graph classes of bounded treewidth, graph classes of bounded independence number, intersection graphs of connected subgraphs of graphs with bounded treewidth, and graphs in which all minimal separators are of bounded size. While Chaplick and Zeman showed in 2017 that <span><math><mo>(</mo><mrow><mi>tw</mi></mrow><mo>,</mo><mi>ω</mi><mo>)</mo></math></span>-bounded graph classes enjoy some good algorithmic properties related to clique and coloring problems, it is an interesting open problem to which extent <span><math><mo>(</mo><mrow><mi>tw</mi></mrow><mo>,</mo><mi>ω</mi><mo>)</mo></math></span>-boundedness has useful algorithmic implications for problems related to independent sets. We provide a partial answer to this question by identifying a sufficient condition for <span><math><mo>(</mo><mrow><mi>tw</mi></mrow><mo>,</mo><mi>ω</mi><mo>)</mo></math></span>-bounded graph classes to admit a polynomial-time algorithm for the Maximum Weight Independent Packing problem and, as a consequence, for the weighted variants of the Independent Set and Induced Matching problems.</p><p>Our approach is based on a new min-max graph parameter related to tree decompositions. We define the <em>independence number</em> of a tree decomposition <span><math><mi>T</mi></math></span> of a graph as the maximum independence number over all subgraphs of <em>G</em> induced by some bag of <span><math><mi>T</mi></math></span>. The <em>tree-independence number</em> of a graph <em>G</em> is then defined as the minimum independence number over all tree decompositions of <em>G</em>. Boundedness of the tree-independence number is a refinement of <span><math><mo>(</mo><mrow><mi>tw</mi></mrow><mo>,</mo><mi>ω</mi><mo>)</mo></math></span>-boundedness that is still general enough to hold for all the aforementioned families of graph classes. Generalizing a result on chordal graphs due to Cameron and Hell from 2006, we show that if a graph is given together with a tree decomposition with bounded independence number, then the Maximum Weight Independent Packing problem can be solved in polynomial time. Applications of our general algorithmic result to specific graph classes are given in the third paper of the series [Dallard, Milanič, and Štorgel, Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure].</p></div>","PeriodicalId":54865,"journal":{"name":"Journal of Combinatorial Theory Series B","volume":"164 ","pages":"Pages 404-442"},"PeriodicalIF":1.2000,"publicationDate":"2023-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0095895623000886/pdfft?md5=b1bea8202446f9b5f80995ccca2f2480&pid=1-s2.0-S0095895623000886-main.pdf","citationCount":"13","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Combinatorial Theory Series B","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0095895623000886","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 13
Abstract
In 2020, we initiated a systematic study of graph classes in which the treewidth can only be large due to the presence of a large clique, which we call -bounded. The family of -bounded graph classes provides a unifying framework for a variety of very different families of graph classes, including graph classes of bounded treewidth, graph classes of bounded independence number, intersection graphs of connected subgraphs of graphs with bounded treewidth, and graphs in which all minimal separators are of bounded size. While Chaplick and Zeman showed in 2017 that -bounded graph classes enjoy some good algorithmic properties related to clique and coloring problems, it is an interesting open problem to which extent -boundedness has useful algorithmic implications for problems related to independent sets. We provide a partial answer to this question by identifying a sufficient condition for -bounded graph classes to admit a polynomial-time algorithm for the Maximum Weight Independent Packing problem and, as a consequence, for the weighted variants of the Independent Set and Induced Matching problems.
Our approach is based on a new min-max graph parameter related to tree decompositions. We define the independence number of a tree decomposition of a graph as the maximum independence number over all subgraphs of G induced by some bag of . The tree-independence number of a graph G is then defined as the minimum independence number over all tree decompositions of G. Boundedness of the tree-independence number is a refinement of -boundedness that is still general enough to hold for all the aforementioned families of graph classes. Generalizing a result on chordal graphs due to Cameron and Hell from 2006, we show that if a graph is given together with a tree decomposition with bounded independence number, then the Maximum Weight Independent Packing problem can be solved in polynomial time. Applications of our general algorithmic result to specific graph classes are given in the third paper of the series [Dallard, Milanič, and Štorgel, Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure].
期刊介绍:
The Journal of Combinatorial Theory publishes original mathematical research dealing with theoretical and physical aspects of the study of finite and discrete structures in all branches of science. Series B is concerned primarily with graph theory and matroid theory and is a valuable tool for mathematicians and computer scientists.