本文讲述的是Boyer-Moore算法,Boyer-Moore算法作为字符串搜索算法,兴趣之下就想了解这个算法,发现这个算法一开始还挺难理解的,也许是我理解能力不是很好吧,花了小半天才看懂,看懂了过后就想分享下,因为觉得这个算法真的挺不错的,以前一直以为字符串搜索算法中KMP算很不错的了,没想到还有更好的,Boyer-Moore算法平均要比KMP快3-5倍。
下面是我对该算法的理解,参考了一些关于该算法的介绍,里面每一张图都画的很认真,希望能讲清楚问题,有什么错误、疑问或不懂的地方麻烦大家一定要提出来,共同学习进步!下面正文开始。
①由来介绍
在用于查找子字符串的算法当中,BM(Boyer-Moore)算法是目前被认为最高效的字符串搜索算法,它由Bob Boyer和J Strother Moore设计于1977年。 一般情况下,比KMP算法快3-5倍。该算法常用于文本编辑器中的搜索匹配功能,比如大家所熟知的GNU grep命令使用的就是该算法,这也是GNU grep比BSD grep快的一个重要原因~~~
为什么GNU grep如此之快。或许你能借鉴其中的一些思想运用到BSD grep中去。
#技巧1:GNU grep之所以快是因为它并不会去检查输入中的每一个字节。
#技巧2:GNU grep之所以快是因为它对那些的确需要检查的每个字节都执行非常少的指令(操作)。
GNU grep使用了非常著名的Boyer-Moore算法
GNU grep还展开了Boyer-Moore算法的内部循环,并建立了一个Boyer-Moore的delta表,这样它就不需要在每一个展开的步骤进行循环退出判断了。这样的结果就是,在极限情况下(in the limit),GNU grep在需要检查的每一个输入字节上所执行的x86指令不会超过3条(并且还跳过了许多字节)。
你可以看看由Andrew Hume和Daniel Sunday 1991年11月在“Software Practice & Experience”上发表的论文“Fast String Searching”,该文很好的讨论了Boyer-Moore算法的实现技巧,该文有免费的PDF在线版。(下面是百度云链接)
链接:http://pan.baidu.com/s/1kULPQbP 密码:en7g
一旦有了快速搜索,这时你会发现也需要同样快速的输入。
GNU grep使用了原生Unix输入系统调用并避免了在读取后对数据进行拷贝。
而且,GNU grep还避免了对输入进行分行,查找换行符会让grep减慢好几倍,因为要找换行符你就必须查看每个字节!
所以GNU grep没有使用基于行的输入,而是将原数据读入到一个大的缓冲区buffer,用Boyer-Moore算法对这个缓冲区进行搜索,只有在发现一个匹配之后才会去查找最近的换行符(某些命令参数,比如-n会禁止这种优化)。
GNU grep也尝试做一些非常困难的事情使内核也能避免处理输入的每个字节,比如使用mmap()而不是read()来进行文件输入。当时,用read()会使大部分Unix版本造成一些额外的拷贝。因为我已经不再GNU grep了,所以似乎mmap已经不再默认使用了,但是你仍然可以通过参数–mmap来启用它,至少在文件系统的buffer已经缓存了你的数据的情况下,mmap仍然要快一些:
1 $ time sh -c 'find . -type f -print | xargs grep -l 123456789abcdef' 2 real 0m1.530s 3 user 0m0.230s 4 sys 0m1.357s 5 $ time sh -c 'find . -type f -print | xargs grep --mmap -l 123456789abcdef' 6 real 0m1.201s 7 user 0m0.330s 8 sys 0m0.929s
[这里使用的输入是一个648M的MH邮件文件夹,包含大约41000条信息]
所以即使在今天,使用–mmap仍然可以提速20%以上。
总结:
– 使用Boyer-Moore算法(并且展开它的内层循环)。
– 使用原生系统调用来建立你的缓冲输入,避免在搜索之前拷贝输入字节。(无论如何,最好使用缓冲输出,因为在grep的常用场景中,输出的要比输入的少,所以输出缓冲拷贝的开销要小,并且可以节省许多这样小的无缓冲写操作。)
– 在找到一个匹配之前,不要查找换行符。
– 尝试做一些设置(比如页面对齐缓冲区,按页大小来读取块,选择性的使用mmap),这样可以使内核避免拷贝字节。
让程序变得更快的关键就是让它们做更少的事情。;-)
②主要特征
假设文本串text长度为n,模式串pattern长度为m,BM算法的主要特征为:
- 从右往左进行比较匹配(一般的字符串搜索算法如KMP都是从从左往右进行匹配);
- 算法分为两个阶段:预处理阶段和搜索阶段;
- 预处理阶段时间和空间复杂度都是是O(m+),是字符集大小,一般为256;
- 搜索阶段时间复杂度是O(mn);
- 当模式串是非周期性的,在最坏的情况下算法需要进行3n次字符比较操作;
- 算法在最好的情况下达到O(n / m),比如在文本串bn中搜索模式串am-1b ,只需要n/m次比较。
这些特征先让大家对该算法有个基本的了解,等看懂了算法再来看这些特征又会有些额外的收获。
③算法基本思想
常规的匹配算法移动模式串的时候是从左到右,而进行比较的时候也是从左到右的,基本框架是:
1 while(j <= strlen(text) - strlen(pattern)) 2 { 3 for (i = 0; i < strlen(pattern) && pattern[i] == text[i + j]; ++i); 4 if (i == strlen(pattern)) 5 { 6 Match; 7 break; 8 } 9 else 10 ++j; 11 }
而BM算法在移动模式串的时候是从左到右,而进行比较的时候是从右到左的,基本框架是:
1 while(j <= strlen(text) - strlen(pattern)) 2 { 3 for (i = strlen(pattern); i >= 0 && pattern[i] == text[i + j]; --i); 4 5 if (i < 0)) 6 { 7 Match; 8 break; 9 } 10 else 11 j += BM(); 12 }
BM算法的精华就在于BM(text, pattern),也就是BM算法当不匹配的时候一次性可以跳过不止一个字符。即它不需要对被搜索的字符串中的字符进行逐一比较,而会跳过其中某些部分。通常搜索关键字越长,算法速度越快。它的效率来自于这样的事实:对于每一次失败的匹配尝试,算法都能够使用这些信息来排除尽可能多的无法匹配的位置。即它充分利用待搜索字符串的一些特征,加快了搜索的步骤。
BM算法实际上包含两个并行的算法(也就是两个启发策略):坏字符算法(bad-character shift)和好后缀算法(good-suffix shift)。这两种算法的目的就是让模式串每次向右移动尽可能大的距离(即上面的BM()尽可能大)。
下面不直接书面解释这两个算法,为了更加通俗易懂,先用实例说明吧,这是最容易接受的方式。
④字符串搜索头脑风暴
大家来头脑风暴下:如何加快字符串搜索?举个很简单的例子,如下图所示,navie表示一般做法,逐个进行比对,从右向左,最后一个字符c与text中的d不匹配,pattern右移一位。但大家看一下这个d有什么特征?pattern中没有d,因此你不管右移1、2、3、4位肯定还是不匹配,何必花这个功夫呢?直接右移5(strlen(pattern))位再进行比对不是更好吗?好,就这样做,右移5位后,text中的b与pattern中的c比较,发现还是不同,这时咋办?b在pattern中有所以不能一下右移5位了,难道直接右移一位吗?No,可以直接将pattern中的b右移到text中b的位置进行比对,但是pattern中有两个b,右移哪个b呢?保险的办法是用最右边的b与text进行比对,为啥?下图说的很清楚了,用最左边的b太激进了,容易漏掉真正的匹配,图中用最右边的b后发现正好所有的都匹配成功了,如果用最左边的不就错过了这个匹配项吗?这个启发式搜索就是BM算法做的。
But, 如果遇到下面这样的情况,开始pattern中的c和text中的b不匹配,Ok,按上面的规则将pattern右移直至最右边的b与text的b对齐进行比对。再将pattern中的c与text中的c进行比对,匹配继续往左比对,直到位置3处pattern中的a与text中的b不匹配了,按上面讲的启发式规则应该将pattern中最右边的b与text的b对齐,可这时发现啥了?pattern走了回头路,干吗?当然不干,才不要那么傻,针对这种情况,只需要将pattern简单的右移一步即可,坚持不走回头路!
好了,这就是所谓的“坏字符算法”,简单吧,通俗易懂吧,上面用红色粗体字标注出来的b就是“坏字符”,即不匹配的字符,坏字符是针对text的。
BM难道就这么简单?就一个启发式规则就搞定了?当然不是了,大家再次头脑风暴一下,有没有其他加快字符串搜索的方法呢?比如下面的例子
一开始利用了坏字符算法一下移了4位,不错,接下来遇到了回头路,没办法只能保守移一位,但真的就只能移一位吗?No,因为pattern中前面其他位置也有刚刚匹配成功的后缀ab,那么将pattern前面的ab右移到text刚匹配成功的ab对齐继续往前匹配不是更好吗?这样就可以一次性右移两位了,很好的有一个启发式搜索规则啊。有人可能想:要是前面没已经匹配成功的后缀咋办?是不是就无效了?不完全是,这要看情况了,比如下面这个例子。
cbab这个后缀已经成功匹配,然后b没成功,而pattern前面也没发现cbab这样的串,这样就直接保守移一位?No,前面有ab啊,这是cbab后缀的一部分,也可以好好利用,直接将pattern前面的ab右移到text已经匹配成功的ab位置处继续往前匹配,这样一下子就右移了四位,很好。当然,如果前面完全没已经匹配成功的后缀或部分后缀,比如最前面的babac,那就真的不能利用了。
好了,这就是所谓的“好后缀算法”,简单吧,通俗易懂吧,上面用红色字标注出来的ab(前面例子)和cbab(上面例子)就是“好后缀”,好后缀是针对pattern的。
下面,最后再举个例子说明啥是坏字符,啥是好后缀。
主串 : mahtavaatalomaisema omalomailuun
模式串: maisemaomaloma
坏字符:主串中的“t”为坏字符。
好后缀:模式串中的aloma为“好后缀”。
BM就这么简单?是的,容易理解但并不是每个人都能想到的两个启发式搜索规则就造就了BM这样一个优秀的算法。那么又有个问题?这两个算法怎么运用,一下坏字符的,一下好后缀的,什么时候该用坏字符?什么时候该用好后缀呢?很好的问题,这就要看哪个右移的位数多了,比如上面的例子,一开始如果用好后缀的话只能移一位而用坏字符就能右移三位,此时当然选择坏字符算法了。接下来如果继续用坏字符则只能右移一位而用好后缀就能一下右移四位,这时候你说用啥呢?So,这两个算法是“并行”的,哪个大用哪个。
光用例子说明当然不够,太浅了,而且还不一定能完全覆盖所有情况,不精确。下面就开始真正的理论探讨了。
⑤BM算法理论讨论
(1)坏字符算法
当出现一个坏字符时, BM算法向右移动模式串, 让模式串中最靠右的对应字符与坏字符相对,然后继续匹配。坏字符算法有两种情况。
Case1:模式串中有对应的坏字符时,让模式串中最靠右的对应字符与坏字符相对(PS:BM不可能走回头路,因为若是回头路,则移动距离就是负数了,肯定不是最大移动步数了),如下图。
Case2:模式串中不存在坏字符,很好,直接右移整个模式串长度这么大步数,如下图。
(2)好后缀算法
如果程序匹配了一个好后缀, 并且在模式中还有另外一个相同的后缀或后缀的部分, 那把下一个后缀或部分移动到当前后缀位置。假如说,pattern的后u个字符和text都已经匹配了,但是接下来的一个字符不匹配,我需要移动才能匹配。如果说后u个字符在pattern其他位置也出现过或部分出现,我们将pattern右移到前面的u个字符或部分和最后的u个字符或部分相同,如果说后u个字符在pattern其他位置完全没有出现,很好,直接右移整个pattern。这样,好后缀算法有三种情况,如下图所示:
Case1:模式串中有子串和好后缀完全匹配,则将最靠右的那个子串移动到好后缀的位置继续进行匹配。
Case2:如果不存在和好后缀完全匹配的子串,则在好后缀中找到具有如下特征的最长子串,使得P[m-s…m]=P[0…s]。
Case3:如果完全不存在和好后缀匹配的子串,则右移整个模式串。
(3)移动规则
BM算法的移动规则是:
将3中算法基本框架中的j += BM(),换成j += MAX(shift(好后缀),shift(坏字符)),即
BM算法是每次向右移动模式串的距离是,按照好后缀算法和坏字符算法计算得到的最大值。
shift(好后缀)和shift(坏字符)通过模式串的预处理数组的简单计算得到。坏字符算法的预处理数组是bmBc[],好后缀算法的预处理数组是bmGs[]。
⑥BM算法具体执行
BM算法子串比较失配时,按坏字符算法计算pattern需要右移的距离,要借助bmBc数组,而按好后缀算法计算pattern右移的距离则要借助bmGs数组。下面讲下怎么计算bmBc[]和bmGs[]这两个预处理数组。
(1)计算坏字符数组bmBc[]
这个计算应该很容易,似乎只需要bmBc[i] = m – 1 – i就行了,但这样是不对的,因为i位置处的字符可能在pattern中多处出现(如下图所示),而我们需要的是最右边的位置,这样就需要每次循环判断了,非常麻烦,性能差。这里有个小技巧,就是使用字符作为下标而不是位置数字作为下标。这样只需要遍历一遍即可,这貌似是空间换时间的做法,但如果是纯8位字符也只需要256个空间大小,而且对于大模式,可能本身长度就超过了256,所以这样做是值得的(这也是为什么数据越大,BM算法越高效的原因之一)。
如前所述,bmBc[]的计算分两种情况,与前一一对应。
Case1:字符在模式串中有出现,bmBc[‘v’]表示字符v在模式串中最后一次出现的位置,距离模式串串尾的长度,如上图所示。
Case2:字符在模式串中没有出现,如模式串中没有字符v,则BmBc[‘v’] = strlen(pattern)。
写成代码也非常简单:
1 void PreBmBc(char *pattern, int m, int bmBc[]) 2 { 3 int i; 4 5 for(i = 0; i < 256; i++) 6 { 7 bmBc[i] = m; 8 } 9 10 for(i = 0; i < m - 1; i++) 11 { 12 bmBc[pattern[i]] = m - 1 - i; 13 } 14 }
计算pattern需要右移的距离,要借助bmBc数组,那么bmBc的值是不是就是pattern实际要右移的距离呢?No,想想也不是,比如前面举例说到利用bmBc算法还可能走回头路,也就是右移的距离是负数,而bmBc的值绝对不可能是负数,所以两者不相等。那么pattern实际右移的距离怎么算呢?这个就要看text中坏字符的位置了,前面说过坏字符算法是针对text的,还是看图吧,一目了然。图中v是text中的坏字符(对应位置i+j),在pattern中对应不匹配的位置为i,那么pattern实际要右移的距离就是:bmBc[‘v’] – m + 1 + i。
(2)计算好后缀数组bmGs[]
这里bmGs[]的下标是数字而不是字符了,表示字符在pattern中位置。
如前所述,bmGs数组的计算分三种情况,与前一一对应。假设图中好后缀长度用数组suff[]表示。
Case1:对应好后缀算法case1,如下图,j是好后缀之前的那个位置。
Case2:对应好后缀算法case2:如下图所示:
Case3:对应与好后缀算法case3,bmGs[i] = strlen(pattern)= m
这样就更加清晰了,代码编写也比较简单:
1 void PreBmGs(char *pattern, int m, int bmGs[]) 2 { 3 int i, j; 4 int suff[SIZE]; 5 6 // 计算后缀数组 7 suffix(pattern, m, suff); 8 9 // 先全部赋值为m,包含Case3 10 for(i = 0; i < m; i++) 11 { 12 bmGs[i] = m; 13 } 14 15 // Case2 16 j = 0; 17 for(i = m - 1; i >= 0; i--) 18 { 19 if(suff[i] == i + 1) 20 { 21 for(; j < m - 1 - i; j++) 22 { 23 if(bmGs[j] == m) 24 bmGs[j] = m - 1 - i; 25 } 26 } 27 } 28 29 // Case1 30 for(i = 0; i <= m - 2; i++) 31 { 32 bmGs[m - 1 - suff[i]] = m - 1 - i; 33 } 34 }
So easy? 结束了吗?还差一步呢,这里的suff[]咋求呢?
在计算bmGc数组时,为提高效率,先计算辅助数组suff[]表示好后缀的长度。
suff数组的定义:m是pattern的长度
看上去有些晦涩难懂,实际上suff[i]就是求pattern中以i位置字符为后缀和以最后一个字符为后缀的公共后缀串的长度。不知道这样说清楚了没有,还是举个例子吧:
i : 0 1 2 3 4 5 6 7
pattern: b c a b a b a b
当i=7时,按定义suff[7] = strlen(pattern) = 8
当i=6时,以pattern[6]为后缀的后缀串为bcababa,以最后一个字符b为后缀的后缀串为bcababab,两者没有公共后缀串,所以suff[6] = 0
当i=5时,以pattern[5]为后缀的后缀串为bcabab,以最后一个字符b为后缀的后缀串为bcababab,两者的公共后缀串为abab,所以suff[5] = 4
以此类推……
当i=0时,以pattern[0]为后缀的后缀串为b,以最后一个字符b为后缀的后缀串为bcababab,两者的公共后缀串为b,所以suff[0] = 1
这样看来代码也很好写:
1 void suffix(char *pattern, int m, int suff[]) 2 { 3 int i, j; 4 int k; 5 6 suff[m - 1] = m; 7 8 for(i = m - 2; i >= 0; i--) 9 { 10 j = i; 11 while(j >= 0 && pattern[j] == pattern[m - 1 - i + j]) j--; 12 13 suff[i] = i - j; 14 } 15 }
这样可能就万事大吉了,可是总有人对这个算法不满意,感觉太暴力了,于是有聪明人想出一种方法,对上述常规方法进行改进。基本的扫描都是从右向左,改进的地方就是利用了已经计算得到的suff[]值,计算现在正在计算的suff[]值。具体怎么利用,看下图:
i是当前正准备计算suff[]值的那个位置。
f是上一个成功进行匹配的起始位置(不是每个位置都能进行成功匹配的, 实际上能够进行成功匹配的位置并不多)。
g是上一次进行成功匹配的失配位置。
如果i在g和f之间,那么一定有P[i]=P[m-1-f+i];并且如果suff[m-1-f+i] < i-g, 则suff[i] = suff[m-1-f+i],这不就利用了前面的suff了吗。
PS:这里有些人可能觉得应该是suff[m-1-f+i] <= i – g,因为若suff[m-1-f+i] = i – g,还是没超过suff[f]的范围,依然可以利用前面的suff[],但这是错误的,比如一个极端的例子:
i :0 1 2 3 4 5 6 7 8 9
pattern:a a a a a b a a a a
suff[4] = 4,这里f=4,g=0,当i=3是,这时suff[m-1=f+i]=suff[8]=3,而suff[3]=4,两者不相等,因为上一次的失配位置g可能会在这次得到匹配。
好了,这样解释过后,代码也比较简单:
1 void suffix(char *pattern, int m, int suff[]) 2 { 3 int f, g, i; 4 suff[m - 1] = m; 5 g = m - 1; 6 for (i = m - 2; i >= 0; --i) 7 { 8 if (i > g && suff[i + m - 1 - f] < i - g) 9 suff[i] = suff[i + m - 1 - f]; 10 else 11 { 12 if (i < g) 13 g = i; 14 f = i; 15 while (g >= 0 && pattern[g] == pattern[g + m - 1 - f]) 16 --g; 17 suff[i] = f - g; 18 } 19 } 20 }
结束了?OK,可以说重要的算法都完成了,希望大家能够看懂,为了验证大家到底有没有完全看明白,下面出个简单的例子,大家算一下bmBc[]、suff[]和bmGs[]吧。
举例如下:
PS:这里也许有人会问:bmBc[‘b’]怎么等于2,它不是最后出现在pattern最后一个位置吗?按定义应该是0啊。请大家仔细看下bmBc的算法:
1 for(i = 0; i < m - 1; i++) 2 { 3 bmBc[pattern[i]] = m - 1 - i; 4 }
这里是i < m – 1不是i < m,也就是最后一个字符如果没有在前面出现过,那么它的bmBc值为m。为什么最后一位不计算在bmBc中呢?很容易想啊,如果记在内该字符的bmBc就是0,按前所述,pattern需要右移的距离bmBc[‘v’]-m+1+i=-m+1+i <= 0,也就是原地不动或走回头路,当然不干了,前面这种情况已经说的很清楚了,所以这里是m-1。
好了,所有的终于都讲完了,下面整合一下这些算法吧
1 #include2 #include <string.h> 3 4 #define MAX_CHAR 256 5 #define SIZE 256 6 #define MAX(x, y) (x) > (y) ? (x) : (y) 7 8 void BoyerMoore(char *pattern, int m, char *text, int n); 9 10 int main() 11 { 12 char text[256], pattern[256]; 13 14 while(1) 15 { 16 scanf("%s%s", text, pattern); 17 if(text == 0 || pattern == 0) break; 18 19 BoyerMoore(pattern, strlen(pattern), text, strlen(text)); 20 printf("\n"); 21 } 22 23 return 0; 24 } 25 26 void print(int *array, int n, char *arrayName) 27 { 28 int i; 29 printf("%s: ", arrayName); 30 for(i = 0; i < n; i++) 31 { 32 printf("%d ", array[i]); 33 } 34 printf("\n"); 35 } 36 37 void PreBmBc(char *pattern, int m, int bmBc[]) 38 { 39 int i; 40 41 for(i = 0; i < MAX_CHAR; i++) 42 { 43 bmBc[i] = m; 44 } 45 46 for(i = 0; i < m - 1; i++) 47 { 48 bmBc[pattern[i]] = m - 1 - i; 49 } 50 51 /* printf("bmBc[]: "); 52 for(i = 0; i < m; i++) 53 { 54 printf("%d ", bmBc[pattern[i]]); 55 } 56 printf("\n"); */ 57 } 58 59 void suffix_old(char *pattern, int m, int suff[]) 60 { 61 int i, j; 62 63 suff[m - 1] = m; 64 65 for(i = m - 2; i >= 0; i--) 66 { 67 j = i; 68 while(j >= 0 && pattern[j] == pattern[m - 1 - i + j]) j--; 69 70 suff[i] = i - j; 71 } 72 } 73 74 void suffix(char *pattern, int m, int suff[]) { 75 int f, g, i; 76 77 suff[m - 1] = m; 78 g = m - 1; 79 for (i = m - 2; i >= 0; --i) { 80 if (i > g && suff[i + m - 1 - f] < i - g) 81 suff[i] = suff[i + m - 1 - f]; 82 else { 83 if (i < g) 84 g = i; 85 f = i; 86 while (g >= 0 && pattern[g] == pattern[g + m - 1 - f]) 87 --g; 88 suff[i] = f - g; 89 } 90 } 91 92 // print(suff, m, "suff[]"); 93 } 94 95 void PreBmGs(char *pattern, int m, int bmGs[]) 96 { 97 int i, j; 98 int suff[SIZE]; 99 100 // 计算后缀数组 101 suffix(pattern, m, suff); 102 103 // 先全部赋值为m,包含Case3 104 for(i = 0; i < m; i++) 105 { 106 bmGs[i] = m; 107 } 108 109 // Case2 110 j = 0; 111 for(i = m - 1; i >= 0; i--) 112 { 113 if(suff[i] == i + 1) 114 { 115 for(; j < m - 1 - i; j++) 116 { 117 if(bmGs[j] == m) 118 bmGs[j] = m - 1 - i; 119 } 120 } 121 } 122 123 // Case1 124 for(i = 0; i <= m - 2; i++) 125 { 126 bmGs[m - 1 - suff[i]] = m - 1 - i; 127 } 128 129 // print(bmGs, m, "bmGs[]"); 130 } 131 132 void BoyerMoore(char *pattern, int m, char *text, int n) 133 { 134 int i, j, bmBc[MAX_CHAR], bmGs[SIZE]; 135 136 // Preprocessing 137 PreBmBc(pattern, m, bmBc); 138 PreBmGs(pattern, m, bmGs); 139 140 // Searching 141 j = 0; 142 while(j <= n - m) 143 { 144 for(i = m - 1; i >= 0 && pattern[i] == text[i + j]; i--); 145 if(i < 0) 146 { 147 printf("Find it, the position is %d\n", j); 148 j += bmGs[0]; 149 return; 150 } 151 else 152 { 153 j += MAX(bmBc[text[i + j]] - m + 1 + i, bmGs[i]); 154 } 155 } 156 157 printf("No find.\n"); 158 }
运行效果如下: