串的两种模式匹配算法

　　模式匹配(模范匹配)：子串在主串中的定位称为模式匹配或串匹配(字符串匹配) 。模式匹配成功是指在主串S中能够找到模式串T，否则，称模式串T在主串S中不存在。

　　以下介绍两种常见的模式匹配算法：

1. Brute-Force模式匹配算法 暴风算法，又称暴力算法。

　　算法的核心思想如下：
　　设S为目标串，T为模式串，且不妨设：
　　S=“s0s1s2…sn-1” ， T=“t0t1t2 …tm-1”
　　串的匹配实际上是对合法的位置0≦i≦n-m依次将目标串中的子串s[i…i+m-1]和模式串t[0…m-1]进行比较：

• 若s[i…i+m-1]=t[0…m-1]：则称从位置i开始的匹配成功，亦称模式t在目标s中出现；
• 若s[i…i+m-1]≠t[0…m-1]：从i开始的匹配失败。位置i称为位移，当s[i…i+m-1]=t[0…m-1]时，i称为有效位移；当s[i…i+m-1] ≠t[0…m-1]时，i称为无效位移。

　　算法实现如下：

　　（笔者偷懒，用C#实现，实际上C# String类型已经封装实现了该功能）

public static Int32 IndexOf(String parentStr, String childStr)
        {
            Int32 result = -1;
            try
            {
                if (parentStr.Length > 1 && childStr.Length > 1)
                {
                    Int32 i = 0;
                    Int32 j = 0;
                    while (i < parentStr.Length && j < childStr.Length)
                    {
                        if (parentStr[i] == childStr[j])
                        {
                            i++;
                            j++;
                        }
                        else
                        {
                            i = i - j + 1;
                            j = 0;
                        }
                    }
                    if (i < parentStr.Length)
                    {
                        result = i - j;
                    }
                }
            }
            catch (Exception)
            {
                result = -1;
            }
            return result;
        }

　　该算法的时间复杂度为O(n*m) ，其中n 、m分别是主串和模式串的长度。

　　2.KMP算法，该算法是对上述暴风算法的一种改进实现算法，其改进之处在于：

　　每当一趟匹配过程出现字符不相等时，主串指示器不用回溯，而是利用已经得到的“部分匹配”结果，将模式串的指示器向右“滑动”尽可能远的一段距离后，继续进行比较。核心思想：“利用已经部分匹配这个有效信息，保持i指针不回溯，通过修改j指针，让模式串尽量地移动到有效的位置。”