LeetCode 10正则表达式匹配

题目

给你一个字符串 s 和一个字符规律 p，请你来实现一个支持 '.' 和 '*' 的正则表达式匹配。
'.' 匹配任意单个字符
'*' 匹配零个或多个前面的那一个元素
所谓匹配，是要涵盖 整个 字符串 s的，而不是部分字符串。
说明:
s 可能为空，且只包含从 a-z 的小写字母。
p 可能为空，且只包含从 a-z 的小写字母，以及字符 . 和 *。
示例 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

法一：dfs回溯法：

设p第一个字符a。
若p第二个字符为'*'，则可以1：忽略a*，即p跳两格；2：第一个字符匹配时a*变成aa*，即s跳一格
若p第二个字符不为'*'，第一个字符匹配时s和p均后移一格

class Solution{
public:
    bool isMatch(string s, string p) {
        if (p.empty())//注意s空p为a*也能匹配
            return s.empty();
        if ('*' == p[1])//p不空若长度为1则p[0]为'\0'
            return isMatch(s, p.substr(2)) || (!s.empty() && (s[0] == p[0] || '.' == p[0]) && isMatch(s.substr(1), p));
        else
            return !s.empty() && (s[0] == p[0] || '.' == p[0]) && (isMatch(s.substr(1), p.substr(1)));
    }
};

法二：动态规划：

首先我们定义dp数组dp[sLen+1][pLen+1]。dp[i][j]表示：s中长度为i的部分可以匹配上p中长度为j的部分。
dp先全部初始化为false，让dp[0][0]为true（s和p都为空时必然是true）；
当s为空，p满足一定条件（p = "a*b*c*"）时，让dp[0][i]为true；
当s不为空，p为空时，即dp[i][0]必然为false。此情况不必再处理，因为一开始就初始化了整个dp为false了；
当s不为空，p也不为空时，需要开始执行动态规划过程。
s和p都从1开始遍历（因为它们为0的情况都已经处理过了）。p中长度为j的元素（即p[j-1]）只有可能会是：正常字符、'.' 或 '*'。此时开始分情况讨

3.1 如果p[j-1]是正常字符且等于s[i-1]，或者p[j-1]是'.'，判断dp[i][j]需要看的是它们前面的全部是否为true，即dp[i][j] = dp[i - 1][j - 1]。
3.2 如果p[j-1]是'*'，那么我们需要根据前一位即p[j-2]的值来分情况讨论，因为'*'的作用是让其前一位字符（即p[i-2]）出现任意次（0次、1次或多次）：
    - 3.2.1 假如p[j-2]是一个正常字符而且与s[i-1]不相等，且p[j-2]不等于'.'，比如s："b"与p："a*"，我们只能让'*'的作用是“使a出现0次”，从而dp[i][j]取决于dp[i][j-2]；
    - 3.2.2 否则假如p[j-2]是一个正常字符且与s[i-1]相等，或者p[j-2]等于'.'，那么情况有三种：'*'让p[j-2]出现0次、1次或多次：
        - 0次：比如说s："a"与p："aa*“。但是s[i-1]早就与p[j-3]相等了(dp[i][j-2])，那p[j-2]废了，那么'*'让p[j-2]出现0次。
        - 1次：比如说s："a"与p："a*"。这时候'*'只需要让其前面的"a"出现1次，一切就会是刚刚好(dp[i][j-1])。
        - 多次：比如说s："bbbb"与p："b*"。即dp[i-1][j]可以的话继续匹配dp[i][j]
3.3 假如p[j-1]是一个正常字符且不等于s[i-1]，dp[i][j]必为false。

class Solution {
public:
    bool isMatch(string s, string p) {
        int sLen = s.length(), pLen = p.length();
        vector<vector<bool> > dp(sLen + 1, vector<bool>(pLen + 1, false));
        dp[0][0] = true;
        for(int i=1; i<=pLen; ++i){//i=1时不可能为'*'，不必担心越界
            if(p[i - 1] == '*' && dp[0][i - 2])
                dp[0][i] = true;
        }
        for(int i=1; i<=sLen; ++i){
            for(int j=1; j<=pLen; ++j){
                if(s[i - 1] == p[j - 1] || p[j - 1] == '.')//3.1
                    dp[i][j] = dp[i - 1][j - 1];
                else if(p[j - 1] == '*'){//3.2
                    if(p[j - 2] != s[i - 1] && p[j - 2] != '.')//3.2.1
                        dp[i][j] = dp[i][j - 2];
                    else//3.3
                        dp[i][j] = dp[i][j - 2] || dp[i][j - 1] || dp[i - 1][j];
                }
                else dp[i][j] = false;
            }
        }
        return dp[sLen][pLen];
    }
};