Leetcode Hot100不熟练题目 10. 正则表达式匹配

1、题目描述

给你一个字符串 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
解释：".” 表示可匹配零个或多个（’*’）任意字符（’.’）。

提示：

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

2、思路

动态规划。令f[i][j]表示s串的前i个字母和p的前j个字母是否匹配。现在来看状态转换方程如何推导。
我们考虑的是p的第j个字母的情况。

1. p[j]是一个普通字符
   如果p[j] == s[i] 那么只需要考虑 p[j - 1] 和 s[i - 1]是否匹配即可，也就是f[i - 1][j - 1]
   否则 则一定不能匹配。
2. p[j]是‘.’
   则不论s[i]是什么都能进行匹配
3. p[j]是‘*’
   假设*前面的字符为a，我们就需要考虑这个a*是0个？1个2个3个a？如果p的去掉a*的部分和s去掉若干个a的部分能够匹配，则证明匹配成功，只要a*能代表的a的各种数量的情况中有一个可以成功匹配，那么此时的f[i][j]也就可以成功匹配了。
   所以此时我们应该从s[i]开始倒着往前找，去看s[i]有几个相同的元素，这就对应着我们可以试试看a*可能代表几个元素。
   当代表0个a时，考虑f[i][j - 2]
   当代表1个a时，考虑f[i - 1][j - 2] && (p[j - 1] == s[i] || p[j - 1] == ‘.’)
   当代表2个a时，考虑f[i - 2][j - 2] && (p[j - 1] == s[i] && p[j - 1] == s[i - 1] || p[j - 1] == ‘.’)
   …
   一直到左边的等式无法满足的时候。只要之中一个情况的为true，则f[i][j]就可以为true了。
   f[i][j] = f[i][j - 2] || (f[i - 1][j - 2] && (p[j - 1] == s[i] || p[j - 1] == ‘.’)) || (f[i - 2][j - 2] && (p[j - 1] == s[i] && p[j - 1] == s[i - 1] || p[j - 1] == ‘.’)) || …
   f[i - 1][j] = f[i -1][j - 2] || (f[i - 2][j - 2] && (p[j - 1] == s[i - 1] || p[j - 1] == ‘.’)) || (f[i - 3][j - 2] && (p[j - 1] == s[i -1] && p[j - 1] == s[i - 2] || p[j - 1] == ‘.’)) || …
   
   对比两式，我们可以发现，可以提出来
   f[i,j] = f[i,j -2] || (f[i - 1,j] && (s[i] == p[j - 1] || p[j - 1] == ‘.’ ))
   于是*的转移方程我们得到了。
   也就是如果s[i]和p[j - 1]匹配的话(也就是s[i] == p[j - 1] || p[j - 1] == ‘.’ 为true），f[i][j] = f[i,j - 2] || f[i - 1,j]。否则 f[i,j] = f[i,j - 2]

在上面的状态转移方程中，如果字符串 p 中包含一个「字符 + 星号」的组合（例如 a*），那么在进行状态转移时，会先将 a 进行匹配（当 p[j] 为 a 时），再将 a* 作为整体进行匹配（当 p[j]为 * 时）。然而，在题目描述中，我们必须将 a* 看成一个整体，因此将 a 进行匹配是不符合题目要求的。看来我们进行了额外的状态转移，这样会对最终的答案产生影响吗？

个人认为是不影响的，但是表达不好。。。因为这个a是代表a*表现为1个时的情况，我们在正常处理a*的时候也可能会处理这个情况,就算不需要处理这个情况，由于f[i][j]是由考虑0个、考虑1个这些结果取或得到的，如果本来为false，则考虑1个一定为false（否则结果本来就该是true了），如果本来结果为true，那么1处是true还是false都不影响。

3、代码

class Solution {
public:
    bool isMatch(string s, string p) {
        int n = s.size(), m = p.size();
        vector<vector<int>> f(n + 1, vector<int> (m + 1));
        f[0][0] = true;
        // 为了避免下标的麻烦，可以这样作预处理
        s = " " + s;
        p = " " + p;
        auto cmp = [&](int i, int j)
        {
            if(i == 0) return false;
            if(p[j] == '.') return true;
            return s[i] == p[j];
        };
        for(int i = 0; i <= n; i ++)
        {
            for(int j = 1; j <= m; j ++)
            {
                if(cmp(i,j)) f[i][j] = f[i - 1][j - 1];
                else if(p[j] == '*'){
                    f[i][j] |= f[i][j - 2];
                    if(cmp(i,j - 1)) f[i][j] |= f[i - 1][j];
                }
            }
        }
        return f[n][m];
    }
};

参考资料

https://segmentfault.com/a/1190000039182065（其实我也想到了这样替换，可是没有理解的这么清楚）
https://leetcode-cn.com/problems/regular-expression-matching/solution/zheng-ze-biao-da-shi-pi-pei-by-leetcode-solution/