×

加权布尔值#CSP的复杂性。 (英语) Zbl 1191.68351号

摘要:针对加权布尔约束满足问题实例的配分函数计算的复杂性,给出了一个二分法定理。该问题由非负函数的有限集(mathcal{F})参数化,可用于为问题实例的配置(可行解)分配权重。经典约束满足问题对应于0,1值函数的特殊情况。我们证明了计算配分函数,即所有构型的权重之和,是完全的,除非(1)(mathcal{F})中的每个函数都是“乘积类型”,或者(2)(mathcal{F{)中每个函数是“纯仿射”。在其余情况下,计算配分函数的单位是P。

MSC公司:

65年第68季度 算法和问题复杂性分析
05C15号 图和超图的着色
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用