44. 通配符匹配
给定一个字符串 (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 = “ab”
输出: true
解释: 第一个 ‘’ 可以匹配空字符串, 第二个 '’ 可以匹配字符串 “dce”.
示例 5:
输入:
s = “acdcb”
p = “a*c?b”
输出: false
思路:
与上一题(参考链接1)不同的是,这里’*'不再和前面一个元素绑定在一起。
(1)状态表示
\qquad
dp[i][j]表示 s 的前 i 个字符与 p 中的前 j 个字符是否能够匹配。
(2)状态转移
- 如果 p[j] = s[i] : dp[i][j] = dp[i-1][j-1];
- 如果 p[j] = ‘?’ : dp[i][j] = dp[i-1][j-1];
- 如果 p[j] = ’ * ':
\qquad dp[i][j] = dp[i-1][j] \qquad //in this case, a* counts as multiple a
\quad or dp[i][j] = dp[i][j-1] \qquad // in this case, a* counts as empty
(3)初始状态
\qquad
只有确定了边界条件,才能进行动态规划。在上述的状态转移方程中,由于 dp[i][j] 对应着 s 的前 i 个字符和模式 p 的前 j 个字符,因此所有的 dp[0][j] 和 dp[i][0] 都是边界条件,因为它们涉及到空字符串或者空模式的情况,这是我们在状态转移方程中没有考虑到的:
dp[0][0]=True,即当字符串 ss 和模式 pp 均为空时,匹配成功;
dp[i][0]=False,即空模式无法匹配非空字符串;
dp[0][j] 需要分情况讨论:因为星号才能匹配空字符串,所以只有当模式 p 的前 j 个字符均为星号时,dp[0][j] 才为真。
代码;
class Solution {
public:
bool match(string &s, string &p,int i, int j) //判断s[i]和p[j]是否相等
{
if(i<0 || j<0)
return false;
if(s[i]==p[j] || p[j]=='?')
return true;
return false;
}
bool isMatch(string s, string p) {
int m=s.length();
int n=p.length();
vector<vector<int>> dp(m+1, vector<int>(n+1,0));
dp[0][0]=true; //初始条件,两个长度均为0,则可以匹配
for(int j=1;j<=n;j++) //初始条件, dp[0][j],即对于p的长度j的子串,只有全部为'*'才能与i=0匹配
{
if(p[j-1]=='*')
{
dp[0][j]=true;
}else{
break;
}
}
//状态转移
for(int i=1;i<=m;i++)
{
for(int j=1;j<=n;j++)
{
if(match(s, p, i-1, j-1))
{
dp[i][j]=dp[i-1][j-1];
}else if( p[j-1]=='*' )
{
dp[i][j]=(dp[i-1][j] || dp[i][j-1]); //对应使用'*'号,不使用'*'号
}
}
}
return dp[m][n];
}
};
结果:
参考链接:
[1] 消失男孩:[LeetCode][C++]10. 正则表达式匹配