python leetcode 044 通配符匹配（困难）解题报告

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

---

题目意思：大概类似于Re那道题的匹配。‘*'比较牛逼，可以想匹配啥就匹配啥，而'?'就不太一样，只能匹配单个字符（字符串也不允许）。很明显这道题是要用动态规划的。

思路：对于这种字符串+动态规划的题，题目问的是s和p是否匹配，我们应该把它认为是s的前len(s)个字符与p的前len(p)个字符是否匹配。这是一种对问题的不同层次的看法，用动态发展的眼光去看。既然动态规划，最难的就是研究动态转移方程，接下来剖析一下。

dp[i][j]表示p的前i个字符与s的前j个字符是否匹配。

class Solution:
    def isMatch(self, s, p):
        """
        :type s: str
        :type p: str
        :rtype: bool
        """
        #dp表，很常规，以p字符串作为列，以s作为行
        
        dp = [[False for i in range(len(p)+1)] for j in range(len(s)+1)]
        #双方都是空字符串，当然是true
        dp[0][0] = True
        
        for i in range(1, len(p)+1):
            if p[i-1] == '*':
                dp[0][i] = dp[0][i-1] #探讨的是当s为空字符串时，p的前j项是否匹配
                #如果p的这一次对应的项是*,则看它前一项是否匹配，如果是其他，抱歉，还是false
        #我们没有去填s不为空，p为空的情况，因为这样会刚好符合默认，也就是全为false。
        
        #开始填dp表
        #把字符串想象成未完成的状态，因为动态规划本身其实是不断在建设字符串的，所以p[j-1]为p的最后一项，因为后面的还未建设
        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-1] or dp[i-1][j-1] or dp[i-1][j]
                else:
                    #如果我们这一项为其他的，有可能是字母或'?'
                    #必须要求各后退一项也能匹配，并且在这号位上也能匹配
                    dp[i][j] = (s[i-1] == p[j-1] or p[j-1] == '?') and dp[i-1][j-1]
        #返回前len(s)的s 与 前len(p)的匹对结果
        return dp[len(s)][len(p)]

---

字符串动规匹配总结：

建设中的最后一项指的是p[j-1]，就我们这道题而言，它是不断在变大的，是动态的

1.如果建设中的最后一项为可以任意代表的比如*,则想象它代表空，代表一个字符，代表多个字符。

2.如果建设中的最后一项为单个字符的，则要求当前这一位匹配，且前i-1与j-1位也完全匹配。

---