难度:困难。
标签:字符串,动态规划,回溯法。
使用动态规划的方法, d p [ i ] [ j ] dp[i][j] dp[i][j]表示 s s s的前 i i i个字符串与 p p p的前 j j j个字符串是否匹配,即
d p [ i ] [ j ] = i s M a t c h ( s [ 0... i − 1 ] , p [ 0... j − 1 ] ) dp[i][j] = isMatch(s[0...i-1], p[0...j-1]) dp[i][j]=isMatch(s[0...i−1],p[0...j−1])
括号中为索引,数组 d p dp dp的索引范围为 d p [ 0... s n ] [ 0... p n ] dp[0...s_n][0...p_n] dp[0...sn][0...pn], s s s和 p p p的索引范围分别是 s [ 0... s n − 1 ] s[0...s_n-1] s[0...sn−1]和 p [ 0... p n − 1 ] p[0...p_n-1] p[0...pn−1]。
重点在于初始状态的赋值,转移函数,可见代码。
有一点比较容易出错,就是 d p dp dp的索引范围与 s s s和 p p p是不同的。 d p [ 0 ] [ 0 ] dp[0][0] dp[0][0]表示 s s s和 p p p都为空时,是否匹配。
class Solution {
public:
bool isMatch(string s, string p) {
int s_n = s.length(), p_n = p.length();
if(s_n == 0 && p_n == 0)return true;
if(p == ".*")return true;
bool dp[22][32];
for(int i = 0; i <= s_n; i++){
if(i == 0)dp[i][0] = true;
else dp[i][0] = false;
}
for(int i = 1; i <= p_n; i++){
if(p[i - 1] == '*' && i > 1){
if(dp[0][i - 2] || dp[0][i - 1])dp[0][i] = true;
else dp[0][i] = false;
}
else dp[0][i] = false;
}
for(int i = 1; i <= s_n; i++){
for(int j = 1; j <= p_n; j++){
dp[i][j] = false;
if(dp[i - 1][j - 1]){
if(s[i - 1] == p[j - 1] || p[j - 1] == '.'){
dp[i][j] = true;
continue;
}
else if(p[j - 1] == '*'){
if(p[j - 2] == '.' || p[j - 2] == s[i - 1]){
dp[i][j] = true;
continue;
}
}
}
if(dp[i - 1][j]){
if(p[j - 1] == '*' && (p[j - 2] == '.' || p[j - 2] == s[i - 1])){
dp[i][j] = true;
continue;
}
}
if(p[j - 1] == '*'){
if(dp[i][j - 1] || dp[i][j - 2]){
dp[i][j] = true;
continue;
}
}
}
}
/*
for(int i = 0; i <= s_n; i++){
for(int j = 0; j <= p_n; j++){
cout << int(dp[i][j]) << " ";
}
cout << endl;
}
*/
return dp[s_n][p_n];
}
};
结果:
在【剑指 Offer 19. 正则表达式匹配】重新做了一次,代码简洁不少。
正确解法:
class Solution {
public:
bool isMatch(string s, string p) {
int n = s.length(), m = p.length();
if(n == 0 && m == 0)return true;
else if(m == 0)return false;
vector<vector<int>> dp(n + 1, vector<int>(m + 1));
dp[0][0] = 1;
for(int j = 2; j <= m; j++){
if(p[j - 1] == '*')dp[0][j] = dp[0][j - 2];
}
for(int i = 1; i <= n; i++){ // s
for(int j = 1; j <= m; j++){ // p
if(p[j - 1] == '.' || p[j - 1] == s[i - 1]){
dp[i][j] = dp[i - 1][j - 1];
}
else if(j > 1 && p[j - 1] == '*'){
if(p[j - 2] == '.' || p[j - 2] == s[i - 1]){
dp[i][j] = dp[i - 1][j] || dp[i - 1][j - 2] || dp[i][j - 2];
}
else{
dp[i][j] = dp[i][j - 2];
}
}
}
}
/*
for(int i = 0; i <= n; i++){
for(int j = 0; j <= m; j++)cout << dp[i][j] << " ";
cout << endl;
}
*/
return (bool)dp[n][m];
}
};
结果: