计数平面图同态的复杂性（域大小为3）。
摘要：计算复杂性：对于大小为3的域中的平面图同态计数问题，我们证明了一个复杂性二分定理。给定任何3x3的实对称矩阵H，定义从所有平面图G到Z_H(G)的图同态，我们完全根据矩阵H来分类该问题的计算复杂性。我们证明对于每个H，该问题要么是多项式时间可计算的，要么是#P-hard的。P-time可计算的情况包括在一般图上是P-time可计算的（已知完全分类），或者通过Valiant的全息算法通过匹配门来计算。我们还证明了关于一般域大小q的平面图同态的一些结果。该证明主要使用了分析论证。
作者：Jin-Yi Cai, Ashwin Maran
论文ID：2302.08570
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-02-20