每日一题：正则表达式匹配

给你一个字符串 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

递归法

最直观的是采用递归的方式，依此匹配过去。模版字符串为p，待匹配的字符串为s。若s[i] == p[j]，则继续递归匹配s[i+1:]和p[j+1:]。若p[j]==’*’，且p[j-1]==s[i]，则继续递归匹配p[j:]和s[i+1:]，否则继续递归匹配p[j+2:]和s[i:]。因为字符加星号的组合可以匹配s串里任意个字符，所以我们要递归计算所有可能的情况，这也是“return (isMatch(s, p.substr(2)) || (firstMatch && isMatch(s.substr(1), p)));”要做一个或运算的原因，就是为了考虑到字符加星号匹配任意个字符的情况，否则就变成了贪心地匹配最多的字符。代码如下：

class Solution {
public:
    bool isMatch(string s, string p) {
        if (p.length() == 0) return s.length() == 0;
        bool firstMatch = (s.length() != 0 && (p[0] == s[0] || p[0] == '.' ));

        if (p.length() >= 2 && p[1] == '*') {
            // 避免出现匹配aaa和a*a这种情况，这中情况下由于a*组合的后面还有一个a，所以要提前丢弃a*组合；
            return (isMatch(s, p.substr(2)) || (firstMatch && isMatch(s.substr(1), p)));
        }
        else {
            return firstMatch && isMatch(s.substr(1), p.substr(1));
        }
    }
};

动态规划

递归方法中isMatch函数回进行大量的重复计算，所以考虑将它改造成动态规划。设一个二维动态规划的数组dp[][]，数据变量为布尔值。dp[i][j]表示s中的前i个字符和前j个字符是否能匹配。
在状态转移时，我们考虑p的第j个字符的匹配情况。

• 如果p的第j个字符是一个字母，则必须在s中也匹配一个同样的字母，所以，如果有p[j] ==s[i]，则有dp[i][j] =dp[i-1][j-1] ，否则，则有dp[i][j] = false;
• 如果p的第j个字符是*，则要得到了一个字符加星号组，因为一个字符加星号组可以匹配s中的任意的字符（可以为0），所以必须充分地考虑每种情况。如果p[j-1]==s[i]，则dp[i][j] = dp[i][j-2] || dp[i-1][j]（因为字符加星的组合可以匹配p中任意个数的字符，所以必须在每一步都考虑丢弃掉字符加星组合的情况，即表示为dp[i][j-2]），如果p[j-1]!=\s[i]，则dp[i][j] = dp[i][j-2]

因此，根据这个转移方程来设计动态规划的代码：

class Solution {
public:
    bool isMatch(string s, string p) {
        int sLen = s.size(), pLen = p.size();
        if (pLen == 0) return sLen == 0;
        vector<vector<bool> > dpTable(sLen + 1, vector<bool>(pLen + 1, false));
        dpTable[0][0] = true;
        for (int i = 0; i <= sLen; ++i) {
            for (int j = 1; j <= pLen; ++j) {
                if (p[j - 1] == '*') {
                    dpTable[i][j] = dpTable[i][j] || dpTable[i][j - 2];
                    if (i > 0 && (p[j - 2] == '.' || p[j - 2] == s[i - 1])) {
                        dpTable[i][j] = dpTable[i][j] || dpTable[i - 1][j];
                    }
                }
                else {
                    if (i > 0 && (p[j - 1] == '.' || p[j - 1] == s[i - 1])) {
                        dpTable[i][j] = dpTable[i - 1][j - 1];
                    }
                }
            }
        }
        return dpTable[sLen][pLen];
    }
};