The complexity of weighted and unweighted #CSP

作者:

Highlights:

摘要

We give some reductions among problems in (nonnegative) weighted #CSP which restrict the class of functions that needs to be considered in computational complexity studies. Our reductions can be applied to both exact and approximate computation. In particular, we show that the recent dichotomy for unweighted #CSP can be extended to rational-weighted #CSP.

论文关键词:Counting,Constraint satisfaction,Complexity theory

论文评审过程:Received 15 May 2010, Revised 24 October 2011, Accepted 1 December 2011, Available online 8 December 2011.

论文官网地址:https://doi.org/10.1016/j.jcss.2011.12.002