【笔记】JavaScript版数据结构与算法——基础算法之“正则类”（10. 正则表达式匹配）

---

正则表达式匹配

1.题目

10. 正则表达式匹配 - 力扣（LeetCode）

给你一个字符串 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 = “cab”
输出: true
解释: 因为 ‘*’ 表示零个或多个，这里 ‘c’ 为 0 个, ‘a’ 被重复一次。因此可以匹配字符串 “aab”。

示例 5:

输入:
s = “mississippi”
p = “misisp*.”
输出: false

题目模板

/**
 * @param {string} s
 * @param {string} p
 * @return {boolean}
 */
var isMatch = function(s, p) {

};

2.思路分析

这里的有无模式指的是是否有匹配符”*“或“.”

3.所用到的方法

主要是正则，看其他小伙伴还用到了动态规划、有向图、图的深度遍历、自动机，6p

4.题解及优化

课程解法

课程视频源码通不过。。。

var isMatch = function(s, p) {
  // 对模式变量进行正则筛选
  let modeArr = p.match(/([a-z.]\*)|([a-z]+(?=([a-z.]\*)|$))/g)
  let cur = 0
  let strLen = s.length
  for (let i = 0, len = modeArr.length, m; i < len; i++) {
    // 对于模式分为三类，.*|a*|cdef
    m = modeArr[i].split('')
    // 如果第二位是*表示是有模式的
    if (m[1] === '*') {
      if (m[0] === '.') {
        cur = strLen
        break
      } else {
        while (s[cur] === m[0]) {
          cur++
        }
      }
    } else {
      for (let j = 0, jl = m.length; j < jl; j++) {
        if (m[j] !== s[cur]) {
          return false
        } else {
          cur++
        }
      }
    }
  }
  return cur === strLen
}

调试后：

var isMatch = function (s, p) {
  p = p.split('')
  p.push('a*')
  p = p.join('')
  console.log(p)
  s = s.split('')
  s.push('aa')
  s = s.join('')
  console.log(s)
  // 对模式变量进行正则筛选
  let modeArr = p.match(/([a-z.]\*)|([a-z]+(?=([a-z.]\*)|$))/g)
  let cur = 0
  let strLen = s.length
  for (let i = 0, len = modeArr.length, m; i < len; i++) {
    // 对于模式分为三类，.*|a*|cdef
    m = modeArr[i].split('')
    // 如果第二位是*表示是有模式的
    if (m[1] === '*') {
      if (m[0] === '.') {
        cur = strLen
        break
      } else {
        while (s[cur] === m[0]) {
          cur++
        }
      }
    } else {
      for (let j = 0, jl = m.length; j < jl; j++) {
        if (m[j] !== s[cur]) {
          return false
        } else {
          cur++
        }
      }
    }
  }
  return cur === strLen
}

通过在s和p后添加*或其他字母都没有效果，应该是“.”的问题，代码进不去m[0] === '.'

---

课程后面提供的源码能够通过

var isMatch = function (s, p) {
  // 边界情况，如果s和p都为空，说明处理结束了，返回true，否则返回false
  if (p.length <= 0) {
    return !s.length
  }
  // 判断p模式字符串的第一个字符和s字符串的第一个字符是不是匹配
  let match = false
  if (s.length > 0 && (p[0] === s[0] || p[0] === '.')) {
    match = true
  }
  // p有模式的
  if (p.length > 1 && p[1] === '*') {
    // 第一种情况：s*匹配0个字符
    // 第二种情况：s*匹配1个字符，递归下去，用来表示s*匹配多个s
    return isMatch(s, p.slice(2)) || (match && isMatch(s.slice(1), p))
  } else {
    return match && isMatch(s.slice(1), p.slice(1))
  }
}

其他小伙伴的解法

var isMatch = function (s, p) {
  return new RegExp('^' + p + '$').test(s)
}

动态规划：状态转移方程分析

10、正则表达式匹配

【JavaScript 解法，非正则 】超越 99% 的提交

js动态规划图解 - 用图讲述更易懂

不确定的有限自动机，NFA实现正则匹配

不同答案，涉及较广，值得深入探索，待续。。。