[论文解读] General and Fractional Hypertree Decompositions: Hard and Easy Cases

Wolfgang Fischl, Georg Gottlob+1 more|arXiv (Cornell University)|Nov 3, 2016

Algorithms and Data Compression参考文献 51被引用 14

一句话总结

本文证明了检查分数化超树宽（fhw）≤ k 以及广义超树宽（ghw）≤ 2 对于固定 k ≥ 2 的 NP-完全性，解决了长期存在的开放问题。此外，本文识别出若干可 tractable 的限制条件——如有界多重交集性质（BMIP）和有界交集性质（BIP）——这些条件可实现 fhw 与 ghw 的多项式时间计算或高效近似，为合取查询与约束满足问题（CSP）优化提供了实用算法。

ABSTRACT

Hypertree decompositions, as well as the more powerful generalized hypertree decompositions (GHDs), and the yet more general fractional hypertree decompositions (FHD) are hypergraph decomposition methods successfully used for answering conjunctive queries and for the solution of constraint satisfaction problems. Every hypergraph H has a width relative to each of these decomposition methods: its hypertree width hw(H), its generalized hypertree width ghw(H), and its fractional hypertree width fhw(H), respectively. It is known that hw(H) <= k can be checked in polynomial time for fixed k, while checking ghw(H) <= k is NP-complete for any k greater than or equal to 3. The complexity of checking fhw(H) <= k for a fixed k has been open for more than a decade. We settle this open problem by showing that checking fhw(H) <= k is NP-complete, even for k=2. The same construction allows us to prove also the NP-completeness of checking ghw(H) <= k for k=2. After proving these hardness results, we identify meaningful restrictions, for which checking for bounded ghw or fhw becomes tractable.

研究动机与目标

• 解决固定 k 时检查分数化超树宽（fhw）≤ k 是否可 tractable 的开放问题。
• 通过证明 ghw ≤ 2 的 NP-完全性，填补广义超树宽复杂度的空白。
• 识别出能确保 fhw 与 ghw 可 tractable 计算或良好近似的现实、非平凡超图限制条件。
• 在 BMIP 与 BIP 等结构约束下，为 fhw 提供多项式时间算法或近似方案。

提出的方法

• 通过从 3-SAT 的约化，构造一种保持宽度约束的构造方法，证明检查 fhw ≤ 2 和 ghw ≤ 2 的 NP-完全性。
• 引入有界多重交集性质（BMIP），即任意 c 条边的交集大小至多为 i，以定义可 tractable 的超图类。
• 利用有界 VC-维数与结构特性，限制边集对集合的破碎大小，从而实现宽度近似。
• 设计一种多项式时间算法，利用分数到整数边覆盖近似，在满足 BMIP 的超图上实现 fhw 的 O(k·log k) 近似。
• 应用有界交集性质（BIP）以实现 fhw 的任意接近的多项式时间近似。
• 利用有界度性质（BDP）通过限制边重叠与度数，确保 Check (FHD, k) 与 Check (GHD, k) 的可 tractable 性。

实验结果

研究问题

• RQ1 对于固定 k ≥ 2，检查 fhw(H) ≤ k 是否为 NP-完全？
• RQ2 检查 ghw(H) ≤ 2 是否为 NP-完全？
• RQ3 对超图施加有意义的结构限制，能否确保 fhw 与 ghw 的可 tractable 计算或近似？
• RQ4 有界多重交集性质（BMIP）是否能实现 fhw 的对数因子内多项式时间近似？
• RQ5 Grohe 与 Marx（2014）提出的特殊条件是否能导致 fhw 在该约束下的高效识别？

主要发现

• 对于所有 k ≥ 2，检查 fhw(H) ≤ k 为 NP-完全，解决了长达 15 年的开放问题。
• 检查 ghw(H) ≤ 2 为 NP-完全，填补了广义超树宽的最后一个开放情况。
• 有界多重交集性质（BMIP）可实现 fhw 的 O(k·log k) 多项式时间近似。
• 有界交集性质（BIP）可实现 fhw 的任意接近的多项式时间近似。
• 有界度性质（BDP）确保了 Check (FHD, k) 与 Check (GHD, k) 的可 tractable 性。
• 满足 BMIP 或 BIP 的超图在现实世界的合取查询与 CSP 中常见，验证了这些限制的实际相关性。