加权布尔#CSP的复杂度
计算复杂性
2009-02-23 v2 组合数学
摘要
本文给出了计算加权布尔约束满足问题实例配分函数复杂度的二分定理。该问题由一组可用于为问题实例的构型（可行解）分配权重的非负函数有限集F参数化。经典约束满足问题对应于0,1值函数的特例。我们证明，如果(1) F中的每个函数都是“乘积类型”的，或者(2) F中的每个函数都是“纯仿射”的，则配分函数（即所有构型的权重之和）可以在多项式时间内计算。对于任何其他固定集合F，计算配分函数是FP^{#P}-完全的。
引用
@article{arxiv.0704.3683,
title = {The Complexity of Weighted Boolean #CSP},
author = {Martin Dyer and Leslie Ann Goldberg and Mark Jerrum},
journal= {arXiv preprint arXiv:0704.3683},
year = {2009}
}
评论
Minor revision