10. 正则表达式匹配

 10. 正则表达式匹配

给你一个字符串 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

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/regular-expression-matching
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

 回溯

参考答案，学习的回溯算法。

利用递归，只检查s与p中 [0]和[1]，并在递归中根据条件选择不同的初始s与p，达到检查的效果

class Solution:
    def isMatch(self, s: str, p: str) -> bool:
        '''
        字符一个
        匹配一个
        .为任意，即直接跳过检测
        *为重复，循环检测是否与前一个一致
        '''
        ########################
        if not p:
        #学习一下，这种边界判断方法
            return not s
        ########################
        first_match=bool(s) and p[0] in {s[0],'.'}
        if len(p)>=2 and p[1]=='*':
            #1.self.isMatch(s,p[2:])判断*之后是否相同，剔除'.*c'的情况
            #or
            #2.self.isMatch(s[1:],p)判断重复及'.*'情况,前提是first_match可以匹配
            #(first_match判断此时p[0]和s[0]字符可以匹配or'.')
            return (self.isMatch(s,p[2:]) or 
                    (first_match and self.isMatch(s[1:],p))
                    )
        else:
            #没有*时正常比较
            return (first_match and self.isMatch(s[1:],p[1:] ))

动态规划

动态规划包括：最优子结构，边界，状态转移公式

eg：Fibonacci 数列

class Solution:
    def isMatch(self, s: str, p: str) -> bool:
        memo = {}
        def dp(i, j):
            if (i,j) in memo:return memo[(i,j)] #边界,提高效率，但不知道怎么用
            #print(2)
            if j == len(p): return i == len(s) #边界
            #i保证不越界，判断本次输入的i,j是否一致
            first = i < len(s) and p[j] in (s[i],'.')
            #保证j不越界，判断*的情况 或 无*继续向后推进的情况
            if j <= len(p)-2 and p[j+1] == '*':
                ans = dp(i, j + 2) or \
                first and dp(i + 1, j)
            else:
                ans = first and dp(i+1 , j+1)
                
            memo[(i,j)] = ans
            return ans
        return dp(0,0)