0010正则表达式匹配

正则表达式匹配
描述：

class Solution(object):
    """
    动态规划 状态方程
    令dp[i][j]代表 长度为i的字符串s 与长度为j的规则p的匹配关系
    我们可知 当s[i] = p[j]且p[j]!=* 时 dp[i][j] = dp[i-1][j-1]
            反之当s[i] != p[j]时且p[j]!=* dp[i][j] = false
            当p[j]=*时
            则判断p[j-1]代表字符与s[i]是否匹配
            若匹配 则有以下两种情况
            1、dp[i][j] = dp[i][j-2] 此式代表将*号代表任意个数置为0舍去
            2、dp[i][j] = dp[i-1][j] 此式代表使用*号代表任意个数
            因为当以上两种情况有一种为真时，dp[i][j]为真
            所以 dp[i][j] = dp[i][j-2] or dp[i-1][j]
            若p[j-1]!=s[i]
            则dp[i][j] = dp[i][j-2] 表示将字符舍去
    """
    def isMatch(self, s, p):
        m = len(s) + 1  # 二维数组的列号为0~len(s)
        n = len(p) + 1  # 二维数组的行号为0~len(p)
        dp = [[False for _ in range(n)] for _ in range(m)]  # dp[i][j]代表长度为i的p是否可以匹配长度为j的s
        dp[0][0] = True
        for i in range(2, n):
            if p[i - 1] == '*':  #  当s长度为0时，若p的[i-1]个字符为* 则无论p[i-2]为何值 均可匹配
                dp[0][i] = dp[0][i - 2]

        for i in range(1, m):
            r = i - 1
            for j in range(1, n):
                c = j - 1
                if s[r] == p[c] or p[c] == '.':  # 当s[r]与p[c]匹配或者当p[c]为万能字符'.'时 dp[i][j]的值由dp[i-1][j-1]决定
                    dp[i][j] = dp[i - 1][j - 1]
                elif p[c] == '*':  # 当p[c]=="*"时，需要分情况讨论
                    if p[c - 1] == s[r] or p[c-1] == '.':  # 如果*前的字符p[c-1]与s[r]相等 或者为万用字符时有两种情况
                        dp[i][j] = dp[i - 1][j] or dp[i][j - 2]  # 我们可以选择让p[c-1]*匹配上s[r] 此时对应 dp[i-1][j]
                        										# 或者我们可以选择让p[c-1]* 不匹配任何字符 此时对应dp[i][j-2]
                        										# 以上两种情况有一为真 则dp[i][j]为真
                    else:
                        dp[i][j] = dp[i][j - 2]  # 否则直接消耗掉p[c-1]* 不去匹配任何字符
                else:
                    dp[i][j] = False  # 以上条件均不满足时 dp[i][j] = False
        return dp[m - 1][n - 1]

思路：动态规划