发动机 达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik） 莱布尼茨国际信息学会议录 1868-8969 2019-08-20 60:1 60:14 10.4230/LIPIcs公司。1960年5月20日 文章 安德烈·布拉托夫（Andrei A.Bulatov）。 1 斯坦尼斯拉夫·伊文 2 https://orcid.org/0000-0002-0263-159X 加拿大西蒙弗雷泽大学计算科学学院 英国牛津大学计算机科学系 本文研究了#CSP（C，-）形式的约束满足问题（CSP）的计数复杂性，其中的目标是从一类C结构和一个任意结构B中给定一个关系结构a，以找出从a到B的同态数。Flum和Grohe证明#CSP如果C具有有界树宽[FOCS'02]，则在多项式时间内可解。基于Grohe[JACM'07]关于决策CSP的工作，Dalmau和Jonsson随后表明，如果C是有界arity的关系结构的递归可枚举类，那么假设FPT！=#W[1]，#CSP（C，-）在多项式时间（甚至固定参数时间）内没有其他精确可解的情况[TCS'04]。我们证明了，假设FPT！=W[1]（在随机参数化约简下），对于满足某些一般条件的C，#CSP（C，-）对于无界树宽的C甚至是近似不可解的；也就是说，#CSP（C，-）没有固定参数可处理（因此也不是完全多项式）的随机化近似方案。特别地，我们的条件推广了C在取未成年人时是闭的情况。 https://drops.dagstuhl.de/storage/00lipics/lipics-vol138-mfcs2019/lipics.MFCS.2019.60/lipics.MFCS.2019.60.pdf 约束满足 近似计数 同态