
arXiv: 2111.04543
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 $(\mathrm{tw},ω)$-bounded. While $(\mathrm{tw},ω)$-bounded graph classes are known to enjoy some good algorithmic properties related to clique and coloring problems, it is an interesting open problem whether $(\mathrm{tw},ω)$-boundedness also has useful algorithmic implications for problems related to independent sets. We provide a partial answer to this question by means of a new min-max graph invariant related to tree decompositions. We define the independence number of a tree decomposition $\mathcal{T}$ of a graph as the maximum independence number over all subgraphs of $G$ induced by some bag of $\mathcal{T}$. The tree-independence number of a graph $G$ is then defined as the minimum independence number over all tree decompositions of $G$. 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 will be 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].
34 pages; abstract has been shortened due to arXiv requirements. A previous version of this arXiv post has been reorganized into two parts; this is the first of the two parts (the second one is arXiv:2206.15092)
FOS: Computer and information sciences, weighted independent set, Discrete Mathematics (cs.DM), tree decomposition, [MATH] Mathematics [math], Trees, Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.), Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.), Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), tree-independence number, Combinatorics (math.CO), independence number, 05C85 (Primary) 05C05, 05C40, 05C69, 68Q25, 05C62 (Secondary), weighted independent packing, Computer Science - Discrete Mathematics
FOS: Computer and information sciences, weighted independent set, Discrete Mathematics (cs.DM), tree decomposition, [MATH] Mathematics [math], Trees, Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.), Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.), Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), tree-independence number, Combinatorics (math.CO), independence number, 05C85 (Primary) 05C05, 05C40, 05C69, 68Q25, 05C62 (Secondary), weighted independent packing, Computer Science - Discrete Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 13 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
