Abstract:The goal of this work is to give precise bounds on the counting complexity of a family of generalized coloring problems (list homomorphisms) on bounded-treewidth graphs. Given graphs G , H , and lists \(L(v)\subseteq V(H)\) for every \(v\in V(G)\) , a list homomorphism is a function \(f:V(G)\rightarrow V(H)\) that preserves the edges (i.e., \(uv\in E(G)\) implies \(f(u)f(v)\in E(H)\) ) and respects the lists (i.e., \(f(v)\in L(v))\) . Standard techniques show that if G is given with a tree decomposition of width t , then the number of list homomorphisms can be counted in time \(|V(H)|^t\cdot n^{\mathcal {O}(1)}\) . Our main result is determining, for every fixed graph H , how much the base \(|V(H)|\) in the running time can be improved. For a connected graph H , we define irr( H ) in the following way: if H has a loop or is nonbipartite, then irr( H ) is the maximum size of a set \(S\subseteq V(H)\) where any two vertices have different neighborhoods; if H is bipartite, then irr( H ) is the maximum size of such a set that is fully in one of the bipartition classes. For disconnected H , we define irr( H ) as the maximum of irr( C ) over every connected component C of H . It follows from earlier results that if irr( H )=1, then the problem of counting list homomorphisms to H is polynomial-time solvable, and otherwise it is #P-hard. We show that, for every fixed graph H , the number of list homomorphisms from (G,L) to H — can be counted in time \(\operatorname{irr}(H)^t\cdot n^{\mathcal {O}(1)}\) if a tree decomposition of G having width at most t is given in the input, and, — given that \(\operatorname{irr}(H)\ge 2\) , cannot be counted in time \((\operatorname{irr}(H)-\varepsilon)^t\cdot n^{\mathcal {O}(1)}\) for any \(\varepsilon \gt 0\) , even if a tree decomposition of G having width at most t is given in the input, unless the Counting Strong Exponential-Time Hypothesis (#SETH) fails. Thereby, we give a precise and complete complexity classification featuring matching upper and lower bounds for all target graphs with or without loops.

Ruling out FPT algorithms for Weighted Coloring on forests

Fuzzy α-minimum spanning tree problem: definition and solutions.

Weighted and locally bounded list-colorings in split graphs, cographs, and partial k-trees

An FPT algorithm for node-disjoint subtrees problems parameterized by treewidth

Arborescences and Shortest Path Trees when Colors Matter

Improved Approximation Algorithms for Weighted Edge Coloring of Graphs

Approximating maximum-size properly colored forests

Weighted Graph Colorings

A $\frac{5}{2}$-Approximation Algorithm for Coloring Rooted Subtrees of a Degree $3$ Tree

Coloring Down: $3/2$-approximation for special cases of the weighted tree augmentation problem

Tree Coloring: Random Order and Predictions

Algorithmic Applications of Tree-Cut Width

Conditionally Optimal Parallel Coloring of Forests

Counting List Homomorphisms from Graphs of Bounded Treewidth: Tight Complexity Bounds

Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem

Is Planted Coloring Easier than Planted Clique?

Trimming forests is hard (unless they are made of stars)

The game chromatic number of trees and forests

Forest formulas of discrete Green's functions

Max Edge Coloring of Trees

The $k$-path coloring problem in graphs with bounded treewidth: an application in integrated circuit manufacturing