调试并理解定长存储静态串的朴素模式匹配KMP模式匹配实现。

朴素模式匹配算法的思路是对于主串中的每一个字符，都从该字符开始和模式串进行匹配，如果匹配成功，则继续比较下一个字符，否则从主串中的下一个字符重新开始匹配。这种算法的时间复杂度为O(mn)，其中m为模式串长度，n为主串长度。

KMP模式匹配算法是一种改进的算法，它通过预处理模式串，根据模式串本身的特点，来避免在匹配的过程中重复比较已经匹配过的字符。具体实现可以参考以下代码：

void getNext(char* p, int* next) {
    int len = strlen(p);
    next[0] = -1;
    int k = -1;
    int j = 0;
    while (j < len - 1) {
        if (k == -1 || p[k] == p[j]) {
            ++k;
            ++j;
            next[j] = k;
        }
        else {
            k = next[k];
        }
    }
}

int kmp(char* s, char* p) {
    int slen = strlen(s);
    int plen = strlen(p);
    int* next = new int[plen];
    getNext(p, next);
    int i = 0;
    int j = 0;
    while (i < slen && j < plen) {
        if (j == -1 || s[i] == p[j]) {
            ++i;
            ++j;
        }
        else {
            j = next[j];
        }
    }
    delete[] next;
    if (j == plen) {
        return i - j;
    }
    else {
        return -1;
    }
}

在getNext函数中，通过next数组来存储模式串中每个字符对应的最长公共前后缀的长度。算法的核心是在匹配的过程中，当模式串中某个字符与主串中的字符不匹配时，根据next数组来移动模式串的指针，而不是直接从下一个字符开始重新匹配。这样可以避免在匹配的过程中重复比较已经匹配过的字符，从而使算法的时间复杂度降为O(m+n)。

需要注意的是，KMP算法的实现中，getNext函数返回的next数组中，next[0]的值为-1，表示模式串与主串的第一个字符不匹配时，主串的指针需要向后移动一位。