字符处理编程笔记二
2.正则表达式匹配
来源:力扣(LeetCode)
链接:https://leetcode-cn.com/problems/regular-expression-matching
题目:
给你一个字符串 s 和一个字符规律 p,请你来实现一个支持 ‘.’ 和 ‘*’ 的正则表达式匹配
示例 1:
输入:
s = “aa”
p = “a”
输出: false
解释: “a” 无法匹配 “aa” 整个字符串。
示例 2:
输入:
s = “aa”
p = “a*”
输出: true
解释: 因为 ‘*’ 代表可以匹配零个或多个前面的那一个元素, 在这里前面的元素就是 ‘a’。因此,字符串 “aa” 可被视为 ‘a’ 重复了一次。
解法一:递归解法
1.递归法即每一次均匹配一个字符,然后直到遍历字符
2.其中".“可以匹配所有字符,”*"在每一次递归中均判断匹配了0次或者1次。
时间复杂度: O ( ( s + p ) × 2 s + p / 2 ) O((s+p) \times 2^{s+p/2}) O((s+p)×2s+p/2)
class Solution {
public:
bool isMatch(string s, string p) {
if(p.empty())
{
return s.empty();
}
bool firstMatch = (s[0] == p[0] || p[0] == '.');
if(p.size() >=2 && p[1] =='*')
{
return isMatch(s,p.substr(2,p.size()-1)) || (!s.empty()&&firstMatch && isMatch(s.substr(1,s.size()-1),p));
}else{
if(s.empty())
{
return false;
}
return firstMatch && isMatch(s.substr(1,s.size()-1),p.substr(1,p.size()-1));
}
}
};
解法二:动态规划
状态转移方程:
d
p
[
i
]
[
j
]
=
{
d
p
[
i
−
1
]
[
j
−
1
]
,
s
[
i
−
1
]
=
=
p
[
j
−
1
]
∣
∣
p
[
j
−
1
]
=
=
′
.
′
d
p
[
i
−
1
]
[
j
]
∣
∣
d
p
[
i
−
1
]
[
j
−
1
]
∣
∣
d
p
[
i
]
[
j
−
2
]
,
(
p
[
j
−
1
]
=
=
′
∗
′
&
&
p
[
j
−
2
]
=
=
s
[
i
]
∣
∣
p
[
j
−
2
]
=
=
′
.
′
)
d
p
[
i
]
[
j
−
2
]
,
(
p
[
j
−
1
]
=
=
′
∗
′
&
&
p
[
j
−
2
]
!
=
s
[
i
]
∣
∣
p
[
j
−
2
]
!
=
′
.
′
)
dp[i][j]=\left\{ \begin{aligned} &dp[i-1][j-1] ,&s[i-1]==p[j-1]||p[j-1]=='.'\\ &dp[i-1][j]||dp[i-1][j-1]||dp[i][j-2] ,&(p[j-1]=='*' \&\&p[j-2]==s[i]||p[j-2]=='.')\\ &dp[i][j-2] ,&(p[j-1]=='*' \&\&p[j-2]!=s[i]||p[j-2]!='.') \end{aligned} \right.
dp[i][j]=⎩⎪⎨⎪⎧dp[i−1][j−1],dp[i−1][j]∣∣dp[i−1][j−1]∣∣dp[i][j−2],dp[i][j−2],s[i−1]==p[j−1]∣∣p[j−1]==′.′(p[j−1]==′∗′&&p[j−2]==s[i]∣∣p[j−2]==′.′)(p[j−1]==′∗′&&p[j−2]!=s[i]∣∣p[j−2]!=′.′)
时间复杂度:
O
(
s
×
p
)
O(s\times p)
O(s×p)
class Solution
{
public:
bool isMatch(string s, string p)
{
int sSize = int(s.size());
int pSize = int(p.size());
if (p.empty())
{
return s.empty();
}
vector<vector<bool>> dp(sSize + 1,vector<bool>(pSize + 1,false));
dp[0][0] = true;
if (sSize != 0 && (p[0] == s[0] || p[0] == '.'))
{
dp[1][1] = true;
}
if (p[0] == '*')
{
dp[0][1] = true;
}
for (int i = 1; i < pSize; i++)
{
if (p[i] == '*' && dp[0][i - 1] == true)
{
dp[0][i + 1] = true;
}
}
for (int i = 0; i < sSize; i++)
{
for (int j = 1; j < pSize; j++)
{
if (p[j] == '.' || p[j] == s[i])
{
dp[i + 1][j + 1] = dp[i][j];
}
if (p[j] == '*')
{
if (p[j - 1] != s[i] && p[j - 1] != '.')
{
dp[i + 1][j + 1] = dp[i + 1][j - 1];
}
else
{
dp[i + 1][j + 1] = (dp[i][j + 1] || dp[i + 1][j - 1]);// || dp[i + 1][j]不需要
}
}
}
}
//print(dp);
return dp[sSize][pSize];
}
};