[数据结构] KMP的一个简单解释

1.概述

  KMP算法的关键是利用匹配失败后的信息,尽量减少模式串与主串的匹配次数以达到快速匹配的目的。

  给定两个字符串T和W,长度分别为m和n,判断W是否在T中出现,如果出现则返回出现的位置。常规方法是遍历T的每一个位置,然后从该位置开始和W进行匹配,但是这种方法的复杂度是O(mn)。kmp算法通过一个O(n)的预处理,使匹配的复杂度降为O(m+n)。

2.思路

我们要在

字符串T=“ABCDABCDABDE”中查找

字符串W="ABCDABD"出现的位置。

  很明显可以看出前6位都是匹配的,然而第7位不匹配,一般的做法就是从T[i](i从1到9)开始和W开始循环比较。直到i=4,也就是图2,比较成功返回下标4。

  这样比较无异效率很低,然而我们发现在字符串”ABCDAB”之中有两个”AB”,第一次比较失败之后,又循环比较了四次,把W字符串从第一个”AB”的位置移动到了第二个”AB”处(显然这四次比较毫无意义)。于是Knuth、Morris、Pratt这三个人就想了个办法去掉了这些无意义的比较。

  然而是怎么实现的呢?就要从W字符串的部分匹配值(相等的前缀和后缀)说起。

2.1部分匹配值

"前缀"指除了最后一个字符以外,一个字符串的全部头部组合;
"后缀"指除了第一个字符以外,一个字符串的全部尾部组合。

  “部分匹配值”就是”前缀”和”后缀”的最长的共有元素的长度。以W字符串”ABCDABD”为例:

“A”的前缀和后缀都为空集,共有元素的长度为0;

“AB”的前缀为[A],后缀为[B],共有元素的长度为0; 

“ABC”的前缀为[A, AB],后缀为[BC, C],共有元素的长度0; 

“ABCD”的前缀为[A, AB, ABC],后缀为[BCD, CD, D],共有元素的长度为0;

“ABCDA”的前缀为[A, AB, ABC, ABCD],后缀为[BCDA, CDA, DA, A],共有元素为”A”,长度为1;

“ABCDAB”的前缀为[A, AB, ABC, ABCD, ABCDA],后缀为[BCDAB, CDAB, DAB, AB, B],共有元素为”AB”,长度为2;

“ABCDABD”的前缀为[A, AB, ABC, ABCD, ABCDA, ABCDAB],后缀为[BCDABD, CDABD, DABD, ABD, BD, D],共有元素的长度为0。

从上面我们就得出了字符串W的部分匹配表:

 

我们把部分匹配表存放在一个next[]数组中,那部分匹配值究竟怎么用呢?

我们可以根据部分匹配值计算出向后移动的位数,避免了一位位的比较:

移动位数 = 已匹配的字符数 - 对应的部分匹配值

以图1中为例:

 前6位已经匹配(已匹配的字符数 =6)

 next[5] = 2 (对应的部分匹配值 = 2);

 

我们可以得出移动位数为 6-2=4位。

   可以看出next数组的作用,就是在我们匹配失败的时候,确定我们子串需要往后移动的距离,而避免我们的主串指针进行回退。这样可以保证主串在只遍历一遍的情况下找到子串。因此KMP算法的重点就是如何快速的求出这个next数组。

2.2 求next数组

  next数组是只与子串有关与主串无关的,它记录的是子串到每个字符处那个公共前缀(或后缀)的最大长度。

   假设我们已经求出的next[i-1] = j,即W从0到i-1处这段字符串中,最大的相等的前缀和后缀长度为j。

   那如何求得next[i]呢?

这是后就要分为两种情况了:

①、如果W[i]==W[j]

  显然前缀往后再加上一个字符之后依然会和后缀往后加上一个字符相等,此时

next[i] = next[i-1] + 1,即next[i] = j+1

