Wheeler DFA的LCP数组时空权衡
数据结构与算法
2024-08-20 v2
摘要
最近，Conte等人将最长公共前缀（LCP）数组从字符串推广到Wheeler DFA，并表明它可用于在Wheeler DFA上高效确定匹配统计[DCC 2023]。然而，存储LCP数组需要比特，为状态数，而Wheeler DFA的紧凑表示通常所需空间少得多。特别地，若字母表大小为常数，de Bruijn图的BOSS表示仅需线性比特数。本文中，我们提出一种采样技术，仅存储线性比特数即可在对数时间内访问LCP数组的一项。我们利用该技术为在Wheeler DFA上计算匹配统计提供时空权衡。此外，我们证明通过以线性比特数增强阶de Bruijn图的BOSS表示，我们可在关于对数级时间内导航底层变阶de Bruijn图，从而改进Boucher等人此前关于线性级的界[DCC 2015]。
引用
@article{arxiv.2306.05684,
title = {Space-time Trade-offs for the LCP Array of Wheeler DFAs},
author = {Nicola Cotumaccio and Travis Gagie and Dominik Köppl and Nicola Prezza},
journal= {arXiv preprint arXiv:2306.05684},
year = {2024}
}