正则表达式匹配
给你一个字符串 s 和一个字符规律 p,请你来实现一个支持 '.' 和 '*' 的正则表达式匹配。
'.' 匹配任意单个字符
'*' 匹配零个或多个前面的那一个元素
所谓匹配,是要涵盖 整个 字符串 s的,而不是部分字符串。
示例 1:
输入:s = "aa", p = "a"
输出:false
解释:"a" 无法匹配 "aa" 整个字符串。
示例 2:
输入:s = "aa", p = "a*"
输出:true
解释:因为 '*' 代表可以匹配零个或多个前面的那一个元素, 在这里前面的元素就是 'a'。因此,字符串 "aa" 可被视为 'a' 重复了一次。
最优解决方案
- 最优解思路是使用动态规划(dynamic programming)的方法,即利用已经计算过的子问题的结果来避免重复计算。具体来说,可以创建一个二维布尔数组 dp ,其中 dp[i][j] 表示字符串 s 的前 i 个字符和模式 p 的前 j 个字符是否匹配。初始时,dp[0][0] = true ,表示两个空字符串匹配;dp[i][0] = false ,表示空模式不能匹配非空字符串;dp[0][j] 需要根据模式 p 的第 j 个字符是否为 ‘*’ 来确定。
- 然后从左到右,从上到下填充 dp 数组,对于每个 dp[i][j] ,根据 s[i-1] 和 p[j-1] 的值以及 p[j-2] 是否为 ‘*’ 来分情况讨论:
- 如果 s[i-1] == p[j-1] 或者 p[j-1] == ‘.’ ,则说明当前字符匹配,那么 dp[i][j] = dp[i-1][j-1] ;
- 如果 p[j-1] == ‘*’ ,则说明当前模式可以匹配零个或多个前面的字符,那么有两种可能:
- 如果 s[i-1] != p[j-2] 并且 p[j-2] != ‘.’ ,则说明当前字符和前面的字符都不匹配,那么只能让 ‘*’ 匹配零个前面的字符,即 dp[i][j] = dp[i][j-2]
- 如果 s[i-1] == p[j-2] 或者 p[j-2] == ‘.’ ,则说明当前字符和前面的字符匹配,那么有三种可能:
- 让 ‘*’ 匹配零个前面的字符,即 dp[i][j] = dp[i][j-2]
- 让 ‘*’ 匹配一个前面的字符,即 dp[i][j]=dp[i][j−1]
- 让 ‘*’ 匹配多个前面的字符(至少两个),即 dp[i][j]=dp[i−1][j]
- 以上三种可能只要有一种为 true ,就说明当前位置可以匹配,因此需要对它们求或运算。
- 最后填充完整个 dp 数组后,返回 dp[m][n] 的值,其中 m 和 n 分别是字符串 s 和模式 p 的长度。