②、如果W[i]!=W[j]

  那么 W[0-i]这段字符串 中,最大的相等的前缀和后缀的长度必然小于等于j。 (以前是j,现在加了一个不同字符,所以不可能大于j)。

  从上面的W字符串的前缀分析可以看出,短字符串的前缀必是长字符串前缀的子集

  既然长的匹配值不行了,我们只能回溯到短的匹配。把j下标循环向前(下标0方向)移动,直到W[j]==W[i]或者j==0为止(回到第一种情况)。

  那么j怎么移动呢?当前W[i]!=W[j],那么就求0到j-1的最长匹配值(next[j - 1]),再比较这个最长匹配串的末尾字符的下一位是否等于w[i],不相等再循环。

  

上代码:

 private static int[] getNextArray(String s){
           char[] ch = s.toCharArray();
           int i,j;
           int[] next = new int[ch.length];
           for(i = 1,j = 0; i < ch.length; i++){
               while(j > 0 && ch[i] != ch[j]){
                   j = next[j - 1];      //j <next[j - 1],所以向前移动
               }
               if(ch[i] == ch[j]){
                   j++;
               }
               next[i] = j;
           }
           return next;
       } 

W字符串”ABCDABD”为例,运行结果如下:

3.KMP

  其实进行next数组求解的过程,类似于主串和子串进行匹配的过程,只不过是在next数组求解过程中,是子串和子串自己进行比较而已。 

因此整个KMP算法的代码过程如下:

 /**
      * @param str1 被匹配的字符串
      * @param str2  子串
      * @return 布尔值
      */
     public static boolean kmp(String str1,String str2){
            char[] strA = str1.toCharArray();
            char[] strB = str2.toCharArray();
            int[] next = getNextArray(str2);
            int i,j;  //这里i是从0开始的
            for(i = 0,j = 0; i < strA.length; i++){
                while(j > 0 && strA[i] != strB[j])
                    j = next[j-1];
                if(strA[i] == strB[j]){
                    j++;
                }
               //匹配成功
                if(j == strB.length){
                    return true;
                }
            }
            return false;
        }
     private static int[] getNextArray(String s){
           char[] ch = s.toCharArray();
           int i,j;
           //数组初始全部为0,所以next[0]=0
           int[] next = new int[ch.length];
           for(i = 1,j = 0; i < ch.length; i++){
               while(j > 0 && ch[i] != ch[j]){
                   //j <next[j - 1],所以向前移动
                   j = next[j - 1];
               }
               if(ch[i] == ch[j]){
                   j++;
               }
               next[i] = j;
           }
           return next;
       }
     public static void main(String[] args) {
          String T ="ABCDABCDABDE";
          String W = "ABCDABD";
              System.out.println(kmp(T,W));
         }

运行结果:

时间: 2024-11-05 14:56:10

[数据结构] KMP的一个简单解释的相关文章

进程与线程的一个简单解释(转)

进程(process)和线程(thread)是操作系统的基本概念,但是它们比较抽象,不容易掌握. 最近,我读到一篇材料,发现有一个很好的类比,可以把它们解释地清晰易懂. 1. 计算机的核心是CPU,它承担了所有的计算任务.它就像一座工厂,时刻在运行. 2. 假定工厂的电力有限,一次只能供给一个车间使用.也就是说,一个车间开工的时候,其他车间都必须停工.背后的含义就是,单个CPU一次只能运行一个任务. 3. 进程就好比工厂的车间,它代表CPU所能处理的单个任务.任一时刻,CPU总是运行一个进程,其

进程与线程的一个简单解释

作者: 阮一峰 日期: 2013年4月24日 进程(process)和线程(thread)是操作系统的基本概念,但是它们比较抽象,不容易掌握. 最近,我读到一篇材料,发现有一个很好的类比,可以把它们解释地清晰易懂. 1. 计算机的核心是CPU,它承担了所有的计算任务.它就像一座工厂,时刻在运行. 2. 假定工厂的电力有限,一次只能供给一个车间使用.也就是说,一个车间开工的时候,其他车间都必须停工.背后的含义就是,单个CPU一次只能运行一个任务. 3. 进程就好比工厂的车间,它代表CPU所能处理的

网上看来的:进程与线程的一个简单解释《转载》

