LeetCode0044-通配符匹配

LeetCode0044-通配符匹配

题目：

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

示例 4:

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

示例 5:

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

分析：

动态规划

在给定的模式p中，只会有三种类型的字符出现：

• 小写字母a-z ,可以匹配对应的一个小写字母
• 问号 ? ，可以匹配任意一个小写字母
• 星号*，可以匹配任意字符串，可以为空，也就是匹配零个或任意个小写字母

其中小写字母和问号的匹配是确定的，而星号的匹配是不确定的，因此需要枚举所有的匹配情况。为了减少枚举，可以使用动态规划来解决。

用dp[i][j] 表示字符串s的前i个字符与模式p 的前j个字符是否能匹配。在进行状态转移时，可以考虑模式p的第j个字符pj和与之对应的字符串s的第i个字符si：

• 如果pj 是小写字母，那么si必须也为相同的小写字母，状态转移方程为：
  $$dp[i][j]=\left(s_i\text{ 与 }{p}_j\text{ 相同 }\right)\wedge dp[i-1][j-1]$$

其中$\wedge$ 表示逻辑与运算，也就是说，dp[i][j]为真，当且仅当dp[i-1][j-1]为真，并且si与pj相同。

• 如果pj 是问号，那么对si没有任何要求，状态转移方程为：
  $$dp[i][j]=dp[i-1][j-1]$$

• 如果pj为星号，那么同样对si没有任何要求，但是星号可以匹配零或任意多个小写字母，因此状态转移方程分为俩种情况，即使用或者不使用：
  d p [ i ] [ j ] = d p