[论文解读] On Minimal Constraint Networks

Georg Gottlob|arXiv (Cornell University)|Mar 8, 2011

Constraint Satisfaction and Optimization参考文献 17被引用 11

一句话总结

本文证明了在最小二元约束网络中计算解是 NP-难的，证实了 Dechter 长期以来的猜想。此外，本文还确立了将单个约束分解为等价的 k-元约束网络（k ≥ 2）的 NP-难性，即使在双值约束下也成立，并基于域大小和 k 确定了可解性的分界线。

ABSTRACT

In a minimal binary constraint network, every tuple of a constraint relation can be extended to a solution. The tractability or intractability of computing a solution to such a minimal network was a long standing open question. Dechter conjectured this computation problem to be NP-hard. We prove this conjecture. We also prove a conjecture by Dechter and Pearl stating that for k\geq2 it is NP-hard to decide whether a single constraint can be decomposed into an equivalent k-ary constraint network. We show that this holds even in case of bi-valued constraints where k\geq3, which proves another conjecture of Dechter and Pearl. Finally, we establish the tractability frontier for this problem with respect to the domain cardinality and the parameter k.

研究动机与目标

• 解决关于在最小二元约束网络中计算解是否为可 tractable 或 NP-难的开放问题。
• 验证 Dechter 的猜想，即最小网络中的解计算是 NP-难的。
• 研究将单个约束分解为等价的 k-元约束网络（k ≥ 2）的复杂性。
• 确定以域基数和参数 k 为基准的分解问题的可解性分界线。
• 确认 Dechter 和 Pearl 关于即使在双值约束下，k-元分解的 NP-难性猜想。

提出的方法

• 通过已知的 NP-完全问题的归约，证明最小约束网络中解计算的 NP-难性。
• 构造约束网络，使得约束关系中的每个元组都必须可扩展为完整解，从而强制实现最小性。
• 利用约束满足问题（CSPs）的结构特性，分析连接分解与关系等价性。
• 应用复杂性理论技术，证明 k-元分解的难解性结果，特别是针对 k ≥ 3 和双值域的情况。
• 通过分析域大小与分解中变量数之间的相互作用，识别可解性分界线。
• 利用数据库理论和知识编译的结果，将约束网络与关系数据结构联系起来。

实验结果

研究问题

• RQ1 在最小二元约束网络中计算解的问题是否为 NP-难？
• RQ2 能否将单个约束分解为等价的 k-元约束网络（k ≥ 2），且该问题是否可 tractable？
• RQ3 k-元分解的 NP-难性是否在双值约束下依然成立？
• RQ4 以域大小和 k 为基准，k-元分解问题的可解性分界线是什么？
• RQ5 约束网络的结构最小性是否意味着固有的计算困难？

主要发现

• 证明了在最小二元约束网络中计算解的问题是 NP-难的，从而证实了 Dechter 的猜想。
• 判断单个约束是否可分解为等价的 k-元约束网络（k ≥ 2）的问题是 NP-难的。
• 即使所有约束均为双值，该 NP-难性依然成立，从而证实了 Dechter 和 Pearl 的猜想。
• 确立了 k-元分解问题的可解性分界线，表明可解性取决于域基数和 k 的取值。
• 结果表明，约束网络中的结构最小性并不意味着可解性，且连接分解在计算上依然困难。
• 研究结果可推广至关系数据库和知识编译领域，表明在结构识别与约束等价性方面存在固有的复杂性。