[论文解读] Beyond Hypertree Width: Decomposition Methods Without Decompositions

Hubie Chen, Víctor Dalmau|ArXiv.org|May 12, 2005

Constraint Satisfaction and Optimization参考文献 13被引用 8

一句话总结

本文引入了 coverwidth，这是一种针对约束满足问题（CSP）的新结构度量，它在无需显式分解的情况下推广了超树宽。通过组合性弹珠游戏框架，作者证明了具有有界 coverwidth 的 CSP 实例可在多项式时间内判定，从而确立了一个可 tractable 的类，该类包含有界超树宽，并可扩展至 Q-同态等价的结构。

ABSTRACT

The general intractability of the constraint satisfaction problem has motivated the study of restrictions on this problem that permit polynomial-time solvability. One major line of work has focused on structural restrictions, which arise from restricting the interaction among constraint scopes. In this paper, we engage in a mathematical investigation of generalized hypertree width, a structural measure that has up to recently eluded study. We obtain a number of computational results, including a simple proof of the tractability of CSP instances having bounded generalized hypertree width.

研究动机与目标

• 研究广义超树宽，这是一种此前未系统研究过的结构度量。
• 定义并分析 coverwidth，一种推广超树宽的新度量，且其上界不超过超树宽。
• 建立 coverwidth 与量化 CSP 的组合性弹珠游戏之间的联系。
• 证明有界 coverwidth 意味着 QCSP 的多项式时间可 tractable，从而推广了关于有界超树宽的已知结果。
• 证明有界 coverwidth 的可 tractable 性结果可扩展至与有界 coverwidth 结构 Q-同态等价的结构。

提出的方法

• 基于尊重量词语缀的完美消除序方案，为超图定义 coverwidth 度量。
• 引入量化 $k$-cover 游戏，这是针对具有混合量词语块的量化 CSP 的存在性 $k$-弹珠游戏的变体。
• 建立 Duplicator 在量化 $k$-cover 游戏中的获胜策略，当 coverwidth 不超过 $k$ 时，该策略等价于 $(p,\textbf{A})$ 到 $\textbf{B}$ 存在同态。
• 设计一种一致性算法，通过移除在全称量词约束下无法扩展为有效投影同态的元组，来扩展投影 $k$- 一致性。
• 利用弹珠游戏的刻画，证明该算法可正确在多项式时间内判定有界 coverwidth 的 QCSP 实例。
• 通过利用获胜策略在同态等价下的封闭性质，将结果扩展至 Q-同态等价结构。

实验结果

研究问题

• RQ1 能否定义一种比超树宽更一般的结构度量，同时仍能保证 CSP 的多项式时间可 tractable？
• RQ2 是否存在一种组合性博弈论刻画，用于有界 coverwidth，且无需显式分解？
• RQ3 有界超树宽的可 tractable 性是否可通过新结构参数扩展至更广泛的 CSP 实例类？
• RQ4 能否在不计算树分解或超树分解的情况下，设计有界 coverwidth 的一致性算法？
• RQ5 有界 coverwidth 的可 tractable 性结果是否可扩展至与有界 coverwidth 结构 Q-同态等价的结构？

主要发现

• coverwidth 是超树宽的自然推广，所有有界超树宽的超图也具有有界 coverwidth。
• 当 $(p,\textbf{A})$ 的 coverwidth 不超过 $k$ 时，量化 $k$-cover 游戏中 Duplicator 的获胜策略存在，当且仅当存在从 $(p,\textbf{A})$ 到 $\textbf{B}$ 的同态。
• 限制在 coverwidth 不超过 $k$ 的实例上的 QCSP 可在多项式时间内判定，推广了有界超树宽的可 tractable 性。
• 所提出的有界 coverwidth QCSP 一致性算法运行时间多项式，且无需显式计算分解。
• 可 tractable 性结果可扩展至所有与有界 coverwidth 结构 Q-同态等价的实例，形成一个稳健且最大的可 tractable 类。
• coverwidth 在数学上优雅且概念上简洁，表明其是结构 CSP 理论中一种自然且可能广泛应用的度量。