[论文解读] Extremal Fitting Problems for Conjunctive Queries
本论文通过利用同态对偶性、边界结构和直积的结构表征，形式化并定义了极值拟合的结合查询（CQs），包括最一般、最具体以及唯一拟合的CQs。研究建立了这些极值CQs的紧致复杂度界限和指数级大小下界，关键结果表明：构造最一般拟合CQs需要3ExpTime时间，且可能需要双指数级大小；而唯一拟合CQs的验证可在PTime内完成，构造可在ExpTime内完成。
The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the notion of a fitting CQ, such as most-general fitting CQ, most-specific fitting CQ, and unique fitting CQ. We give structural characterizations of these notions in terms of (suitable refinements of) homomorphism dualities, frontiers, and direct products, which enable the construction of the refined fitting CQs when they exist. We also pinpoint the complexity of the associated existence and verification problems, and determine the size of fitting CQs. We study the same problems for UCQs and for the more restricted class of tree CQs.
研究动机与目标
- 为响应拟合CQs的非唯一性，形式化并表征极值拟合CQs，如最一般、最具体和唯一拟合的CQs。
- 从计算复杂度的角度，研究这些极值CQs的验证、存在性与构造问题。
- 确定极值拟合CQs的大小界限，尤其关注树CQs和CQs的并集（UCQs）的情形。
- 利用同态对偶性、边界结构和直积，提供结构表征，以实现高效构造与复杂度分析。
提出的方法
- 提出极值拟合CQs的正式定义：最一般、最具体、最一般CQs的基，以及唯一拟合CQs。
- 利用同态对偶性和边界结构，表征极值CQs的存在性与构造方法。
- 应用直积构造方法，分析查询包含关系与大小界限。
- 采用模拟与同态技术，验证对正例和负例的查询包含与非包含关系。
- 构建一族包含素数长度环的实例，以及一个复杂负例，以强制拟合CQs达到双指数级大小。
- 利用素数定理与环结构，确保仅当CQs具有足够大深度时，才能在不映射到负例的前提下拟合所有正例。
实验结果
研究问题
- RQ1最一般、最具体和唯一拟合CQs的结构表征是什么？
- RQ2验证、判定存在性与构造极值拟合CQs的计算复杂度是多少？
- RQ3极值拟合CQs的紧致大小界限是什么，尤其在树CQs情形下？
- RQ4这些极值CQs与同态对偶性和边界结构有何关联？
- RQ5极值拟合CQs能否高效构造？其大小存在何种限制？
主要发现
- 验证一个CQ是否为最具体拟合CQ的问题是DP完全的，其存在性问题是coNExpTime完全的。
- 最一般拟合CQs可在2ExpTime时间内构造，但其大小可能需要双指数级空间，树CQs的大小下界为2^2^n。
- 对于UCQs，验证唯一拟合CQs的问题是ExpTime完全的，构造问题位于2ExpTime，拟合CQs的大小下界为2Exp。
- 最一般拟合CQs的基的验证与构造问题是NExpTime完全的，大小下界为2Exp。
- 对于树CQs，每个拟合CQ必须包含深度至少为∏p_i - 1的完整二叉L,R,A树，从而对n个素数长度环的拟合CQs施加了2^2^n的大小下界。
- 唯一拟合CQs存在，其验证可在PTime内完成，构造可在ExpTime内完成，且至少需要指数级大小。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。