DAWGs for Parameterized Matching: Online Construction and Related Indexing Structures.
The 31st Annual Symposium on Combinatorial Pattern Matching (CPM2020),
LIPIcs Vol.161, pp.26:1-26:14
(2020), [peer-reviewed]
Event Date:
June 17-19, 2020
@ online
Abstract / 概要
Two strings $x$ and $y$ over $\Sigma \cup \Pi$ of equal length are said to parameterized match (p-match) if there is a renaming bijection $f:\Sigma \cup \Pi \to \Sigma \cup \Pi$ that is identity on $\Sigma$ and transforms $x$ to $y$ (or vice versa). The p-matching problem is to look for substrings in a text that p-match a given pattern. In this paper, we propose parameterized suffix automata (p-suffix automata) and parameterized directed acyclic word graphs (PDAWGs) which are the p-matching versions of suffix automata and DAWGs. While suffix automata and DAWGs are equivalent for standard strings, we show that p-suffix automata can have $\Theta(n^2)$ nodes and edges but PDAWGs have only $O(n)$ nodes and edges, where $n$ is the length of an input string. We also give $O(n |\Pi| \log{(|\Pi| + |\Sigma|)})$-time $O(n)$-space algorithm that builds the PDAWG in a left-to-right online manner. As a byproduct, it is shown that the parameterized suffix tree for the reversed string can also be built in the same time and space, in a right-to-left online manner.