[LeetCode]10. Regular Expression Matching的DP理解及代码

原题链接：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)]判断两个字符串是否匹配，算法结束