[论文解读] On Polynomials Defined by Acyclic Conjunctive Queries and Weighted Counting Problems

Arnaud Durand, Stefan Mengel|arXiv (Cornell University)|Oct 19, 2011

Data Management and Algorithms被引用 4

一句话总结

本文研究了无环连接查询（ACQ）的加权计数问题，证明了对无量词ACQ进行加权解计数在多项式时间内是可 tractable 的。本文识别出一个针对量化ACQ的新参数，在标准复杂度假设下，该参数完全刻画了加权解计数的可 tractable 子类。

ABSTRACT

This paper is a study of weighted counting problems associated to acyclic conjunctive queries ($\ACQ$) and the polynomials they define. We prove that summing the weights of solutions of quantifier-free $\ACQ$ queries can be done in polynomial time. We also show that minimalistic extensions of the problem (introducing one quantified variable, considering disjunction or conjunction of two $\ACQ$ instances) lead to intractable problems. However, we introduce a new parameter for quantified queries that permits to isolate large island of tractability. We show that, up to a standard assumption from parameterized complexity, this parameter fully characterizes tractable subclasses for counting weighted solutions of $\ACQ$ queries.

研究动机与目标

• 分析与无环连接查询（ACQ）相关的加权计数问题的复杂度。
• 在将ACQ扩展至包含量词、析取或合取时，确定可 tractable 与不可 tractable 情况之间的边界。
• 提出并验证一个针对量化ACQ的新参数，以隔离可 tractable 子类。
• 在标准复杂度假设下，完整刻画ACQ中加权解计数的可 tractable 子类集合。

提出的方法

• 使用代数和逻辑结构形式化无环连接查询上的加权计数问题。
• 证明无量词ACQ实例在任意权重下均具有多项式时间可 tractable 性。
• 将ACQ扩展至包含一个量化变量、析取或合取，以分析复杂度的爆炸性增长。
• 为量化ACQ提出一个新颖参数，以捕捉可 tractable 子类。
• 应用参数化复杂度理论，证明在标准假设下，所提出的参数完全刻画了可 tractable 性。
• 使用逻辑分解和查询树分析，推导出可 tractable 性的结构条件。

实验结果

研究问题

• RQ1 当无量词存在时，无环连接查询上的加权计数是否可在多项式时间内求解？
• RQ2 当引入最小扩展（如添加一个量化变量）时，加权计数的复杂度会发生什么变化？
• RQ3 两个ACQ实例通过析取或合取组合后，是否仍能保持加权计数的可 tractable 性？
• RQ4 是否存在一个参数，可完全刻画量化ACQ加权计数的可 tractable 子类？
• RQ5 在标准复杂度假设下，所提出的参数是否恰好捕捉了ACQ加权计数的可 tractable 情况？

主要发现

• 无量词无环连接查询的加权计数可在多项式时间内求解。
• 在ACQ中引入单个量化变量会导致计数问题变得不可 tractable。
• 通过析取或合取组合两个ACQ实例也会导致计数问题变得不可 tractable。
• 为量化ACQ提出的新结构参数，可隔离出一大类可 tractable 的加权计数问题。
• 在参数化复杂度的标准假设下，该参数完全刻画了ACQ中加权解计数的可 tractable 子类。
• 研究结果以所提出的参数为基准，建立了可 tractable 性的紧密刻画，填补了关键的理论空白。