代码随想录算法训练营第九天| 28. 实现 strStr()、459.重复的子字符串、字符串：总结篇、双指针总结篇。

本文链接：https://blog.csdn.net/zbdnsy/article/details/133934641

28. 实现 strStr()（难）

我自己的解法用时间换空间，时间复杂度较高

class Solution {
public:
    int strStr(string haystack, string needle) {
        if(haystack == needle)
        {
            return 0;
        }
        if(haystack.size() < needle.size())
        {
            return -1;
        }
        for(int i = 0;i < haystack.size() - needle.size()+1;i++)
        {
            string substr = haystack.substr(i,needle.size());
            if(substr == needle)
            {
                return i;
            }
        }
        return -1;
    }
};

以下重点学习和介绍KMP算法

主要思想：当出现字符串不匹配时，可以知道一部分之前已经匹配的文本内容，可以利用这些信息避免从头再去做匹配了
采用一个next数组作为前缀表（prefix table），用于记录当模式串和主串（文本串）不匹配的时候，模式串从什么位置开始重新进行匹配
两个重要定义：
文章中字符串的前缀是指不包含最后一个字符的所有以第一个字符开头的连续子串。

后缀是指不包含第一个字符的所有以最后一个字符结尾的连续子串
next数组记录每个位置为n（0，1，2，……）的长度为n+1的字符串的最长相等前后缀的长度，当识别到匹配不成功时，返回到当前指向的也就是第一个不匹配位置的前一位对应的最长相等前后缀的值所对应的next数组的下标处开始重新匹配，避免了从头开始进行匹配

使用KMP算法可以大致分为两步，先构建一个前缀表，然后再使用这个表进行匹配操作

代码如下，其中整体减1使用j+1对数组进行操作的原因是当判断到遍历完所有的模式串后，指针应该指向最后一个字符的后一个位置，而这个位置由j+1来表示，防止数组访问越界因此整体减一

class Solution {
public:
    void getNext(int* next, const string& s) {
        int j = -1;
        next[0] = j;
        for(int i = 1; i < s.size(); i++) { // 注意i从1开始
            while (j >= 0 && s[i] != s[j + 1]) { // 前后缀不相同了
                j = next[j]; // 向前回退
            }
            if (s[i] == s[j + 1]) { // 找到相同的前后缀
                j++;
            }
            next[i] = j; // 将j（前缀的长度）赋给next[i]
        }
    }
    int strStr(string haystack, string needle) {
        if (needle.size() == 0) {
            return 0;
        }
        int next[needle.size()];
        getNext(next, needle);
        int j = -1; // // 因为next数组里记录的起始位置为-1
        for (int i = 0; i < haystack.size(); i++) { // 注意i就从0开始
            while(j >= 0 && haystack[i] != needle[j + 1]) { // 不匹配
                j = next[j]; // j 寻找之前匹配的位置
            }
            if (haystack[i] == needle[j + 1]) { // 匹配，j和i同时向后移动
                j++; // i的增加在for循环里
            }
            if (j == (needle.size() - 1) ) { // 文本串s里出现了模式串t
                return (i - needle.size() + 1);
            }
        }
        return -1;
    }
};

相比于暴力解法两串长度之积的时间复杂度，KMP算法将时间复杂度降低到了两串长度之和