C语言经典算法之KMP算法

最新推荐文章于 2024-03-23 09:24:05 发布

JJJ69

最新推荐文章于 2024-03-23 09:24:05 发布

阅读量2.3k

点赞数 56

分类专栏： C语言经典算法文章标签：算法 c语言开发语言数据结构

本文链接：https://blog.csdn.net/weixin_56154577/article/details/136019484

版权

C语言经典算法专栏收录该内容

160 篇文章 6 订阅

订阅专栏

前言

A.建议

1.学习算法最重要的是理解算法的每一步，而不是记住算法。

2.建议读者学习算法的时候，自己手动一步一步地运行算法。

tips：文中的（如果有）对数，则均以2为底数

B.简介

在C语言中实现KMP算法（Knuth-Morris-Pratt Algorithm）涉及两个主要步骤：计算模式串的“next”数组（或称为部分匹配表），以及利用该数组进行高效的字符串匹配。

一代码实现

下面是一个简化的C语言版本，包括求解next数组和实际的模式匹配过程。

首先，我们解释什么是next数组：

next[i] 表示模式串到当前字符为止，最长的相同前后缀长度。
若 pattern[0...i-1] 的某个前缀与后缀相等且长度为 k，则 next[i] = k；否则 next[i] = 0。

以下是如何计算next数组的C语言代码片段：

#include <stdio.h>

void computeNext(char* pattern, int next[], int len) {
    int i = 0, j = -1;
    
    next[0] = -1; // 初始化，表示没有前缀

    while (i < len) {
        if (j == -1 || pattern[i] == pattern[j]) { // 如果j=-1 或者当前字符与相应位置的前缀字符匹配
            i++;
            j++;
            next[i] = j; // 更新next值
        } else {
            j = next[j]; // 回溯到下一个可能的匹配位置
        }
    }
}

// 然后是使用next数组进行KMP字符串匹配的核心函数
int KMPMatch(char* text, char* pattern, int textLen, int patternLen, int next[]) {
    int i = 0, j = 0;

    while (i < textLen && j < patternLen) {
        if (j == -1 || text[i] == pattern[j]) {
            i++;
            j++;
        } else {
            j = next[j];
        }
    }

    // 如果j到达了pattern的末尾，说明找到了一个完整的匹配
    if (j == patternLen) {
        return i - j; // 返回匹配开始的位置索引
    } else {
        return -1; // 没有找到匹配
    }
}

int main() {
    char pattern[] = "ABCABD";
    int patternLen = strlen(pattern);
    int next[patternLen];
    computeNext(pattern, next, patternLen);

    char text[] = "XYZABCABDABC";
    int textLen = strlen(text);

    int index = KMPMatch(text, pattern, textLen, patternLen, next);
    if (index != -1) {
        printf("Pattern found at index: %d\n", index);
    } else {
        printf("Pattern not found in the text.\n");
    }

    return 0;
}

这段代码首先定义了一个computeNext函数来计算next数组，然后在KMPMatch函数中利用next数组进行字符串匹配。当在文本串中找到模式串时，返回的是模式串在文本串中的起始位置索引；如果没有找到，则返回-1。