状态表示:f[i][j]
表示p从j开始到结尾,是否能匹配s从i开始到结尾
状态转移:
-
如果
p[j+1]
不是通配符'*'
,则f[i][j]
是真,当且仅当s[i]
可以和p[j]
匹配,且f[i+1][j+1]
是真; -
如果
p[j+1]
是通配符'*'
,则下面的情况只要有一种满足,f[i][j]
就是真;-
f[i][j+2]
是真;这这里表示0个p[j] -
s[i]
可以和p[j]
匹配,且f[i+1][j]
是真;
-
第1种情况下的状态转移很好理解,那第2种情况下的状态转移怎么理解呢?
最直观的转移方式是这样的:枚举通配符'*'
可以匹配多少个p[j]
,只要有一种情况可以匹配,则f[i][j]
就是真;
这样做的话,我们发现,f[i][j]
除了枚举0个p[j]
之外,其余的枚举操作都包含在f[i+1][j]
中了,所以我们只需判断
f[i+1][j]
是否为真,以及s[i]
是否可以和p[j]
匹配即可。
时间复杂度分析: n n n 表示 s s s的长度, m m m 表示p的长度,总共 n m nm nm 个状态,状态转移复杂度 O ( 1 ) O(1) O(1),所以总时间复杂度是 O ( n m ) O(nm) O(nm).
代码
class Solution {
public:
vector<vector<int>>f;
int n, m;
bool isMatch(string s, string p) {
n = s.size();
m = p.size();
f = vector<vector<int>>(n + 1, vector<int>(m + 1, -1));
return dp(0, 0, s, p);
}
bool dp(int x, int y, string &s, string &p)
{
if (f[x][y] != -1) return f[x][y];
if (y == m)
return f[x][y] = x == n;
bool first_match = x < n && (s[x] == p[y] || p[y] == '.');
bool ans;
if (y + 1 < m && p[y + 1] == '*')
{
ans = dp(x, y + 2, s, p) || first_match && dp(x + 1, y, s, p);
}
else
### 最后
看完上述知识点如果你深感Java基础不够扎实,或者刷题刷的不够、知识不全面
小编专门为你量身定制了一套<Java一线大厂高岗面试题解析合集:JAVA基础-中级-高级面试+SSM框架+分布式+性能调优+微服务+并发编程+网络+设计模式+数据结构与算法>
![image](https://img-blog.csdnimg.cn/img_convert/b3aaf46c65ce43f7d16bbf21dbb61c99.png)
针对知识面不够,也莫慌!还有一整套的<Java核心进阶手册>,可以瞬间查漏补缺
![image](https://img-blog.csdnimg.cn/img_convert/d0f551e76412102090a61b09db8d71a5.png)
> 全都是一丢一丢的收集整理纯手打出来的——收整在***[【我的学习笔记大全】](https://gitee.com/vip204888/java-p7)***,有需要的朋友可以自取
更有纯手绘的各大知识体系大纲,可供梳理:Java筑基、MySQL、Redis、并发编程、Spring、分布式高性能架构知识、微服务架构知识、开源框架知识点等等的xmind手绘图~
![image](https://img-blog.csdnimg.cn/img_convert/c4cc7073e7d382bc4a1515e261964049.png)
ySQL、Redis、并发编程、Spring、分布式高性能架构知识、微服务架构知识、开源框架知识点等等的xmind手绘图~
[外链图片转存中...(img-bGoT9MHn-1628421794969)]
![image](https://img-blog.csdnimg.cn/img_convert/d894ac5e56375735a350ca9914c638a7.png)