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.

Min Orderings and List Homomorphism Dichotomies for Graphs and Signed Graphs

List homomorphisms to separable signed graphs

Towards a dichotomy for the switch list homomorphism problem for signed graphs

Homomorphisms of signed planar graphs

Graph Isomorphism Restricted by Lists

Complexity of planar signed graph homomorphisms to cycles

Directed Hypercube Routing, a Generalized Lehman-Ron Theorem, and Monotonicity Testing

Mapping sparse signed graphs to $(K_{2k}, M)$

Dichotomy Theorems for Homomorphism Polynomials of Graph Classes

Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology

List-3-Coloring Ordered Graphs with a Forbidden Induced Subgraphs

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

Homomorphisms to Small Negative Even Cycles

Optimally Reconfiguring List and Correspondence Colourings

Minimal and Disjoint Negation Sets in Signed Graphs

List-3-Coloring ordered graphs with a forbidden induced subgraph

List covering of regular multigraphs with semi-edges

Signed projective cubes, a homomorphism point of view

Graphical Virtual Links and a Polynomial for Signed Cyclic Graphs

Complexity and polymorphisms for digraph constraint problems under some basic constructions