A dichotomy for succinct representations of homomorphisms

Christoph Berkholz, Harry Vinall-Smeeth

The task of computing homomorphisms between two finite relational structures $\mathcal{A}$ and $\mathcal{B}$ is a well-studied question with numerous applications. Since the set $\…