常数一元约束与对称实权重计数约束满足问题
计算复杂性
2015-08-25 v2
摘要
（在布尔域上的）一元约束是从 {0,1} 到实数集的函数。在输入实例之外自由使用辅助一元约束已被证明有助于建立近似求解加权计数布尔约束满足问题（即 #CSPs）计算复杂性的完整分类。特别是，两个特殊的常数一元约束是任意约束降阶的关键，足以实现所需的分类。在精确计数模型中，由于可以使用任意非空约束集有效地消除这两个常数一元约束，因此通常假设它们总是可用的。相比之下，我们在近似计数模型中证明，至少其中一个可以被非空约束集有效地近似从而被近似消除。这一事实直接导致了从具有指定约束的 #CSPs 到由任意阶数的对称实值约束组成的任何给定 #CSPs 的高效多项式时间随机近似保持图灵归约（即 AP-归约）的构造，即使存在任意额外的一元约束。
引用
@article{arxiv.1303.1347,
title = {Constant Unary Constraints and Symmetric Real-Weighted Counting Constraint Satisfaction Problems},
author = {Tomoyuki Yamakami},
journal= {arXiv preprint arXiv:1303.1347},
year = {2015}
}
备注
10pt, A4, 21 pages. This is a complete version of the paper (under a slightly concise title) that appeared in the Proceedings of the 23rd International Symposium on Algorithms and Computation (ISAAC 2012), Taipei, Taiwan, December 19-21, 2012, Lecture Notes in Computer Science, Springer-Verlag, vol.7676, pp.237-246, 2012