马丁·戴尔;莱斯利·安·戈德伯格;马克·杰鲁姆 加权布尔值#CSP的复杂性。 (英语) Zbl 1191.68351号 SIAM J.计算。 38,第5期,1970-1986(2009). 摘要:针对加权布尔约束满足问题实例的配分函数计算的复杂性,给出了一个二分法定理。该问题由非负函数的有限集(mathcal{F})参数化,可用于为问题实例的配置(可行解)分配权重。经典约束满足问题对应于0,1值函数的特殊情况。我们证明了计算配分函数,即所有构型的权重之和,是完全的,除非(1)(mathcal{F})中的每个函数都是“乘积类型”,或者(2)(mathcal{F{)中每个函数是“纯仿射”。在其余情况下,计算配分函数的单位是P。 引用于39文件 MSC公司: 65年第68季度 算法和问题复杂性分析 05C15号 图和超图的着色 68T27型 人工智能中的逻辑 关键词:复杂性理论;计数;#P(P);约束满足 PDF格式BibTeX公司 XML格式引用 \textit{M.Dyer}等人,SIAM J.Compute。38,第5号,1970--1986(2009;Zbl 1191.68351) 全文: 内政部 arXiv公司 链接