[[EVD]] - 剑指 Offer 19. 正则表达式匹配

题目分析:[[EVD]] - 剑指 Offer 19. 正则表达式匹配https://leetcode-cn.com/problems/zheng-ze-biao-da-shi-pi-pei-lcof/

简单描述:

• 请实现一个函数用来匹配包含'. '和'*'的正则表达式。模式中的字符'.'表示任意一个字符，而'*'表示它前面的字符可以出现任意次（含0次）。在本题中，匹配是指字符串的所有字符匹配整个模式。例如，字符串"aaa"与模式"a.a"和"ab*ac*a"匹配，但与"aa.a"和"ab*a"均不匹配。

限制🚫

• s 可能为空，且只包含从 a-z 的小写字母。
• p 可能为空，且只包含从 a-z 的小写字母以及字符 . 和 *，无连续的 '*'。

示例:

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

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

解题思路:

思路:

• #动态规划DP 模拟匹配原则
• dp[i][j]:s[0:i]与p[0:j]是否匹配
• 状态分析
  • p[j-1] == '*'
    • 1. dp[i][j] = dp[i][j-2] //p:‘xx*’串匹配结果 = 'x'串匹配结果
    • 2. dp[i][j] = dp[i-1][j] && (s[i-1] == p[j-2] || p[j-2] == '.')
  • others
    • dp[i][j] = dp[i-1][j-1] && (s[i-1] == p[j-1] || p[j-1] == '.')
• ⚠️:此题初始化时要考虑p串中含*的情况

效率:

• 时间复杂度
• 空间复杂度

代码:

class Solution
{
public:
    /*dp,dp[i][j]:到s的第i个字符为止,与到p的第j个字符是否匹配,即s和j的子串,如dp[1][2]=true:s[0:1]与p[0:2]匹配*/
    bool isMatch(string s, string p)
    {
        int m = s.size() + 1, n = p.size() + 1;
        vector<vector<bool> > dp(m, vector<bool>(n, 0)); //初始化m*n的0矩阵
        /*s空,p为空或.*、a*、等等情况时为true*/
        dp[0][0] = 1;
        for (int j = 2; j < n; j += 2)
            dp[0][j] = dp[0][j - 2] && p[j - 1] == '*';
        
        for (int i = 1; i < m; i++)
        {
            for (int j = 1; j < n; j++)
            {
                if (p[j - 1] == '*')
                {
                    if (dp[i][j - 2]) // p:‘xx*’串匹配结果 = 'x'串匹配结果
                        dp[i][j] = 1;
                    // p:'xx*'串匹配结果
                    // 若满足 P:'xx'串匹配 且 s:'当前字符' == p:'*号前1字符 || *号前字符为.字符'
                    // 则匹配
                    else if (dp[i - 1][j] && (s[i - 1] == p[j - 2] || p[j - 2] == '.'))
                        dp[i][j] = 1;
                }
                else
                {
                    // p:'xx'串匹配结果
                    // 若满足 P:'x'串匹配 且 s:'当前字符' == p:'当前字符 || 当前字符为.字符'
                    // 则匹配
                    if (dp[i - 1][j - 1] && (s[i - 1] == p[j - 1] || p[j - 1] == '.'))
                        dp[i][j] = 1;
                }
            }
        }
        return dp[m - 1][n - 1];
    }
};