day06-正则表达式匹配
给你一个字符串 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
解释:".*" 表示可匹配零个或多个('*')任意字符('.')。
示例 4:
输入:s = "aab" p = "c*a*b"
输出:true
解释:因为 '*' 表示零个或多个,这里 'c' 为 0 个, 'a' 被重复一次。因此可以匹配字符串 "aab"。
示例 5:
输入:s = "mississippi" p = "mis*is*p*."
输出:false
提示:
1 <= s.length <= 20
1 <= p.length <= 30
s 可能为空,且只包含从 a-z 的小写字母。
p 可能为空,且只包含从 a-z 的小写字母,以及字符 . 和 *。
保证每次出现字符 * 时,前面都匹配到有效的字符
来源:力扣(LeetCode)
链接:https://leetcode-cn.com/problems/regular-expression-matching
解题思路:
附上动态规划思想的讲解:https://www.cnblogs.com/wlw-x/p/12591363.html
动态规划转移:将后一个的状态转化为前面的状态的函数关系,直到转化为第一个或第0个的状态。(该思想不只用于该题,任何可以用这种类型的函数关系表达的问题都可以使用,当我们用逻辑解决一个问题很复杂时,不妨将逻辑用函数关系来表达,)
我们用f[i][j]表示字符串s的前i个字符和正则表达式的前j个字符是否匹配。f[0][0]=true(因为两个空字符串匹配结果为true)
以一个例子详解动态规划转移方程:
S = abbbbc
P = ab*d*c
1. 当 i, j 指向的字符均为字母(或 '.' 可以看成一个特殊的字母)时,
只需判断对应位置的字符即可,
若相等,只需判断 i,j 之前的字符串是否匹配即可,转化为子问题 f[i-1][j-1].
若不等,则当前的 i,j 肯定不能匹配,为 false.
f[i-1][j-1] i
| |
S [a b b b b][c]
P [a b * d *][c]
|
j
2. 如果当前 j 指向的字符为 '*',则不妨把类似 'a*', 'b*' 等的当成整体看待。
看下面的例子
i
|
S a b [b] b b c
P a [b *] d * c
|
j
注意到当 'b*' 匹配完 'b' 之后,它仍然可以继续发挥作用。
因此可以只把 i 前移一位,而不丢弃 'b*', 转化为子问题 f[i-1][j]:
i
| <--
S a [b] b b b c
P a [b *] d * c
|
j
另外,也可以选择让 'b*' 不再进行匹配,把 'b*' 丢弃。
转化为子问题 f[i][j-2]:
i
|
S a b [b] b b c
P [a] b * d * c
|
j <--
3. 冗余的状态转移不会影响答案,
因为当 j 指向 'b*' 中的 'b' 时, 这个状态对于答案是没有用的,
原因参见评论区 稳中求胜 的解释, 当 j 指向 '*' 时,
dp[i][j]只与dp[i][j-2]有关, 跳过了 dp[i][j-1].
解题代码:
class Solution {
public boolean isMatch(String s, String p) {
int m = s.length();
int n = p.length();
boolean[][] f = new boolean[m+1][n+1];
f[0][0] = true;
for(int i = 0; i<=m; i++){
for(int j=1; j<=n; j++){
if(p.charAt(j-1)=='*'){
if(i-1>=0&&match(p.charAt(j-2),s.charAt(i-1))){
f[i][j] = f[i-1][j]||f[i][j-2];
continue;
}
f[i][j] = f[i][j-2];
}else{
if(i-1>=0&&match(p.charAt(j-1),s.charAt(i-1))){
f[i][j] = f[i-1][j-1];
continue;
}
f[i][j] = false;
}
}
}
return f[m][n];
}
public boolean match(char a, char b){
return a=='.'||a==b ? true :false;
}
}
执行效率: