Given a text and a pattern over two types of symbols called constants and variables, the parameterizedpattern matching problem is to find all occurrences of substrings of the text that the pattern matches by substitu...
详细信息
ISBN:
(纸本)9783319731179;9783319731162
Given a text and a pattern over two types of symbols called constants and variables, the parameterizedpattern matching problem is to find all occurrences of substrings of the text that the pattern matches by substituting a variable in the text for each variable in the pattern, where the substitution should be injective. The function matching problem is a variant of it that lifts the injection constraint. In this paper, we discuss variants of those problems, where one can substitute a constant or a variable for each variable of the pattern. We give two kinds of algorithms for both problems, a convolution-based method and an extended KMP-based method, and analyze their complexity.
暂无评论