Equality on all #CSP Instances Yields Constraint Function Isomorphism via Interpolation and Intertwiners

Ben Young

A fundamental result in the study of graph homomorphisms is Lovász's theorem that two graphs are isomorphic if and only if they admit the same number of homomorphisms from every gr…