LeetCode 10. 正则表达式匹配(C++) 动态规划

给你一个字符串 s 和一个字符规律 p，请你来实现一个支持 ‘.’ 和 ‘*’ 的正则表达式匹配。

‘.’ 匹配任意单个字符
‘*’ 匹配零个或多个前面的那一个元素
所谓匹配，是要涵盖 整个 字符串 s的，而不是部分字符串。

示例 1：

输入：s = "aa" p = "a"
输出：false
解释："a" 无法匹配 "aa" 整个字符串。

示例 2:

输入：s = "aa" p = "a*"
输出：true
解释：因为 '*' 代表可以匹配零个或多个前面的那一个元素, 在这里前面的元素就是 'a'。因此，字符串 "aa" 可被视为 'a' 重复了一次。

示例 3：

输入：s = "ab" p = ".*"
输出：true
解释：".*" 表示可匹配零个或多个（'*'）任意字符（'.'）。

示例 4：

输入：s = "aab" p = "c*a*b"
输出：true
解释：因为 '*' 表示零个或多个，这里 'c' 为 0 个, 'a' 被重复一次。因此可以匹配字符串 "aab"。

示例 5：

输入：s = "mississippi" p = "mis*is*p*."
输出：false

提示：

0 <= s.length <= 20
0 <= p.length <= 30
s 可能为空，且只包含从 a-z 的小写字母。
p 可能为空，且只包含从 a-z 的小写字母，以及字符 . 和 *。
保证每次出现字符 * 时，前面都匹配到有效的字符

动态规划

思路与算法

题目中的匹配是一个「逐步匹配」的过程：我们每次从字符串 p 中取出一个字符或者「字符 + 星号」的组合，并在 s 中进行匹配。对于 p 中一个字符而言，它只能在 s 中匹配一个字符，匹配的方法具有唯一性；而对于 p 中字符 + 星号的组合而言，它可以在 s 中匹配任意自然数个字符，并不具有唯一性。因此我们可以考虑使用动态规划，对匹配的方案进行枚举。

我们用 f[i][j] 表示 s 的前 i 个字符与 p 中的前 j 个字符是否能够匹配。在进行状态转移时，我们考虑 p 的第 j 个字符的匹配情况：

class Solution {
public:
    bool isMatch(string s, string p) {
    //求两个字符串长度
        int m = s.size();
        int n = p.size();
//求是否匹配
        auto matches = [&](int i, int j) {
        //Int i ；int j中的i、j是指索引
        //当i为1;j不为1的时候，返回false
            if (i == 0) {
                return false;
            }
            if (p[j - 1] == '.') {
                return true;
            }
            //返回末尾的前一位;若ture;则
            return s[i - 1] == p[j - 1];
        };

        vector<vector<int>> f(m + 1, vector<int>(n + 1));
        f[0][0] = true;
        for (int i = 0; i <= m; ++i) {
            for (int j = 1; j <= n; ++j) {
                if (p[j - 1] == '*') {
                //p[j-2]匹配0个的时候，f[i][j]为f[i][j - 2]  s[i-1]、p[j-3]判断结果
                    f[i][j] |= f[i][j - 2];//|= 使用的原因：存在true就返回true；全部false才false
                    if (matches(i, j - 1)) {//当s[i-1]==p[j-2]满足时，可以丢掉s[i-1]继续判断；
                    //f[i][j] 为f[i - 1][j]的判断结果
                    //|=是按位或并赋值的意思。若有两个整型变量a和b，那么a|=b;就是a=a|b;的意思。
                        f[i][j] |= f[i - 1][j];
                    }
                }
                else {
                //s[i - 1] == p[j - 1]时;
                //f[i][j]为f[i - 1][j - 1]判断结果
                    if (matches(i, j)) {
                        f[i][j] |= f[i - 1][j - 1];
                    }
                }
            }
        }
        return f[m][n];
    }
};