Alphabet Dependence in Parameterized Matching
Loading...
Author(s)
Amir, Amihood
Farach-Colton, Martin
Muthukrishnan, S.
Advisor(s)
Editor(s)
Collections
Supplementary to:
Permanent Link
Abstract
The classical pattern matching paradigm is that of seeking occurrences of one string in another, where both strings are drawn from an alphabet set ∑. A recently introduced model is that of parameterized pattern matching; the main motivation for this scheme lies in software maintenance where programs are considered "identical" even if variables are different. Strings, under this model, additionally have symbols from a variable set Π and occurrences of one string in the other up to a renaming of the variables are sought.
In this paper we show that finding the occurrences of a m-length string in a n-length string under the parameterized pattern matching paradigm can be done in time O (n log π), where π = min (m, ∣Π∣); that is , independent of ∣∑∣. Additionally, we show that in general this dependence on ∣Π∣ is inherent to any algorithm for this problem in the comparison model – that is, our algorithm is optimal.
Sponsor
Date
1993
Extent
147501 bytes
Resource Type
Text
Resource Subtype
Technical Report