首页
所有分类
TAGS
文字工具 EMOJI BIBLE
编程 Javascript

JavaScript中数据结构与算法(五)：经典KMP算法

Posted in Javascript onJune 19, 2015

KMP算法和BM算法

KMP是前缀匹配和BM后缀匹配的经典算法，看得出来前缀匹配和后缀匹配的区别就仅仅在于比较的顺序不同

前缀匹配是指：模式串和母串的比较从左到右，模式串的移动也是从 左到右

后缀匹配是指：模式串和母串的的比较从右到左，模式串的移动从左到右。

通过上一章显而易见BF算法也是属于前缀的算法，不过就非常霸蛮的逐个匹配的效率自然不用提了O(mn)，网上蛋疼的KMP是讲解很多，基本都是走的高大上路线看的你也是一头雾水，我试图用自己的理解用最接地气的方式描述

KMP

KMP也是一种优化版的前缀算法，之所以叫KMP就是Knuth、Morris、Pratt三个人名的缩写，对比下BF那么KMP的算法的优化点就在“每次往后移动的距离”它会动态的调整每次模式串的移动距离，BF是每次都+1，

KMP则不一定

如图BF与KMP前置算法的区别对比

JavaScript中数据结构与算法(五)：经典KMP算法

我通过图对比我们发现：

在文本串T中搜索模式串P，在自然匹配第6个字母c的时候发现二等不一致了，那么BF的方法，就是把整个模式串P移动一位，KMP则是移动二位.

BF的匹配方法我们是知道的，但是KMP为什么会移动二位，而不是一位或者三位四位呢？

这就上一张图我们讲解下，模式串P在匹配了ababa的时候都是正确的，当到c的时候才是错误，那么KMP算法的想法是：ababa是正确的匹配完成的信息，我们能不能利用这个信息，不要把"搜索位置"移回已经比较过的位置，继续把它向后移，这样就提高了效率。

那么问题来了, 我怎么知道要移动多少个位置？

这个偏移的算法KMP的作者们就给我们总结好了：

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

偏移算法只跟子串有关系，没文本串没毛线关系，所以这里需要特别注意了

那么我们怎么理解子串中已匹配的字符数与对应的部分匹配值？

已匹配的字符：

T : abababaabab

p : ababacb

p中红色的标记就是已经匹配的字符，这个很好理解

部分匹配值：

这个就是核心的算法了，也是比较难于理解的

假如：

T：aaronaabbcc

P：aaronaac

我们可以观察这个文本如果我们在匹配c的时候出错，我们下一个移动的位置就上个的结构来讲，移动到那里最合理？
aaronaabbcc

     aaronaac

那么就是说：在模式文本内部，某一段字符头尾都一样，那么自然过滤的时候可以跳过这一段内容了，这个思路也是合理的

 

知道了这个规律，那么给出来的部分匹配表算法如下：

首先，要了解两个概念："前缀"和"后缀"。 "前缀"指除了最后一个字符以外，一个字符串的全部头部组合；"后缀"指除了第一个字符以外，一个字符串的全部尾部组合。

"部分匹配值"就是"前缀"和"后缀"的最长的共有元素的长度”

我们看看aaronaac的如果是BF匹配的时候划分是这样的

BF的位移: a,aa,aar,aaro,aaron,aarona,aaronaa,aaronaac

那么KMP的划分呢？这里就要引入前缀与后缀了

我们先看看KMP部分匹配表的结果是这样的：

a   a  r  o  n  a  a  c

[0, 1, 0, 0, 0, 1, 2, 0]

肯定是一头雾水，不急我们分解下，前缀与后缀

匹配字符串 ：“Aaron”

前缀：A，Aa, Aar ,Aaro

后缀：aron,ron,on,n

移动的位置：其实就是针对每一个已匹配的字符做前缀与后缀的对比是否相等，然后算出共有的长度

部分匹配表的分解

KMP中的匹配表的算法，其中p表示前缀，n表示后缀，r表示结果

a,         p=>0, n=>0  r = 0
aa,        p=>[a]，n=>[a] , r = a.length => 1
aar,       p=>[a,aa], n=>[r,ar]  ,r = 0
aaro,      p=>[a,aa,aar], n=>[o,ra,aro] ,r = 0
aaron      p=>[a,aa,aar,aaro], n=>[n,on,ron,aron] ,r = 0
aarona,    p=>[a,aa,aar,aaro,aaron], n=>[a,na,ona,rona,arona] ,r = a.lenght = 1
aaronaa,   p=>[a,aa,aar,aaro,aaron,aarona], n=>[a,aa,naa,onaa,ronaa,aronaa] ,  r = Math.max(a.length,aa.length) = 2
aaronaac   p=>[a,aa,aar,aaro,aaron,aarona], n=>[c,ac,aac,naac,onaac,ronaac]  r = 0

