[论文解读] The Complexity of Holant Problems over Boolean Domain with Non-negative Weights

Jiabao Lin, Hanpin Wang|arXiv (Cornell University)|Nov 3, 2016

Complexity and Algorithms in Graphs参考文献 28被引用 7

一句话总结

该论文在不假设辅助函数或对称性的前提下，首次为具有非负代数实数权重的布尔域上的Holant问题建立了完整的二分图定理。它引入了‘块秩一’条件作为可满足性的必要且充分条件，证明了Holant问题要么属于P，要么是#P-难的，且基于函数集的结构性质存在清晰的分离。

ABSTRACT

Holant problem is a general framework to study the computational complexity of counting problems. We prove a complexity dichotomy theorem for Holant problems over Boolean domain with non-negative weights. It is the first complete Holant dichotomy where constraint functions are not necessarily symmetric. Holant problems are indeed read-twice $\#$CSPs. Intuitively, some $\#$CSPs that are $\#$P-hard become tractable when restricting to read-twice instances. To capture them, we introduce the Block-rank-one condition. It turns out that the condition leads to a clear separation. If a function set $\mathcal{F}$ satisfies the condition, then $\mathcal{F}$ is of affine type or product type. Otherwise (a) $\mathrm{Holant}(\mathcal{F})$ is $\#$P-hard; or (b) every function in $\mathcal{F}$ is a tensor product of functions of arity at most 2; or (c) $\mathcal{F}$ is transformable to a product type by some real orthogonal matrix. Holographic transformations play an important role in both the hardness proof and the characterization of tractability.

研究动机与目标

• 建立布尔域上具有非负代数实数权重的Holant问题的完整复杂性二分图定理。
• 解决一个开放问题：在非对称且无辅助函数的Holant问题中，是否存在完整的二分图定理。
• 识别出一种结构性标准，用于将可满足的Holant问题与#P-难问题区分开来，即使在无对称性或一元函数假设的情况下亦成立。
• 将先前针对#CSP和对称Holant问题的二分图定理推广至更广泛的非对称、非负情形。

提出的方法

• 引入‘块秩一’条件作为布尔域上Holant问题可满足性的结构性标准。
• 证明‘块秩一’条件在可满足性方面既是必要也是充分的，利用其与向量表示及张量幂的关系。
• 利用一个非构造性引理（引理3.1）从张量幂中提取函数，从而简化困难性与等价性证明。
• 使用正交全息变换将复杂情形约化为实值函数问题，从而支持进一步的二分图分析。
• 建立非负情形下弱平衡与平衡的等价性，将其与先前的#CSP二分图理论联系起来。
• 应用#CSP复杂性理论中的结果，特别是强矩形性和弱平衡性标准，推导出最终的二分图定理。

实验结果

研究问题

• RQ1 当约束函数非对称且不假设存在辅助函数时，能否为布尔域上的Holant问题建立完整的二分图定理？
• RQ2 何种函数集的结构性条件可确保对应的Holant问题是可满足的而非#P-难的？
• RQ3 在无对称性假设下，‘块秩一’条件是否足以保证非负Holant问题的可满足性？
• RQ4 Holant问题的复杂性分类与#CSP的分类有何关联，特别是在非负情形下？
• RQ5 在非负权重的Holant问题背景下，能否证明#CSP中的弱平衡概念可推出平衡？

主要发现

• 在布尔域上具有非负代数实数权重的Holant问题中，‘块秩一’条件既是可满足性的必要条件也是充分条件。
• 若函数集满足‘块秩一’条件，则对应的Holant问题属于P，其关联的#CSP也属于P。
• 若函数集违反‘块秩一’条件，则Holant问题为#P-难，或#CSP为#P-难而Holant问题仍保持可满足性。
• 在非负情形下，弱平衡与平衡的概念等价，无需假设FP ≠ #P，从而简化了复杂性分类。
• 一个非构造性引理（引理3.1）可从张量幂中提取函数，从而简化了相关#CSP问题之间等价性的证明。
• 该结果推广了先前针对#CSP和对称Holant问题的二分图定理，首次为非对称、无辅助函数的非负权重Holant问题提供了完整的二分图定理。