The dictionary matching with gaps problem is to preprocess a dictionary D
of d gapped patterns P1,…,Pd over alphabet Σ, where each
gapped pattern Pi is a sequence of subpatterns separated by bounded
sequences of don't cares. Then, given a query text T of length n over
alphabet Σ, the goal is to output all locations in T in which a
pattern Pi∈D, 1≤i≤d, ends. There is a renewed current interest
in the gapped matching problem stemming from cyber security. In this paper we
solve the problem where all patterns in the dictionary have one gap with at
least α and at most β don't cares, where α and β are
given parameters. Specifically, we show that the dictionary matching with a
single gap problem can be solved in either O(dlogd+∣D∣) time and
O(dlogεd+∣D∣) space, and query time O(n(β−α)loglogdlog2min{d,log∣D∣}+occ), where occ is the number
of patterns found, or preprocessing time and space: O(d2+∣D∣), and query
time O(n(β−α)+occ), where occ is the number of patterns found.
As far as we know, this is the best solution for this setting of the problem,
where many overlaps may exist in the dictionary.Comment: A preliminary version was published at CPM 201