题目
给定一个字符串 (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]:
- 如果 p[j]是小写字母,那么 s[i] 必须也为相同的小写字母,状态转移方程为:
dp[i][j] = (s[i] == p[j]) && dp[i−1][j−1]; - 如果 p[j] 是问号,那么对 s[i] 没有任何要求,状态转移方程为:
dp[i][j] = dp[i-1][j-1]; - 如果 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] 都是边界条件,因为它们涉及到空字符串或者空模式的情况:
- dp[0][0]=True,即当字符串 s 和模式 p 均为空时,匹配成功;
- dp[i][0]=False,即空模式无法匹配非空字符串;
- 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];
}
}