难度:困难
给你一个字符串 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 = "c*a*b"
输出: true
解释: 因为 '*' 表示零个或多个,这里 'c' 为 0 个, 'a' 被重复一次。因此可以匹配字符串 "aab"。
示例 5:
输入:
s = "mississippi"
p = "mis*is*p*."
输出: false
动态规划思路:
状态:dp[i][j]表示的状态是 s 的前 i 项和 p 的前 j 项是否匹配
转移方程:
1.s[i]==p[j] or p[j]=='.'时,比如abc和abc或者abc和ab.,则dp[i][j]=dp[i-1][j-1]=true
2.当p[j]=='*'时,则和*前面的字符有关系,即比较p[j-1]和s[i]的关系。
2.1:如果p[j-1]!=s[i]则权当*是0次的意思,继续比较p[j-2]与s[i]是否匹配,这时候dp[i][j]=dp[i][j-2];
2.2:如果p[j-1]==s[i] or p[j-1]='.',这种情况下,星号可能匹配了前面的字符的 0 个,也可能匹配了前面字符的多个,当匹配 0 个时,如 ab 和 abb*,或者 ab 和 ab.* ,这时我们需要去掉 p 中的b*或者.*后进行比较,即dp[i][j]=dp[i][j-2];当匹配多个时,如 abbb 和 ab*,或者 abbb 和 a.*,我们需要将s[i]前面的和p重新比较,即dp[i][j]=dp[i-1][j]
3.其他情况默认dp[i][j]=false
初始化:dp[0][0]=true,dp[0][j]=dp[0][j-2] and p[j-1]=='*'
(如何这个题意没看懂,推荐一个别人的博文,感觉解释的很详细:https://blog.csdn.net/jfkidear/article/details/90261170)
代码如下:
class Solution(object):
def isMatch(self, s, p):
"""
:type s: str
:type p: str
:rtype: bool
"""
ls, lp = len(s)+1, len(p)+1
#创建dp
dp = [[False for _ in range(lp)] for _ in range(ls)]
#初始化
dp[0][0] = True
for j in range(2, lp):
dp[0][j] = dp[0][j - 2] and p[j - 1] == '*'
for r in range(1,ls):
i = r - 1
for c in range(1, lp):
j = c - 1
#情况1
if s[i] == p[j] or p[j] == '.':
dp[r][c] = dp[r - 1][c - 1]
#情况2
elif p[j] == '*':
#情况2.2
if p[j - 1] == s[i] or p[j - 1] == '.':
dp[r][c] = dp[r - 1][c] or dp[r][c - 2]
#情况2.1
else:
dp[r][c] = dp[r][c - 2]
#情况3
else:
dp[r][c] = False
return dp[ls - 1][lp - 1]