正则表达式匹配

给你一个字符串 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 <= 20
• s 只包含从 a-z 的小写字母。
• p 只包含从 a-z 的小写字母，以及字符 . 和 *。
• 保证每次出现字符 * 时，前面都匹配到有效的字符

“ 关于* 号 ”：

1. “*”作用于前面的那个字符；

2. 提供两种选择：跳过（0次） 或 重复（1+次）。

（1）匹配 0 次时，忽略 * 与前面的字符，例如 p = "a*b" 匹配 s = "b"
a* 匹配 0 次 a，直接跳过，剩下 "b" 匹配 "b"。

（2）匹配 1 次或多次时，至少用 * 前的字符匹配一次，例如 p = "a*b" 匹配 s = "aaab"
a* 匹配 3 次 a，剩下 "b" 匹配 "b"

代码实现：

/**
 * @param {string} s
 * @param {string} p
 * @return {boolean}
 */
var isMatch = function (s, p) {
    // 获取字符串s和模式p的长度
    let m = s.length, n = p.length;

    // 创建动态规划表dp，dp[i][j]表示s的前i个字符和p的前j个字符是否匹配
    // (m+1) x (n+1) 的二维数组，并将所有元素初始化为 false
    let dp = new Array(m + 1);
    for (let i = 0; i <= m; i++) {
        dp[i] = new Array(n + 1).fill(false);
    }

    // 空模式与空字符串匹配
    dp[0][0] = true;

    // 处理模式中a*、b*等可以匹配空字符串的情况
    for (let j = 1; j <= n; j++) {
        // 若当前模式字符是*，则匹配0次前一个字符
        if (p[j - 1] === '*') {
            // 匹配0次的结果等于跳过这个*和前一个字符的结果
            dp[0][j] = dp[0][j - 2];
        }
    }

    // 填充动态规划表
    for (let i = 1; i <= m; i++) {        // 遍历字符串s的每个字符
        for (let j = 1; j <= n; j++) {    // 遍历模式p的每个字符
            // 情况1：当前字符直接匹配,相同字符或.通配符
            if (p[j - 1] === '.' || p[j - 1] === s[i - 1]) {
                // 匹配结果
                dp[i][j] = dp[i - 1][j - 1];
            }
            // 情况2：当前模式字符是*
            else if (p[j - 1] === '*') {
                // 子情况1：*匹配0次前一个字符（跳过这个*和前一个字符）
                dp[i][j] = dp[i][j - 2];
                // 子情况2：若前一个字符匹配，可以匹配1次或多次
                if (p[j - 2] === '.' || p[j - 2] === s[i - 1]) {
                    // 匹配1次或多次的结果等于匹配1次（当前字符）的结果
                    dp[i][j] = dp[i][j] || dp[i - 1][j];
                }
            } else {
                // 情况3：字符不匹配且不是*
                dp[i][j] = false;
            }

        }
    }

    // 返回字符串和模式的匹配结果
    return dp[m][n];
};