给你一个字符串 s
和一个字符规律 p
,请你来实现一个支持 '.'
和 '*'
的正则表达式匹配。
'.'
匹配任意单个字符'*'
匹配零个或多个前面的那一个元素
所谓匹配,是要涵盖 整个 字符串 s
的,而不是部分字符串。
示例 1:
输入:s = "aa", p = "a" 输出:false 解释:"a" 无法匹配 "aa" 整个字符串。
示例 2:
输入:s = "aa", p = "a*" 输出:true 解释:因为 '*' 代表可以匹配零个或多个前面的那一个元素, 在这里前面的元素就是 'a'。因此,字符串 "aa" 可被视为 'a' 重复了一次。
示例 3:
输入:s = "ab", p = ".*" 输出:true 解释:".*" 表示可匹配零个或多个('*')任意字符('.')。
主要思路:
首先,dp[0][0]表示s和p都为空时,显然是匹配的,所以dp[0][0]为true。 其次,当p的第一个字符为'*'时,'*'可以匹配0个或多个其前面的字符,所以如果要匹配s,就必须把'*'和它前面的字符都删掉,即dp[0][j] = dp[0][j-2]。注意,当p为空时,也应该返回true,所以在循环中,j应该从1开始。 接下来,对于任意的i和j,有三种情况: - s[i-1]和p[j-1]相等,或者p[j-1]为'.',那么dp[i][j] = dp[i-1][j-1],表示当前字符匹配成功,继续匹配下一个字符。 - p[j-1]为'*',则有两种情况: - 如果s[i-1]和p[j-2]不相等,并且p[j-2]不为'.',那么'*'只能匹配0个其前面的字符,所以dp[i][j] = dp[i][j-2]。 - 如果s[i-1]和p[j-2]相等,或者p[j-2]为'.',那么'*'可以匹配0个或多个其前面的字符,所以dp[i][j] = dp[i][j-2] | dp[i-1][j]。其中,dp[i][j-2]表示'*'匹配0个其前面的字符,dp[i-1][j]表示'*'匹配多个其前面的字符。
代码:
class Solution {
public:
bool isMatch(string s, string p) {
int m = s.size(); // 计算字符串 s 的长度
int n= p.size(); // 计算字符串 p 的长度
vector<vector<bool>> dp(m+1, vector<bool>(n+1, false)); // 定义一个二维的 bool 类型的数组 dp,用来记录匹配情况
dp[0][0] = true; // 初始化 dp[0][0] 为 true,表示两个空字符串是匹配的
for(int j=1; j<=n; j++) // 遍历字符串 p,j 从 1 开始
{
if(p[j-1]=='*') dp[0][j] = dp[0][j-2]; // 如果 p[j-1] 是 '*',则 dp[0][j] 的值等于 dp[0][j-2],即 '*' 前面的字符出现 0 次的情况
}
for(int i=1; i<=m; i++) // 遍历字符串 s,i 从 1 开始
{
for(int j=1; j<=n; j++) // 遍历字符串 p,j 从 1 开始
{
if(s[i-1]==p[j-1] || p[j-1]=='.') dp[i][j] = dp[i-1][j-1]; // 如果 s[i-1] 和 p[j-1] 相等,或者 p[j-1] 是 '.',则 dp[i][j] 的值等于 dp[i-1][j-1],即不考虑当前字符是否匹配
else if(p[j-1]=='*') // 如果 p[j-1] 是 '*'
{
if(s[i-1]!=p[j-2] && p[j-2]!='.') // 如果 s[i-1] 和 p[j-2] 不相等,且 p[j-2] 不是 '.'
{
dp[i][j] = dp[i][j-2]; // 则 dp[i][j] 的值等于 dp[i][j-2],即 '*' 前面的字符出现 0 次的情况
}
else // 否则
{
dp[i][j] = dp[i][j-2] | dp[i-1][j]; // dp[i][j] 的值等于 dp[i][j-2] 或 dp[i-1][j],即 '*' 前面的字符出现 0 次或者多次的情况
}
}
}
}
return dp[m][n]; // 返回 dp[m][n],即字符串 s 和 p 是否匹配
}
};