[论文解读] Constant delay enumeration with FPT-preprocessing for conjunctive queries of bounded submodular width

Christoph Berkholz, Nicole Schweikardt|arXiv (Cornell University)|Mar 2, 2020

Complexity and Algorithms in Graphs被引用 11

一句话总结

本文证明了有界自由连通子模宽度的合取查询（CQs）可实现FPT预处理下的常数延迟枚举。通过扩展Marx的拆分过程并利用自由连通树分解，作者构建了一个数据结构，使得在FPT预处理时间后，能够以常数延迟高效且无重复地枚举查询结果。

ABSTRACT

Marx (STOC~2010, J.~ACM 2013) introduced the notion of submodular width of a conjunctive query (CQ) and showed that for any class $Φ$ of Boolean CQs of bounded submodular width, the model-checking problem for $Φ$ on the class of all finite structures is fixed-parameter tractable (FPT). Note that for non-Boolean queries, the size of the query result may be far too large to be computed entirely within FPT time. We investigate the free-connex variant of submodular width and generalise Marx's result to non-Boolean queries as follows: For every class $Φ$ of CQs of bounded free-connex submodular width, within FPT-preprocessing time we can build a data structure that allows to enumerate, without repetition and with constant delay, all tuples of the query result. Our proof builds upon Marx's splitting routine to decompose the query result into a union of results; but we have to tackle the additional technical difficulty to ensure that these can be enumerated efficiently.

研究动机与目标

• 将Marx针对有界子模宽度的布尔型CQs的固定参数可满足性结果，扩展至非布尔型CQs。
• 解决在不完全物化的情况下，高效枚举非布尔型CQs大规模结果集的挑战。
• 通过将常数延迟枚举结果从有界分数超树宽推广至有界子模宽度，弥合文献中的空白。
• 为非布尔型CQs提供在非环状或低树宽情况之外，实现常数延迟枚举与FPT预处理的可行性特征刻画。

提出的方法

• 将Marx的拆分过程适配，用于将查询结果分解为精炼结构上结果的并集。
• 引入自由连通子模宽度作为宽度度量，以确保高效分解与枚举。
• 为每个子查询构建自由连通树分解，以保持结构可 tractability。
• 通过仅使用树分解袋中相关原子，定义精炼查询与简化数据库。
• 利用Durand-Strozecki技巧，在分解组件之间实现无重复的结果枚举。
• 利用子模宽度参数与变量数量，界定了每个精炼结构的大小。

实验结果

研究问题

• RQ1 对于有界子模宽度的非布尔型合取查询，能否实现FPT预处理下的常数延迟枚举？
• RQ2 尽管结果集可能极大，自由连通子模宽度的变体是否足以确保高效枚举？
• RQ3 Marx的拆分技术能否被适配，以在跨多个子查询枚举结果时维持常数延迟？
• RQ4 CQ的何种结构特性可确保其结果在FPT预处理后可实现常数延迟枚举？
• RQ5 是否存在基于自由连通子模宽度的自连接自由CQs的二分法，特别是在有界子模宽度与无界自由连通子模宽度之间的灰色区域？

主要发现

• 对于任意有界自由连通子模宽度的合取查询类，均可实现FPT预处理下的常数延迟枚举。
• 每个精炼数据库结构的大小被界为 $ O(|\text{vars}(φ)|^2 m^{(1+δ)w}) $，其中 $ w $ 为自由连通子模宽度，$ m $ 为最大关系大小。
• 该分解确保 $ \llbracket\varphi\rrbracket^{\mathcal{A}} = \bigcup_{i\in[\ell]} \llbracket\psi_i\rrbracket^{\mathcal{C}_i} $，且每个 $ \psi_i $ 均为自由连通且无环的。
• 由于每个子查询 $ \psi_i $ 具有无环且自由连通的结构，因此可实现常数延迟枚举，从而通过并集实现整体常数延迟。
• 该方法还支持对任意输入元组在查询结果中是否存在的常数时间成员测试。
• 该结果与Marx针对自连接自由CQs的条件下界一致，表明该宽度度量对该类查询具有紧致性。