Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
On the exact complexity of string matching: lower bounds
Galil Z., Giancarlo R. SIAM Journal on Computing20 (6):1008-1020,1991.Type:Article
Date Reviewed: Jan 1 1993

The authors examine the problem of determining lower bounds on the number of string comparisons that must be performed in order to determine whether an m -character pattern p is present in an n -character text t, where n ≥ m . The alphabet on which the string comparisons are based has at least three characters. Binary alphabets are special cases and are not considered. The paper makes no presumption of specific algorithms by which the string comparisons are performed except that comparisons among individual characters in the text and pattern strings are performed.

The paper proves a number of theorems and lemmas that treat the following three cases:

  • The general online case, in which the original text is tested in a moving m -character window for as many occurrences as may be present.

  • The online case, in which the first occurrence of the pattern is sought. The searching ceases if a match is made.

  • The offline case, in which the entire n -character text is tested with the pattern to find all occurrences of the pattern.

Somewhat different values for the lower bounds are found for these cases, depending on the number of characters in the pattern and whether the number is even or odd. The paper reports an approximate lower bound of 4 n &slash; 3 that is a conservative estimate applicable to all three cases.

Reviewer:  Anthony J. Duben Review #: CR116123
Bookmark and Share
  Featured Reviewer  
 
Pattern Matching (F.2.2 ... )
 
 
Search Process (H.3.3 ... )
 
 
Design Methodology (I.5.2 )
 
 
Document and Text Editing (I.7.1 )
 
Would you recommend this review?
yes
no
Other reviews under "Pattern Matching": Date
Deterministic sampling
Vishkin U. SIAM Journal on Computing 20(1): 22-40, 1991. Type: Article
Jun 1 1992
Two-way string-matching
Crochemore M., Perrin D. (ed) Journal of the ACM 38(3): 650-674, 1991. Type: Article
Sep 1 1992
Alphabet independent two dimensional matching
Amir A., Benson G., Farach M.  Theory of computing (, Victoria, British Columbia, Canada, May 4-6, 1992)681992. Type: Proceedings
Jul 1 1993
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy