leetcode-44. 通配符匹配

题目

给定一个字符串 (s) 和一个字符模式 (p) ，实现一个支持 ‘?’ 和 ‘*’ 的通配符匹配。

‘?’ 可以匹配任何单个字符。
‘*’ 可以匹配任意字符串（包括空字符串）。
两个字符串完全匹配才算匹配成功。

说明:

s 可能为空，且只包含从 a-z 的小写字母。
p 可能为空，且只包含从 a-z 的小写字母，以及字符 ? 和 *。

示例 1:

输入:
s = "aa"
p = "a"
输出: false
解释: "a" 无法匹配 "aa" 整个字符串。

示例 2:

输入:
s = "aa"
p = "*"
输出: true
解释: '*' 可以匹配任意字符串。

示例 3:

输入:
s = "cb"
p = "?a"
输出: false
解释: '?' 可以匹配 'c', 但第二个 'a' 无法匹配 'b'。

示例 4:

输入:
s = "adceb"
p = "*a*b"
输出: true
解释: 第一个 '*' 可以匹配空字符串, 第二个 '*' 可以匹配字符串 "dce".

示例 5:

输入:
s = "acdcb"
p = "a*c?b"
输出: false

解题思路

看了题解做出来的，动态规划
用dp[i][j]表示s[:i]和p[:j]的匹配情况，则转移方程：

1. 当s[i] == p[j]时，dp[i][j] = dp[i - 1][j - 1]
2. 当p[j] == '?'时，dp[i][j] = dp[i - 1][j - 1]
3. 当p[j] == '*'时，dp[i][j] = dp[i - 1][j] or dp[i][j - 1]

关于第3种情况需要说明：
dp[i][j - 1]表示不用当前这个*号，其实就是*匹配了空字符串的情况
dp[i - 1][j]比较难理解，表示保留当前的*号，然后匹配s[:i - 1]。
在s[:i - 1]和末尾是*的p[:j]匹配时，又类似地要么*匹配空字符串，要么末尾是*的p[:j]匹配s[:i - 2]。如果匹配空字符串，实际上就相当于s[:i]和p[:j]匹配时，*匹配了1位字符的情况，2位、3位同理在s[:i - 2], s[:i - 3]和p[:j]匹配时会包含。

最后看一下初始化的情况，可以看到需要对行、列为0时单独处理，所以可以多增加1行1列，分别代表s = ''和p = ''时的匹配情况即可。

代码

class Solution:
    def isMatch(self, s: str, p: str) -> bool:
        dp = [[True] * (len(s) + 1) for _ in range(len(p) + 1)]
        # init
        for col in range(1, len(s) + 1):
            dp[0][col] = False
        for row in range(1, len(p) + 1):
            if p[row - 1] == '*':
                dp[row][0] = dp[row - 1][0]
            else:
                dp[row][0] = False
        for row in range(1, len(p) + 1):
            for col in range(1, len(s) + 1):
                if s[col - 1] == p[row - 1] or p[row - 1] == '?':
                    dp[row][col] = dp[row - 1][col - 1]
                elif p[row - 1] == '*':
                    dp[row][col] = dp[row - 1][col] or dp[row][col - 1]
                else:
                    dp[row][col] = False
        return dp[-1][-1]