类似BF算法一下，先分解每一次可能匹配的下标的位置先缓存起来，在匹配的时候通过这个《部分匹配表》来定位需要后移动的位数

所以最后aaronaac的匹配表的结果 0,1,0,0,0,1,2,0 就是这么来的

下面将会实现JS版的KMP，有2种

KMP实现（一）：缓存匹配表的KMP

KMP实现（二）：动态计算next的KMP

KMP实现（一）

匹配表

KMP算法中最重要的就是匹配表，如果不要匹配表那就是BF的实现，加上匹配表就是KMP了

匹配表决定了next下一个位移的计数

针对上面匹配表的规律，我们设计一个kmpGetStrPartMatchValue的方法

function kmpGetStrPartMatchValue(str) {
   var prefix = [];
   var suffix = [];
   var partMatch = [];
   for (var i = 0, j = str.length; i < j; i++) {
    var newStr = str.substring(0, i + 1);
    if (newStr.length == 1) {
     partMatch[i] = 0;
    } else {
     for (var k = 0; k < i; k++) {
      //前缀
      prefix[k] = newStr.slice(0, k + 1);
      //后缀
      suffix[k] = newStr.slice(-k - 1);
      //如果相等就计算大小,并放入结果集中
      if (prefix[k] == suffix[k]) {
       partMatch[i] = prefix[k].length;
      }
     }
     if (!partMatch[i]) {
      partMatch[i] = 0;
     }
    }
   }
   return partMatch;
  }

完全按照KMP中的匹配表的算法的实现，通过str.substring(0, i + 1) 分解a->aa->aar->aaro->aaron->aarona->aaronaa-aaronaac

然后在每一个分解中通过前缀后缀算出共有元素的长度

回退算法

KMP也是前置算法，完全可以把BF那一套搬过来，唯一修改的地方就是BF回溯的时候直接是加1，KMP在回溯的时候我们就通过匹配表算出这个next值即可

//子循环
for (var j = 0; j < searchLength; j++) {
  //如果与主串匹配
  if (searchStr.charAt(j) == sourceStr.charAt(i)) {
    //如果是匹配完成
    if (j == searchLength - 1) {
     result = i - j;
     break;
    } else {
     //如果匹配到了，就继续循环，i++是用来增加主串的下标位
     i++;
    }
  } else {
   //在子串的匹配中i是被叠加了
   if (j > 1 && part[j - 1] > 0) {
    i += (i - j - part[j - 1]);
   } else {
    //移动一位
    i = (i - j)
   }
   break;
  }
}

红色标记的就是KMP的核心点 next的值  = 已匹配的字符数 - 对应的部分匹配值

完整的KMP算法

<!doctype html><div id="test2"><div><script type="text/javascript">
 

  function kmpGetStrPartMatchValue(str) {
   var prefix = [];
   var suffix = [];
   var partMatch = [];
   for (var i = 0, j = str.length; i < j; i++) {
    var newStr = str.substring(0, i + 1);
    if (newStr.length == 1) {
     partMatch[i] = 0;
    } else {
     for (var k = 0; k < i; k++) {
      //取前缀
      prefix[k] = newStr.slice(0, k + 1);
      suffix[k] = newStr.slice(-k - 1);
      if (prefix[k] == suffix[k]) {
       partMatch[i] = prefix[k].length;
      }
     }
     if (!partMatch[i]) {
      partMatch[i] = 0;
     }
    }
   }
   return partMatch;
  }



