The Complexity of Counting Surjective Homomorphisms and Compactions.
SODA '18: Symposium on Discrete Algorithms New Orleans Louisiana January, 2018(2019)
摘要
A homomorphism from a graph G to a graph H is a function from the vertices of G to the vertices of H that preserves edges. A homomorphism is surjective if it uses all of the vertices of H and it is a compaction if it uses all of the vertices of H and all of the non-loop edges of H. Hell and Nešetřil gave a complete characterisation of the complexity of deciding whether there is a homomorphism from an input graph G to a fixed graph H. A complete characterisation is not known for surjective homomorphisms or for compactions, though there are many interesting results. Dyer and Greenhill gave a complete characterisation of the complexity of counting homomorphisms from an input graph G to a fixed graph H. In this paper, we give a complete characterisation of the complexity of counting surjective homomorphisms from an input graph G to a fixed graph H and we also give a complete characterisation of the complexity of counting compactions from an input graph G to a fixed graph H.
The full version containing detailed proofs is available at http://arxiv.org/abs/1706.08786.
更多查看译文
关键词
counting complexity,graph homomorphisms,surjective homomorphisms,graph compactions
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络