原题链接:https://leetcode.com/problems/regular-expression-matching/
先上代码:(由于我的DP很渣,这份代码并非自己写的,而是摘自这道题的Discuss中的分享),
链接:https://leetcode.com/problems/regular-expression-matching/discuss/5678/Fast-Python-solution-with-backtracking-and-caching-+-DP-solution
class Solution(object):
def isMatch(self, s, p):
"""
:type s: str
:type p: str
:rtype: bool
"""
dp = [[False] * (len(s) + 1) for i in range(len(p)+1)]
dp[0][0] = True
for i in range(1,len(p)):
dp[i+1][0] = dp[i-1][0] and p[i] == '*'
for i in range(len(p)):
for j in range(len(s)):
if p[i] == '*':
dp[i + 1][j + 1] = dp[i - 1][j + 1] or dp[i][j + 1]
if p[i - 1] == s[j] or p[i - 1] == '.':
dp[i + 1][j + 1] |= dp[i + 1][j]
else:
dp[i + 1][j + 1] = dp[i][j] and (p[i] == s[j] or p[i] == '.')
return dp[-1][-1]
然后说一下我理解这个算法的过程,首先我用s = ‘aab’ 和 p = ‘c*a*b’用例推了一下dp(从0开始)的更新过程,了解真值的传递过程并在自己的脑子中形成一个大概的更新过程,然后再去看其他人的博客对这个过程的解释。
下面我按照上述代码的顺序说一下我的理解:
要说在前面的是上面的代码在dp中p和s的下表都是从 1 开始的,而在字符串中p,s都是从0开始的。
1. dp[0][0] = True #空串与空串的匹配为True,也是dp中真值传递的起点
2. 初始化dp第一列的值(第一列表示p与空串是否匹配),有*的位置是可以和空串匹配的,所以dp第一列有*的位置被初始化为True
3. 当p[i] = ‘*’ 时 有几种情况可以将真值传递下去
1. dp[i + 1][j + 1] = dp[i - 1][j + 1]
2. dp[i + 1][j + 1] = dp[i][j + 1]
3. dp[i + 1][j + 1] = dp[i + 1][j + 1] or dp[i + 1][j]
4. 当p[i] != ‘*’ 时 dp[i + 1][j + 1] = dp[i][j] and (p[i] == s[j] or p[i] == ‘.’) #即p的0~i-1与s的0~j-1匹配且当前字符匹配或p[i] = ‘.’能匹配任何不为空的s[j]
5.最后返回dp[len(s)][len(p)]判断两个字符串是否匹配,算法结束