function KMP(sourceStr, searchStr) {
  //生成匹配表
  var part     = kmpGetStrPartMatchValue(searchStr);
  var sourceLength = sourceStr.length;
  var searchLength = searchStr.length;
  var result;
  var i = 0;
  var j = 0;

  for (; i < sourceStr.length; i++) { //最外层循环，主串

    //子循环
    for (var j = 0; j < searchLength; j++) {
      //如果与主串匹配
      if (searchStr.charAt(j) == sourceStr.charAt(i)) {
        //如果是匹配完成
        if (j == searchLength - 1) {
         result = i - j;
         break;
        } else {
         //如果匹配到了，就继续循环，i++是用来增加主串的下标位
         i++;
        }
      } else {
       //在子串的匹配中i是被叠加了
       if (j > 1 && part[j - 1] > 0) {
        i += (i - j - part[j - 1]);
       } else {
        //移动一位
        i = (i - j)
       }
       break;
      }
    }

    if (result || result == 0) {
     break;
    }
  }


  if (result || result == 0) {
   return result
  } else {
   return -1;
  }
}

 var s = "BBC ABCDAB ABCDABCDABDE";
 var t = "ABCDABD";


 show('indexOf',function() {
  return s.indexOf(t)
 })

 show('KMP',function() {
  return KMP(s,t)
 })

 function show(bf_name,fn) {
  var myDate = +new Date()
  var r = fn();
  var div = document.createElement('div')
  div.innerHTML = bf_name +'算法,搜索位置:' + r + ",耗时" + (+new Date() - myDate) + "ms";
   document.getElementById("test2").appendChild(div);
 }


</script></div></div>

KMP（二）

第一种kmp的算法很明显，是通过缓存查找匹配表也就是常见的空间换时间了。那么另一种就是时时查找的算法，通过传递一个具体的完成字符串，算出这个匹配值出来，原理都一样

生成缓存表的时候是整体全部算出来的，我们现在等于只要挑其中的一条就可以了，那么只要算法定位到当然的匹配即可

next算法

function next(str) {
  var prefix = [];
  var suffix = [];
  var partMatch;
  var i = str.length
  var newStr = str.substring(0, i + 1);
  for (var k = 0; k < i; k++) {
   //取前缀
   prefix[k] = newStr.slice(0, k + 1);
   suffix[k] = newStr.slice(-k - 1);
   if (prefix[k] == suffix[k]) {
    partMatch = prefix[k].length;
   }
  }
  if (!partMatch) {
   partMatch = 0;
  }
  return partMatch;
}

其实跟匹配表是一样的，去掉了循环直接定位到当前已成功匹配的串了

完整的KMP.next算法

<!doctype html><div id="testnext"><div><script type="text/javascript">
 
  function next(str) {
    var prefix = [];
    var suffix = [];
    var partMatch;
    var i = str.length
    var newStr = str.substring(0, i + 1);
    for (var k = 0; k < i; k++) {
     //取前缀
     prefix[k] = newStr.slice(0, k + 1);
     suffix[k] = newStr.slice(-k - 1);
     if (prefix[k] == suffix[k]) {
      partMatch = prefix[k].length;
     }
    }
    if (!partMatch) {
     partMatch = 0;
    }
    return partMatch;
  }

  function KMP(sourceStr, searchStr) {
    var sourceLength = sourceStr.length;
    var searchLength = searchStr.length;
    var result;
    var i = 0;
    var j = 0;

    for (; i < sourceStr.length; i++) { //最外层循环，主串

      //子循环
      for (var j = 0; j < searchLength; j++) {
        //如果与主串匹配
        if (searchStr.charAt(j) == sourceStr.charAt(i)) {
          //如果是匹配完成
          if (j == searchLength - 1) {
           result = i - j;
           break;
          } else {
           //如果匹配到了，就继续循环，i++是用来增加主串的下标位
           i++;
          }
        } else {
         if (j > 1) {
          i += i - next(searchStr.slice(0,j));
         } else {
          //移动一位
          i = (i - j)
         }
         break;
        }
      }

      if (result || result == 0) {
       break;
      }
    }


    if (result || result == 0) {
     return result
    } else {
     return -1;
    }
  }

 var s = "BBC ABCDAB ABCDABCDABDE";
 var t = "ABCDAB";


  show('indexOf',function() {
   return s.indexOf(t)
  })

  show('KMP.next',function() {
   return KMP(s,t)
  })

  function show(bf_name,fn) {
   var myDate = +new Date()
   var r = fn();
   var div = document.createElement('div')
   div.innerHTML = bf_name +'算法,搜索位置:' + r + ",耗时" + (+new Date() - myDate) + "ms";
    document.getElementById("testnext").appendChild(div);
  }

</script></div></div>

git代码下载: https://github.com/JsAaron/data_structure

JavaScript中数据结构与算法(五)：经典KMP算法

- Author -

junjie

声明：登载此文出于传递更多信息之目的，并不意味着赞同其观点或证实其描述。