原文作者: 阮一峰  发布时间: 2013-05-07 19:28 http://kb.cnblogs.com/page/176246/ 进程(process)和线程(thread)是操作系统的基本概念,但是它们比较抽象,不容易掌握. 最近,我读到一篇材料,发现有一个很好的类比,可以把它们解释地清晰易懂. 1. 计算机的核心是CPU,它承担了所有的计算任务.它就像一座工厂,时刻在运行. 2. 假定工厂的电力有限,一次只能供给一个车间使用.也就是说,一个车间开工的时候,其他车间都必须停工.背后的含

【转】进程与线程的一个简单解释

原文连接:http://www.ruanyifeng.com/blog/2013/04/processes_and_threads.html 进程(process)和线程(thread)是操作系统的基本概念,但是它们比较抽象,不容易掌握. 最近,我读到一篇材料,发现有一个很好的类比,可以把它们解释地清晰易懂. 1. 计算机的核心是CPU,它承担了所有的计算任务.它就像一座工厂,时刻在运行. 2. 假定工厂的电力有限,一次只能供给一个车间使用.也就是说,一个车间开工的时候,其他车间都必须停工.背后

TCP/IP模型的一个简单解释

TCP/IP模型是互联网的基础. 想要理解互联网,就必须理解这个模型.但是,它不好懂,我就从来没有搞懂过. 前几天,BetterExplained上有一篇文章,很通俗地解释了这个模型.我读后有一种恍然大悟的感觉,第一次感到自己理解了互联网的总体架构. 下面,我按照自己的理解,写一下互联网到底是怎么搭建起来的.说得不对的地方,欢迎指正. 什么是TCP/IP模型? TCP/IP模型是一系列网络协议的总称,这些协议的目的,就是使计算机之间可以进行信息交换. 所谓"协议"可以理解成机器之间交谈

[转]进程与线程的一个简单解释

计算机的核心是CPU,它承担了所有的计算任务.它就像一座工厂,时刻在运行. 2. 假定工厂的电力有限,一次只能供给一个车间使用.也就是说,一个车间开工的时候,其他车间都必须停工.背后的含义就是,单个CPU一次只能运行一个任务. 3. 进程就好比工厂的车间,它代表CPU所能处理的单个任务.任一时刻,CPU总是运行一个进程,其他进程处于非运行状态. 4. 一个车间里,可以有很多工人.他们协同完成一个任务. 5. 线程就好比车间里的工人.一个进程可以包括多个线程. 6. 车间的空间是工人们共享的,比如

进程与线程的一个复杂解释

关于进程和线程,面试的时候被问了两次都没有答出来.第一次问完稍微看了下概念,并没有完全理解所以也没有记住,所以第二次被问到的时候也没回答出来o(╯□╰)o.. 所以这次把这个问题彻底解决一下. 标题是模仿阮一峰大大的"进程与线程的一个简单解释",见http://www.ruanyifeng.com/blog/2013/04/processes_and_threads.html,里面比喻得很形象. 定义 进程(英语:process),是计算机中已运行程序的实体.进程为曾经是分时系统的基本

KMP 算法简单解释

KMP 算法简单解释 ? 讲KMP算法,离不开BF,实际上,KMP就是BF升级版,主要流程和BF一样,就是在削除回溯上花了点功夫,利用Next数组来削除 <( ̄︶ ̄)[GO!] 1. 先看看BF算法(暴力破解) int Brute_force_1(const char *S, const char *T) { if (!S || !T) return -1; int lenS = strlen(S); int lenT = strlen(T); int i = 0; //主串下标索引 int j

数据结构学习1:实现一个简单的线性表功能

数据结构: 一个简单的线性表的实现 学习了数据结构有一段时间了,那是半年前老师课堂上讲的,最后由于一些原因,没能听到最后,前几天在写一些算法的时候,发现自己的数据结构还是太渣了,因此便又拿起了那本很有价值的数据结构的书,重新来啃这本厚厚的书,数据结构在我们编程中是非常的重要的,希望这次的学习能有一个好的开头,并且能在这个过程中有所得吧! 下面是我写的一个简单的线性表的实现: #include"stdafx.h" #include<iostream> using namesp