paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Fine-Grained Complexity of Regular Path Queries

正则路径查询的细粒度复杂度
LMCS vol.Volume 19, Issue 42023匹配度 1/10 · 论文研究图数据库中正则路径查询的细粒度复杂度与枚举延迟,属于数据库与自动机理论,与用户关注的程序分析、LLM/Agent、浮点程序分析或贝叶斯程序分析均无直接交集。引用 5 inbox
Katrin Casel, Markus L. Schmid
crossref: 2026-09-10

AI 速览

一句话:系统刻画正则路径查询求值中乘积图方法可达到的复杂度上界,并给出细粒度条件下界。

正则路径查询(RPQ)用正则表达式 q 返回图数据库中由标签属于 L(q) 的路径相连的所有节点对。常用求值方法是构造 q 的 NFA 与数据库的乘积图(PG 方法),简单且高效,但其最优性尚不明确。本文在细粒度复杂度框架下系统研究 PG 方法能取得的上界,并给出条件下界;特别关注枚举与延迟界以及数据复杂度视角。主要发现是 PG 方法可达到最优或接近最优的算法,但枚举延迟较高(与数据库大小成线性)。为此,作者探索三条实现亚线性延迟的途径:超线性预处理、解集近似,以及限制 RPQ 类。

问题
研究正则路径查询(RPQ)求值的复杂度,特别是乘积图(PG)方法是否最优,以及枚举延迟能否达到亚线性。
方法
在细粒度复杂度框架下分析 PG 方法可达到的上界,并辅以条件下界;从枚举、延迟和数据复杂度角度进行考察。
评估
理论复杂度分析,给出上界、条件下界,以及实现亚线性枚举延迟的三种途径。
原文摘要(Abstract)

A regular path query (RPQ) is a regular expression q that returns all node pairs (u, v) from a graph database that are connected by an arbitrary path labelled with a word from L(q). The obvious algorithmic approach to RPQ-evaluation (called PG-approach), i.e., constructing the product graph between an NFA for q and the graph database, is appealing due to its simplicity and also leads to efficient algorithms. However, it is unclear whether the PG-approach is optimal. We address this question by thoroughly investigating which upper complexity bounds can be achieved by the PG-approach, and we complement these with conditional lower bounds (in the sense of the fine-grained complexity framework). A special focus is put on enumeration and delay bounds, as well as the data complexity perspective. A main insight is that we can achieve optimal (or near optimal) algorithms with the PG-approach, but the delay for enumeration is rather high (linear in the database). We explore three successful approaches towards enumeration with sub-linear delay: super-linear preprocessing, approximations of the solution sets, and restricted classes of RPQs.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot2179,
  title = {Fine-Grained Complexity of Regular Path Queries},
  author = {Katrin Casel and Markus L. Schmid},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 19, Issue 4},
  year = {2023},
  doi = {10.46298/lmcs-19(4:15)2023}
}