Javascript 相关文章推荐
JS判断当前日期是否大于某个日期的实现代码
Sep 02 Javascript
为开发者准备的10款最好的jQuery日历插件
Feb 04 Javascript
jQuery元素的隐藏与显示实例
Jan 20 Javascript
js实现固定显示区域内自动缩放图片的方法
Jul 18 Javascript
深入浅析JavaScript中prototype和proto的关系
Nov 15 Javascript
jQuery ztree实现动态树形多选菜单
Aug 12 Javascript
基于JS实现的随机数字抽签实例
Dec 08 Javascript
jQuery使用方法
Feb 04 Javascript
利用JS对iframe父子（内外）页面进行操作的方法教程
Jun 15 Javascript
Vue2.0 slot分发内容与props验证的方法
Dec 12 Javascript
tangram.js库实现js类的方式实例分析
Jan 06 Javascript
layui监听工具栏的实例(操作列表按钮)
Sep 10 Javascript
使用AngularJS编写较为优美的JavaScript代码指南
Jun 19 #Javascript
javascript格式化日期时间方法汇总
Jun 19 #Javascript
JavaScript中数据结构与算法(四)：串(BF)
Jun 19 #Javascript
JavaScript中数据结构与算法(三)：链表
Jun 19 #Javascript
js结合正则实现国内手机号段校验
Jun 19 #Javascript
JavaScript中数据结构与算法(二)：队列
Jun 19 #Javascript
JavaScript中数据结构与算法(一)：栈
Jun 19 #Javascript
数据加密(1) html标准库(1) 历史记录(1) key(1) python-pcl(1) Anaconda(2) 公共键(1) 遍历文件夹(1) pycryto(1) 有序排列(1)
You might like
php更改目录及子目录下所有的文件后缀扩展名的代码
2010/10/12 PHP
使用php判断网页是否gzip压缩
2013/06/25 PHP
PHP实现自动对图片进行滚动显示的方法
2015/03/12 PHP
mysql_escape_string()函数用法分析
2016/04/25 PHP
PHP使用FFmpeg获取视频播放总时长与码率等信息
2016/09/13 PHP
php无限级分类实现方法分析
2016/10/19 PHP
PHP符合PSR编程规范的实例分享
2016/12/21 PHP
jquery 隐藏与显示tr标签示例代码
2014/06/06 Javascript
JS实现模拟百度搜索“2012世界末日”网页地震撕裂效果代码
2015/10/31 Javascript
微信小程序 canvas API详解及实例代码
2016/10/08 Javascript
js选项卡的制作方法
2017/01/23 Javascript
jquery.cookie.js的介绍与使用方法
2017/02/09 Javascript
新手快速入门JavaScript装饰者模式与AOP
2019/06/24 Javascript
vue点击按钮动态创建与删除组件功能
2019/12/29 Javascript
vue-router路由懒加载及实现的3种方式
2021/02/28 Vue.js
[01:07:20]DOTA2-DPC中国联赛 正赛 Dynasty vs XG BO3 第二场 2月2日
2021/03/11 DOTA
Python HTMLParser模块解析html获取url实例
2015/04/08 Python
Python functools模块学习总结
2015/05/09 Python
python通过openpyxl生成Excel文件的方法
2015/05/12 Python
Python中的自省（反射）详解
2015/06/02 Python
Python基于numpy灵活定义神经网络结构的方法
2017/08/19 Python
Python获取时间范围内日期列表和周列表的函数
2019/08/05 Python
python读取大文件越来越慢的原因与解决
2019/08/08 Python
浅谈Python2之汉字编码为unicode的问题(即类似\xc3\xa4)
2019/08/12 Python
Python中生成一个指定长度的随机字符串实现示例
2019/11/06 Python
Python如何把Spark数据写入ElasticSearch
2020/04/18 Python
函授药学自我鉴定
2014/02/07 职场文书
文秘档案管理岗位职责
2014/03/06 职场文书
教师党员群众路线教育实践活动心得体会
2014/11/04 职场文书
工作经验交流材料
2014/12/30 职场文书
老员工辞职信范文
2015/05/12 职场文书
预备党员介绍人意见
2015/06/01 职场文书
趣味运动会口号
2015/12/24 职场文书
团干部培训班心得体会
2016/01/06 职场文书
python使用XPath解析数据爬取起点小说网数据
2021/04/22 Python
python实现过滤敏感词
2021/05/08 Python