[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 个字符是否能匹配。在进行状态转移时，考虑模式 p 的第 j 个字符 p[j]，与之对应的是字符串 s 中的第 i 个字符 s[i]：

1. 如果 p[j]是小写字母，那么 s[i] 必须也为相同的小写字母，状态转移方程为：
   dp[i][j] = (s[i] == p[j]) && dp[i−1][j−1]；
2. 如果 p[j] 是问号，那么对 s[i] 没有任何要求，状态转移方程为：
   dp[i][j] = dp[i-1][j-1]；
3. 如果 p[j] 是星号，那么同样对 s[i] 没有任何要求，但是星号可以匹配零或任意多个小写字母，因此状态转移方程分为两种情况，即不使用或使用这个星号：
   dp[i][j] = dp[i][j−1] || dp[i−1][j]。

总结：

dp[i][j] = dp[i-1][j-1]，如果 (s[i] == p[j]) 或者 (p[j] == '?')
dp[i][j] = dp[i][j−1] || dp[i−1][j]，如果 p[j] == '*'。

边界条件：
在上述的状态转移方程中，由于 dp[i][j] 对应着 s 的前 i 个字符和模式 p 的前 j 个字符，因此所有的 dp[0][j] 和 dp[i][0] 都是边界条件，因为它们涉及到空字符串或者空模式的情况：

1. dp[0][0]=True，即当字符串 s 和模式 p 均为空时，匹配成功；
2. dp[i][0]=False，即空模式无法匹配非空字符串；
3. dp[0][j] 需要分情况讨论：因为星号才能匹配空字符串，所以只有当模式 p 的前 j 个字符均为星号时，dp[0][j] 才为真。

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

代码

class Solution {
    public boolean isMatch(String s, String p) {
        int m = s.length();
        int n = p.length();
        boolean[][] dp = new boolean[m+1][n+1];
        dp[0][0] = true;
        // 先处理dp[0][j]，即 s 为空字符串，模式 p 的前 j 个字符均为星号的情况
        for(int j=1; j<=n; j++){
            if(p.charAt(j-1)!='*'){
                break;
            }else{
                dp[0][j] = true;
            }
        }
        for(int i=1; i<=m; i++){
            for(int j=1; j<=n; j++){
                if(p.charAt(j-1)=='?' || p.charAt(j-1)==s.charAt(i-1)){
                    dp[i][j] = dp[i-1][j-1];
                }else if(p.charAt(j-1)=='*'){
                    dp[i][j] = dp[i][j-1] || dp[i-1][j];
                }
            }
        }
        return dp[m][n];
    }
}