编程训练第三十五期——通配符匹配

编程问题：

给定一个字符串 s 和一个字符模式 p，实现一个支持 ? 和 * 的通配符匹配。其中 ?可以匹配任何单个字符。* 可以匹配任意字符串（包括空字符串）。

---

示例：

由于星号在csdn的引号中无法显示，在此用※代替

• 输入:
  s = “bb”
  p = “b”
  输出: false
  解释: “b” 无法匹配 “bb” 整个字符串。
• 输入:
  s = “bb”
  p = “※”
  输出: true
  解释: ‘※’ 可以匹配任意字符串。
• 输入:
  s = “bd”
  p = “?a”
  输出: false
  解释: ‘?’ 可以匹配 ‘b’, 但第二个 ‘a’ 无法匹配 ‘d’。
• 输入:
  s = “bdaef”
  p = “※b※e”
  输出: true
  解释: 第一个 ‘※’ 可以匹配空字符串, 第二个 ‘※’ 可以匹配字符串 “da”.

---

解法：

1.动态规划

• 状态定义：dp[i][j] 表示 s 的前 i 个字符和 p 的前 j 个字符是否匹配。
• 状态转移：如果 s[i - 1] == p[j - 1] 或 p[j - 1] == ‘?’，表示当前的字符串是匹配的，dp[i][j] 可以从 dp[i - 1][j - 1] 转移而来。如果 p[j - 1] == ‘※’，这个位置可以匹配 0 到 若干个字符。那么 dp[i][j] 可以从 dp[i - 1][j] 转移而来（表示当前星号匹配了当前的位置的字符），也可以从 dp[i][j - 1] 转移而来（表示当前星号没有匹配字符）。因为只要任意一种匹配即可，所以这里是逻辑或的关系。
• 初始化：一开始dp数组可以全定义为false，但有以下特殊情况。第一：当s和p都为空串，即dp[0][0] = true 表示空串是匹配的。第二：当s不为空，p为空，此时dp[i][0] = false 表示空串无法匹配。第三：当s为空，p不为空，如果出现’※‘的情况，它可以匹配空串，即dp[0][j] = true，但要注意如果p[j-1]是’※’，但它前面已经出现过不是’※'的字符，则此时dp[0][j] = false。
• 遍历顺序：由于需要知道dp[i-1][j]，dp[i][j-1]，dp[i-1][j-1]，因此是从前到后，从上到下的顺序。
• 返回结果：开始定义dp.size() = s.size() + 1 && dp[0].size() = p.size() + 1，此时需要返回dp[s.size()][p.size()]。

时间复杂度：O(mn)，其中 m 和 n 分别是字符串 s 和模式 p 的长度。
空间复杂度：O(mn)，即为存储所有 (m+1)(n+1) 个状态需要的空间。

class Solution {
public:
    bool isMatch(string s, string p) {
        int sizeS = s.size();
        int sizeP = p.size();
        vector<vector<bool>> dp(sizeS + 1, vector<bool>(sizeP + 1, false));
        dp[0][0] = true;
        for (int i = 1; i <= sizeP; i++)
        {
            if (p[i - 1] == '*')
            {
                dp[0][i] = dp[0][i-1];
            }
        }
        for (int i = 1; i <= sizeS; i++)
        {
            for (int j = 1; j <= sizeP; j++)
            {
                if (p[j-1] == '*')
                {
                    dp[i][j] = dp[i-1][j] | dp[i][j-1];
                }
                else if (s[i - 1] == p[j-1] || p[j-1] == '?')
                {
                    dp[i][j] = dp[i-1][j-1];
                }
            }
        }
        return dp[sizeS][sizeP];
    }
};