[论文解读] The Fine-Grained Complexity of Boolean Conjunctive Queries and Sum-Product Problems

Austen Z. Fan, Paraschos Koutris+1 more|arXiv (Cornell University)|Jan 1, 2023

Advanced Graph Theory Research被引用 2

一句话总结

本文引入了团嵌入幂（emb(H)）作为新度量，用于为任意半环上的布尔合取查询（BCQs）和和积问题建立紧致的、与半环无关的条件性下界。通过将k-团问题归约到任意超图查询结构，作者表明，对于包括环、Loomis-Whitney连接和弦图在内的许多查询类别，现有的组合算法（如PANDA）在多项式对数因子范围内是最优的。

ABSTRACT

We study the fine-grained complexity of evaluating Boolean Conjunctive Queries and their generalization to sum-of-product problems over an arbitrary semiring. For these problems, we present a general semiring-oblivious reduction from the k-clique problem to any query structure (hypergraph). Our reduction uses the notion of embedding a graph to a hypergraph, first introduced by Marx. As a consequence of our reduction, we can show tight conditional lower bounds for many classes of hypergraphs, including cycles, Loomis-Whitney joins, some bipartite graphs, and chordal graphs. These lower bounds have a dependence on what we call the clique embedding power of a hypergraph H, which we believe is a quantity of independent interest. We show that the clique embedding power is always less than the submodular width of the hypergraph, and present a decidable algorithm for computing it. We conclude with many open problems for future research.

研究动机与目标

• 弥合已知上界（例如PANDA）与布尔合取查询评估的条件性下界之间的差距。
• 开发一个通用框架，用于推导与底层半环无关的精细下界。
• 通过一种新的结构参数——团嵌入幂，刻画BCQs和和积问题的固有难度。
• 在标准精细复杂度假设下，为特定查询类别（如环、Loomis-Whitney连接和弦图）建立紧致下界。
• 探索团嵌入幂与子模宽度之间的关系，识别当前下界松散性的潜在来源。

提出的方法

• 引入团嵌入幂（emb(H)）的概念，定义为所有k中使得k-团可被嵌入超图H的上确界。
• 构建从k-团问题到任意超图查询的与半环无关的归约，适用于所有交换半环。
• 利用布尔k-团猜想和最小权重k-团猜想，推导查询评估时间的条件性下界。
• 证明该归约在所有半环下均保持困难性，从而可将下界转移至和积问题。
• 设计一种从超图查询到布尔查询的参数化归约，以分析运行时间权衡与困难性转移。
• 提出一种可判定算法用于计算emb(H)，确立其可计算性与理论重要性。

实验结果

研究问题

• RQ1 我们能否为布尔合取查询建立紧致的、组合性的下界，使其与PANDA算法的性能相匹配？
• RQ2 团嵌入幂（emb(H)）是否为查询复杂性的有意义且可判定的度量，能够捕捉和积问题的难度？
• RQ3 emb(H)与子模宽度（subw(H)）之间的关系在多大程度上成立？该关系能否进一步收紧？
• RQ4 与半环无关的归约是否可用于在不同数据库查询语义（如集合、多重集、热带语义）之间转移困难性结果？
• RQ5 是否存在当前最优算法（如PANDA）并非最优的查询类别？或者emb(H)与subw(H)之间的差距正是次优性的根源？

主要发现

• 团嵌入幂emb(H)始终小于或等于子模宽度subw(H)，且其计算是可判定的。
• 对于环、Loomis-Whitney连接和弦图，本文建立了紧致的条件性下界，其与PANDA算法的运行时间仅相差多项式对数因子。
• 从k-团到任意超图查询的归约是与半环无关的，意味着同一低界适用于任意交换半环上的和积问题。
• 本文表明，若布尔查询存在真正亚二次时间算法，则其超图对应查询也存在，反之亦然，该结论在参数化归约下成立。
• 对于船形查询（boat query），子模宽度为2，但团嵌入幂为7/4，表明当前下界与上界之间存在差距，暗示PANDA可能并非普遍最优，或需要更强的下界。
• 本工作表明，现有的困难性假设（如布尔k-团猜想）可被用于推导出一大类数据库查询的强而精细的下界。