[论文解读] The complexity of counting solutions to Generalised Satisfiability Problems modulo k

John Faben|ArXiv.org|Sep 10, 2008

Advanced Graph Theory Research参考文献 10被引用 13

一句话总结

本文建立了关于模整數 $k$ 的广义可满足性问题解计数复杂性的二分定理，表明当所有约束均为仿射时，或当 $k=2$ 时约束集为 C-封闭时，该问题可在多项式时间内求解；否则，其为 $\#_k\text{P}$-完全。该结果将 Creignou 和 Hermann 的 $\#\text{P}$ 二分定理推广至模计数情形，仅在 $k=2$ 时对非仿射且非 C-封闭的约束集存在一个例外。

ABSTRACT

Generalised Satisfiability Problems (or Boolean Constraint Satisfaction Problems), introduced by Schaefer in 1978, are a general class of problem which allow the systematic study of the complexity of satisfiability problems with different types of constraints. In 1979, Valiant introduced the complexity class parity P, the problem of counting the number of solutions to NP problems modulo two. Others have since considered the question of counting modulo other integers. We give a dichotomy theorem for the complexity of counting the number of solutions to Generalised Satisfiability Problems modulo integers. This follows from an earlier result of Creignou and Hermann which gave a counting dichotomy for these types of problem, and the dichotomy itself is almost identical. Specifically, counting the number of solutions to a Generalised Satisfiability Problem can be done in polynomial time if all the relations are affine. Otherwise, except for one special case with k = 2, it is #_kP-complete.

研究动机与目标

• 确定广义可满足性问题模整数 $k$ 的解计数问题的计算复杂性。
• 将 Creignou 和 Hermann 的 $\#\text{P}$ 二分定理推广至模计数设置。
• 明确识别出模 $k$ 计数问题变得可 tractable 或保持困难的精确条件。
• 解决 $\#_k\text{P}$-完全性的阈值是否与经典 $\#\text{P}$-完全性在模计数情形下存在差异。

提出的方法

• 将复杂性类 $\#_k\text{P}$ 定义为计算非确定性图灵机在模 $k$ 意义下的接受路径数的函数问题类，其与 $\#\text{P}$ 类似。
• 使用模 $k$ 的保真归约以保持模 $k$ 意义下的解计数，从而在 $\#_k\text{P}$-完全问题之间建立归约关系。
• 利用约束集对基本函数（如 OR、XOR、F、T）的“忠实实现”概念，以传播复杂性下界。
• 通过从已知的 $\#_k\text{P}$-完全问题出发的归约证明复杂性下界，利用 C-封闭性与仿射封闭性等闭包性质。
• 证明：若一个约束集能实现 OR 或 XOR 函数，则对所有 $k$，有 $\#_k\text{SAT}(\mathcal{F})$ 为 $\#_k\text{P}$-难。
• 使用归纳法与提升引理（如引理 4.8 和 4.10）将复杂性从 $\#_{2^{k-1}}\text{P}$ 提升至 $\#_{2^k}\text{P}$，并从奇素数推广至合数模数。

实验结果

研究问题

• RQ1 在何种条件下，广义可满足性问题模 $k$ 的解计数是可 tractable 的？
• RQ2 对于任意 $k$，模计数的 $\#_k\text{P}$-完全性阈值是否与经典 $\#\text{P}$-完全性存在差异？
• RQ3 是否存在一种非平凡情形，使得模 $k$ 计数是容易的，即使模 2 计数是困难的？
• RQ4 能否将约束集的 $\#_k\text{P}$-难性从较小模数（如 $2^{k-1}$）提升至较大模数（如 $2^k$）？
• RQ5 C-封闭性与仿射封闭性等闭包性质如何影响模计数的复杂性？

主要发现

• 若约束集 $\mathcal{F}$ 中的所有约束均为仿射，则模 $k$ 的解计数问题在多项式时间内可解，与 $k$ 无关。
• 当 $k=2$ 时，若 $\mathcal{F}$ 为 C-封闭，则模 2 的解计数问题可 tractable，即使 $\mathcal{F}$ 不是仿射。
• 若 $\mathcal{F}$ 非仿射且 $k=2$，则 $\#_2\text{SAT}(\mathcal{F})$ 为 $\#_2\text{P}$-完全。
• 当 $k \geq 3$ 时，$\#_k\text{SAT}(\mathcal{F})$ 为 $\#_k\text{P}$-完全，除非 $\mathcal{F}$ 为仿射，或 $k=2$ 且 $\mathcal{F}$ 为 C-封闭。
• 该二分定理的唯一例外是当 $k=2$ 且 $\mathcal{F}$ 非 C-封闭但仍未达到 $\#_2\text{P}$-完全的情形——但该情况已被证明结构所排除。
• 复杂性在模提升下保持不变：若 $\#_{2^{k-1}}\text{SAT}(\mathcal{F} \cup \{\text{F}, \text{T}\})$ 为 $\#_{2^{k-1}}\text{P}$-难，则 $\#_{2^k}\text{SAT}(\mathcal{F})$ 也为 $\#_{2^k}\text{P}$-难。