正则表达式匹配
给你一个字符串 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 的小写字母，以及字符 . 和 *。 保证每次出现字符 * 时，前面都匹配到有效的字符
Related Topics 递归 字符串 动态规划 👍 3886 👎 0
func isMatch(s string, p string) bool {
m, n := len(s), len(p)
// 创建 m+1 和 n+1 长度，是因为我们需要考虑空字符串的情况以及边界条件。
// 通过在 dp 数组的第一行和第一列中预留出额外的位置，我们可以方便地处理空字符串的情况
// 将空字符串和正则表达式的匹配情况表示在 dp[0][0]、dp[0][j] 和 dp[i][0] 中。
// 二维数组，dp[i][j] 表示 s 前 i 个字符和 p 前 j 是否能匹配
dp := make([][]bool, m+1)
for i := 0; i <= m; i++ {
dp[i] = make([]bool, n+1)
}
// dp[0][0] 空字符串和空正则表达式是匹配的
dp[0][0] = true
// dp[0][j] 处理边界情况：当s为空字符串时，只有p的偶数位置为*才能匹配
for j := 2; j <= n; j += 2 {
if p[j-1] == '*' && dp[0][j-2] {
dp[0][j] = true
}
}
// dp[i][0] 表示 p 为空，因此所有都是 false 不需要处理，默认 false
// dp递推
// '.' 匹配任意单个字符
// '*' 匹配零个或多个前面的那一个元素
for i := 1; i <= m; i++ {
for j := 1; j <= n; j++ {
// 如果 s 的第 i 个字符和 p 的第 j 个字符相等，或者 p 的第 j 个字符等于 '.' 都可以匹配上
if s[i-1] == p[j-1] || p[j-1] == '.' {
dp[i][j] = dp[i-1][j-1]
} else if p[j-1] == '*' {
// 如果p的第j个字符为'*'，有两种情况：
// 1. 匹配0个前导字符，即将p的前两个字符（x*）忽略掉，dp[i][j-2]
// 2. 匹配1个或多个前导字符，即s的第i个字符和p的前一个字符相等，且dp[i-1][j]为真
dp[i][j] = dp[i][j-2] || (s[i-1] == p[j-2] /* 匹配1个*/ || p[j-2] == '.' /* 匹配多个*/) && dp[i-1][j]
}
}
}
return dp[m][n]
}