# 正则表达式匹配

# 题目

给你一个字符串 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
解释:".*" 表示可匹配零个或多个('*')任意字符('.')。

示例 4:

输入:s = "aab" p = "c*a*b"
输出:true
解释:因为 '*' 表示零个或多个,这里 'c' 为 0 个, 'a' 被重复一次。因此可以匹配字符串 "aab"。

示例 5:

输入:s = "mississippi" p = "mis*is*p*."
输出:false

提示:

  • 0 <= s.length <= 20
  • 0 <= p.length <= 30
  • s 可能为空,且只包含从 a-z 的小写字母
  • p 可能为空,且只包含从 a-z 的小写字母,以及字符 .*
  • 保证每次出现字符 * 时,前面都匹配到有效的字符

力扣🔗:https://leetcode-cn.com/problems/regular-expression-matching (opens new window)

# 解题思路

# 动态规划

  • 首先明确思路是逐步匹配,就是从字符串 p 中依次由左到右取出子串与 s 进行匹配。
  • 构造动态规划表格 tabletable[i][j] 即表示 s 中前 i 个字符与 p 中前 j 个字符是否匹配,默认是 false
  • 然后遍历 sp 两个字符串,依次填充每个 table[i][j]
  • 结果即是 table[s.length][p.length]

# 代码实现

/**
 * @param {string} s
 * @param {string} p
 * @return {boolean}
 */
function isMatch(s, p) {
  if (p === '' && s !== '') return false

  /* 初始化二维数组,构造表格 */
  const rowL = s.length + 1 // 行数
  const colL = p.length + 1 // 列数

  const table = new Array(rowL)
  for (let i = 0; i < rowL; i++) {
    table[i] = new Array(colL).fill(false) // 默认填充 false
  }
  table[0][0] = true // 两个都为空字符串时为 true

  /* 填充第一列 */
  for (let i = 1; i < colL; i++) {
    if (p[i - 1] === '*') {
      // 遇到 * 时,根据前一位判断填充 true 或 false
      table[0][i] = table[0][i - 2]
    }
  }

  /* 依次填充剩余每格 */
  for (let i = 1; i < rowL; i++) {
    const r = s[i - 1] // s 中的待检验字符
    for (let j = 1; j < colL; j++) {
      const c = p[j - 1] // p 中的规则字符

      if (r === c || c === '.') {
        // 当两个字符相等或规则字符为 . 时,根据上一行的前一个值进行填充
        table[i][j] = table[i - 1][j - 1]
        continue
      }

      if (c === '*') {
        // 当规则字符为 * 时
        const prev = p[j - 2] // 取到前一个规则字符
        if (r === prev || prev === '.') {
          // 当待匹配字符和前一个规则字符相同或前一个规则字符为 . 时
          table[i][j] = table[i][j - 2] || table[i - 1][j - 2] || table[i - 1][j]
          continue
        }

        table[i][j] = table[i][j - 2]
      }
    }
  }

  return table[rowL - 1][colL - 1]
}