归一化加权可满足性问题的可处理性取决于什么
摘要：权重反单调性和权重单调性满足问题在深度最多为t的归一化电路上，简称为sc wsat^-[t]和sc wsat^+[t]。这些问题以一种自然的方式模拟了反单调和单调命题公式的权重可满足性（包括权重反单调/单调sc cnf-sat），并且在参数化复杂性层次的定义中作为规范问题。我们对于这些问题与电路种属的参数化复杂性进行了刻画。对于sc wsat^-[t]，对于奇数t来说是W[t]-完全的，对于偶数t来说是W[t-1]-完全的，刻画是精确的：我们展示了如果电路的属于n^{o(1)}（n是电路中变量的数量），则sc wsat^-[t]是固定参数可解的，如果电路的属于n^{O(1)}则它与一般的sc wsat^-[t]问题具有相同的W-难度（即在属于电路上没有任何限制）。对于sc wsat^+[2]（即权重单调sc cnf-sat），它是W[2]-完全的，刻画也是精确的：我们展示了如果电路的属于n^{o(1)}则sc wsat^+[2]是固定参数可解的，如果电路的属于n^{O(1)}则它是W[2]-完全的。对于t > 2的sc wsat^+[t]，对于偶数t来说是W[t]-完全的，对于奇数t来说是W[t-1]-完全的，我们展示了如果电路的属于O(sqrt(logn))则它是固定参数可解的，如果电路的属于n^{O(1)}则它与一般的sc wsat^+[t]问题具有相同的W-难度。
作者：Iyad Kanj and Ge Xia
论文ID：1112.1040
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-12-06