该算法在考研时书上看到过，但是因为不作为必考内容所以没有细细复习。这次复习到才感受到它的魅力，并且也花了很久时间才弄懂了基本概念。
关于KMP的细节不再细说，这里只提出学习的方法和对大家可能遇到的问题的理解：
一、KMP之前
当我们需要在字符串S中找到是否存在P时，是怎么解决的？先看看暴力方法是怎么解决的——因为暴力方法最好理解，符合我们的惯性思维，当然时间复杂度就达到了O（m*n），其中m和n分别代表字符串S的长度和模式串P的长度。
二、什么是KMP
KMP的名字是该算法的三个创始人名字首字母拼成的。从上述我们知道，在迭代过程中其实包含了一些不必要的判断，我们需要寻找到一种算法对不必要的判断进行剪枝。这就是KMP要做的事，它可以把算法复杂度降到O（m+n）
三、如何进行KMP，需要理解的地方
1、理解：字符串移动的长度 = 已匹配的字符长度 - 失配字符上一位所对应的最大首尾匹配长度
什么叫最大首尾匹配长度？例如：123 8547 123 该字符串的最大首尾匹配字符串是123，那么它的最大首尾匹配长度就是3，为什么需要这个数字后面再解释。
2、 理解：next[k]数组是求解的关键
3、KMP算法的流程：先求出next数组，再进行匹配运算
四、几个问题：
1、字符串移动的长度 = 已匹配的字符长度 - 失配字符上一位所对应的最大首尾匹配长度，这个公式的本质是什么？
本质在于：已匹配的字符串实际上已经传达了一些匹配的信息。试想一下，如果已经匹配了12345x中的12345，到x位时失配，按以往的方式就要从2开始匹配，但实际上2—5都是不用判断可直接跳过，为什么？因为12345没有存在首尾匹配的字符串。但是，如果已经匹配了1234123x中的1234123，到x位时失配，那么应该从下一个123开头去匹配，也就是从123x……这样的串开始匹配。如果我们都知道了模式串的最大首尾匹配字符串的信息，那么每次就可以跳过相当的字符串进行匹配操作了。这也就是next的意义。
2、在计算next时，为什么不匹配时要执行 k = next[k]？
这个问题感觉是最疑惑的，目前只是大致理解，感觉不好用文字表达...
五、还有优化空间么？请看参考博客：
从头到尾彻底理解KMP http://blog.csdn.net/v_july_v/article/details/7041827（详细）
KMP算法 http://www.cnblogs.com/dolphin0520/archive/2011/08/24/2151846.html（简单易懂）
字符串匹配算法KMP http://kb.cnblogs.com/page/176818/（中等理解难度）