题目描述
给你一个字符串 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 的小写字母,以及字符 . 和 *。
保证每次出现字符 * 时,前面都匹配到有效的字符
解题思路
这是一个典型的动态规划问题。我们可以定义一个二维数组 dp,其中 dp[i][j] 表示 s 的前 i 个字符和 p 的前 j 个字符是否匹配。根据 p[j-1] 的值,我们可以有三种情况来考虑:
如果 p[j-1] 不是 ‘*’,则 dp[i][j] 的值取决于 s[i-1] 是否等于 p[j-1] 或 p[j-1] 是否为 ‘.’,以及 dp[i-1][j-1] 的值。
如果 p[j-1] 是 ‘*’,则有两种情况:
使用 ‘*’ 匹配零个字符,此时 dp[i][j] 的值取决于 dp[i][j-2]。
使用 ‘*’ 匹配一个或多个字符,此时 dp[i][j] 的值取决于 s[i-1] 是否等于 p[j-2] 或 p[j-2] 是否为 ‘.’,以及 dp[i-1][j] 的值。
初始化时,dp[0][0] 显然为 true(两个空字符串匹配),而 dp[0][j](对于 j > 0)只有在 p 的前 j 个字符都是 ‘*’ 的情况下才为 true。
示例代码(JavaScript)
var isMatch = function(s, p) {
const m = s.length;
const n = p.length;
// 初始化 dp 数组
const dp = new Array(m + 1);
for (let i = 0; i <= m; i++) {
dp[i] = new Array(n + 1).fill(false);
}
dp[0][0] = true; // 空字符串匹配空字符串
// 初始化 dp[0][j],处理 p 开头为 '*' 的情况
for (let j = 1; j <= n; j++) {
if (p[j - 1] === '*') {
dp[0][j] = dp[0][j - 2];
}
}
// 填充 dp 数组
for (let i = 1; i <= m; i++) {
for (let j = 1; j <= n; j++) {
if (p[j - 1] !== '*') {
// p[j-1] 不是 '*',直接比较字符或 '.'
if (p[j - 1] === s[i - 1] || p[j - 1] === '.') {
dp[i][j] = dp[i - 1][j - 1];
}
} else {
// p[j-1] 是 '*',考虑两种情况
// 1. '*' 匹配零个字符
dp[i][j] = dp[i][j - 2];
// 2. '*' 匹配一个或多个字符,但这要求 s[i-1] 和 p[j-2] 匹配(或 p[j-2] 是 '.')
if (s[i - 1] === p[j - 2] || p[j - 2] === '.') {
dp[i][j] = dp[i][j] || dp[i - 1][j];
}
}
}
}
return dp[m][n]; // 返回整个字符串的匹配结果
};