arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2503.03488cs.DS
收藏

压缩与动态文本中的对数时间内部模式匹配查询

Logarithmic-Time Internal Pattern Matching Queries in Compressed and Dynamic Texts

Anouk Duyster, Tomasz Kociumaka

AI总结:

本文研究压缩与动态字符串上的内部模式匹配(IPM)查询,提出一种适用于任何平衡的基于重压缩的游程直线程序(RLSLP)的 $O(\log n)$ 时间查询算法,且无需预处理,可高效应用于动态字符串数据结构。

摘要:

文本 $T$ 上的内部模式匹配(IPM)查询,给定 $T$ 的两个片段 $X$ 和 $Y$ 且 $|Y|<2|X|$,要求计算 $X$ 在 $Y$ 中的所有精确出现。IPM 查询由 Kociumaka, Radoszewski, Rytter 和 Waleń [SODA'15 & SICOMP'24] 引入,他们证明了可以使用大小为 $O(n)$ 的数据结构在 $O(1)$ 时间内回答此类查询,并利用该结果回答关于 $T$ 片段的各种查询。在本工作中,我们研究压缩和动态字符串上的 IPM 查询。我们的结果是一个 $O(\log n)$ 时间的查询算法,适用于任何平衡的基于重压缩的游程直线程序(RLSLP)。特别地,它可以应用于 Kociumaka, Navarro 和 Prezza [IEEE TIT'23] 的 RLSLP 之上,其大小 $O\big(δ\log \frac{n\log σ}{δ\log n}\big)$ 作为文本长度 $n$、字母表大小 $σ$ 和子串复杂度 $δ$ 的函数是最优的(在所有文本表示中)。我们的过程不依赖于底层 RLSLP 的任何预处理,这使其可以直接应用于 Gawrychowski, Karczmarz, Kociumaka, Łącki 和 Sankowski [SODA'18] 的动态字符串数据结构之上,该结构以高概率支持对数时间的完全持久更新。

英文摘要:

Internal Pattern Matching (IPM) queries on a text $T$, given two fragments $X$ and $Y$ of $T$ such that $|Y|<2|X|$, ask to compute all exact occurrences of $X$ within $Y$. IPM queries have been introduced by Kociumaka, Radoszewski, Rytter, and Waleń [SODA'15 & SICOMP'24], who showed that they can be answered in $O(1)$ time using a data structure of size $O(n)$ and used this result to answer various queries about fragments of $T$. In this work, we study IPM queries on compressed and dynamic strings. Our result is an $O(\log n)$-time query algorithm applicable to any balanced recompression-based run-length straight-line program (RLSLP). In particular, one can use it on top of the RLSLP of Kociumaka, Navarro, and Prezza [IEEE TIT'23], whose size $O\big(δ\log \frac{n\log σ}{δ\log n}\big)$ is optimal (among all text representations) as a function of the text length $n$, the alphabet size $σ$, and the substring complexity $δ$. Our procedure does not rely on any preprocessing of the underlying RLSLP, which makes it readily applicable on top of the dynamic strings data structure of Gawrychowski, Karczmarz, Kociumaka, Łącki and Sankowski [SODA'18], which supports fully persistent updates in logarithmic time with high probability.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