APPROXIMATE BOYER-MOORE STRING MATCHING

被引:48
|
作者
TARHIO, J
UKKONEN, E
机构
[1] Univ of Helsinki, Helsinki
关键词
STRING MATCHING; EDIT DISTANCE; BOYER-MOORE ALGORITHM; K-MISMATCHES PROBLEM; K-DIFFERENCES PROBLEM;
D O I
10.1137/0222018
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The Boyer-Moore idea applied in exact string matching is generalized to approximate string matching. Two versions of the problem are considered. The k mismatches problem is to find all approximate occurrences of a pattern string (length m) in a text string (length n) with at most k mismatches. The generalized Boyer-Moore algorithm is shown (under a mild independence assumption) to solve the problem in expected time O(kn(1/(m -k) + (k/c))), where c is the size of the alphabet. A related algorithm is developed for the k differences problem, where the task is to find all approximate occurrences of a pattern in a text with less-than-or-equal-to k differences (insertions, deletions, changes). Experimental evaluation of the algorithms is reported, showing that the new algorithms are often significantly faster than the old ones. Both algorithms are functionally equivalent with the Horspool version of the Boyer-Moore algorithm when k = 0.
引用
收藏
页码:243 / 260
页数:18
相关论文
共 50 条
  • [41] Boyer-Moore串查找JAVA算法
    秦殿英
    焦庆争
    安徽工业大学学报, 2001, (01) : 89 - 92
  • [42] A FORMALIZATION OF A SUBSET OF VHDL IN THE BOYER-MOORE LOGIC
    RUSSINOFF, DM
    FORMAL METHODS IN SYSTEM DESIGN, 1995, 7 (1-2) : 7 - 25
  • [43] THE BOYER-MOORE THEOREM PROVER AND ITS INTERACTIVE ENHANCEMENT
    BOYER, RS
    KAUFMANN, M
    MOORE, JS
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (02) : 27 - 62
  • [44] Analysis of Boyer-Moore-Horspool string-matching heuristic
    Mahmoud, HM
    Smythe, RT
    Regnier, M
    RANDOM STRUCTURES & ALGORITHMS, 1997, 10 (1-2) : 169 - 186
  • [45] Fingerprint Identification using Bozorth and Boyer-Moore Algorithm
    Supatmi, S.
    Sumitra, I. D.
    2ND INTERNATIONAL CONFERENCE ON INFORMATICS, ENGINEERING, SCIENCE, AND TECHNOLOGY (INCITEST 2019), 2019, 662
  • [46] Boyer-Moore串匹配算法的改进
    韩光辉
    曾诚
    计算机应用, 2014, 34 (03) : 865 - 868
  • [47] MODELING AND VERIFICATION OF TIMING CONDITIONS WITH THE BOYER-MOORE PROVER
    KINNIMENT, DJ
    KOELMANS, AM
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 111 - 127
  • [48] ON THE COMPARISON OF HOL AND BOYER-MOORE FOR FORMAL HARDWARE VERIFICATION
    ANGELO, CM
    VERKEST, D
    CLAESEN, L
    DEMAN, H
    FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (01) : 45 - 72
  • [49] MECHANICALLY VERIFYING CONCURRENT PROGRAMS WITH THE BOYER-MOORE PROVER
    GOLDSCHLAG, DM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 1005 - 1023
  • [50] A DESCRIPTION METHODOLOGY FOR PARAMETERIZED MODULES IN THE BOYER-MOORE LOGIC
    VERKEST, D
    VANDENBERGH, J
    CLAESEN, L
    DEMAN, H
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 37 - 57