动态规划之通配符匹配

LeetCode 44. 通配符匹配

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

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

说明:
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'。

思路：动态规划

dp[i][j]表示s到i位置, p到j位置是否匹配

初始化:

dp[0][0]:什么都没有,所以为true
第一行dp[0][j],换句话说,s为空,与p匹配,所以只要p开始为*才为true
第一列dp[i][0],当然全部为False

动态方程:
如果(s[i] == p[j] || p[j] == "?") && dp[i-1][j-1] ,有dp[i][j] = true

如果p[j] == "*" && (dp[i-1][j] = true || dp[i][j-1] = true) 有dp[i][j] = true

​ note:

​ dp[i-1][j],表示*代表是空字符,例如ab,ab*

​ dp[i][j-1],表示*代表非空任何字符,例如abcd,ab*

class Solution:
    def isMatch(self, s: str, p: str) -> bool:
        if not p and not s:
            return True
        if not p:
            return False
        ls = len(s)
        lp = len(p)
        dp = [[False] * (lp + 1) for _ in range(ls + 1)]
        dp[0][0] = True
        for j in range(1, lp + 1): # 字符串索引从0-lp-1，对应的dp从1到lp
            if p[j - 1] == '*': # 当前为*,前一个可以匹配，当前就可以匹配
                dp[0][j] = dp[0][j - 1]
        for i in range(1, ls + 1):
            for j in range(1, lp + 1):
                # 当前字符相等或者p字符为‘?’,可以匹配任意单个字符
                if s[i - 1] == p[j - 1] or p[j - 1] == '?':
                    dp[i][j] = dp[i - 1][j - 1]

                # 当前不相等
                elif p[j - 1] == '*':
                    # dp[i-1][j]代表*为空字符，例如ab, ab*
                    # dp[i][j-1]代表*为非空字符，例如abcd,ab*
                    dp[i][j] = dp[i - 1][j] or dp[i][j - 1]
        return dp[-1][-1]