剑指offer第二版（Python3）--面试题19：正则表达式匹配

第2章 面试需要的基础知识

第3章 高质量的代码

  面试题16：数值的整数次方

  面试题19：正则表达式匹配

  面试题20：表示数值的字符串

  面试题21：调整数组顺序使奇数位于偶数前面

  面试题22：链表中倒数第k个结点

  面试题23 ：链表中环的入口

  面试题24 ：翻转链表

第4章 解决面试题的思路

第5章 优化时间和空间效率

第6章 面试中的各项能力

第7章 两个面试案例

---

题目描述
牛客网
  请实现一个函数用来匹配包括’.‘和’*‘的正则表达式。模式中的字符’.‘表示任意一个字符，而’*'表示它前面的字符可以出现任意次（包含0次）。 在本题中，匹配是指字符串的所有字符匹配整个模式。例如，字符串"aaa"与模式"a.a"和"ab*ac*a"匹配，但是与"aa.a"和"ab*a"均不匹配。

解题思路
  难以处理的是pattern中存在*的情况。显然用递归更好解题。

1. pattern下一个字符不为‘*’：这种情况比较简单，直接匹配当前字符。如果匹配成功，继续匹配下一个；如果匹配失败，直接返回false。注意这里的“匹配成功”，除了两个字符相同的情况外，还有一种情况，就是pattern的当前字符为‘.’。
2. pattern下一个字符为‘*’时，稍微复杂一些，因为‘*’可以代表0个或多个。这里把这些情况都考虑到：
   （1）如果s[0]==pattern[0]或者pattern[0]=’.’，有三种情况：s往后移动一位，pattern不移动；s不移动，pattern往后移动两位；s往后移动一位，pattern往后移动两位。
   （2）如果s[0]与pattern[0]无法匹配，则s不动，pattern往后移动两位。

实战

class Solution:
    # s, pattern都是字符串
    def match(self, s, pattern):
        # write code here
        if not s and not pattern:
            return True
        if not pattern:
            return False
        
        if len(pattern) > 1 and pattern[1] == '*':
            if s and (s[0] == pattern[0] or pattern[0] == '.'):
                return self.match(s, pattern[2:]) or self.match(s[1:], pattern[2:]) or self.match(s[1:], pattern)
            else:
                return self.match(s, pattern[2:])
        if s and (s[0] == pattern[0] or pattern[0] == '.'):
            return self.match(s[1:], pattern[1:])
            
        return False

递归法在LeetCode上超时，还有一种解法是使用动态规划。

class Solution:
    def isMatch(self, s: str, p: str) -> bool:
        dp = [[0 for _ in range(len(p)+1)] for __ in range(len(s)+1)]
        dp[0][0] = 1
        for i in range(2, len(p)+1):
            dp[0][i] = dp[0][i-2] and p[i-1] == '*'
        for i in range(1, len(s) + 1):
            for j in range(1, len(p) + 1):
                if p[j-1] == '*':
                    dp[i][j] = dp[i][j - 2] or (dp[i-1][j] and (p[j-2] == s[i-1] or p[j-2] == '.'))
                else:
                    dp[i][j] = dp[i-1][j-1] and (p[j-1] == s[i-1] or p[j-1] == '.')
        return dp[-1][-1]

下面这一句需要特别注意，右边括号中需要判断dp[i-1][j] == 1。加入dp[i-1][j] = 0，而且p[j-2] == s[i-1] or p[j-2] == '.'成立，那么dp[i][j]==1，显然这会导致错误。

 dp[i][j] = dp[i][j - 2] or (dp[i-1][j] and (p[j-2] == s[i-1] or p[j-2] == '.'))