题目内容:
请实现一个函数用来匹配包含’.
‘和’‘的正则表达式。模式中的字符’.‘表示任意一个字符,而’'表示它前面的字符可以出现任意次(含0次)。在本题中,匹配是指字符串的所有字符匹配整个模式。例如,字符串"aaa"与模式"a.a"和"abaca"匹配,但与"aa.a"和"ab*a"均不匹配。
示例 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
s 可能为空,且只包含从 a-z 的小写字母。
p 可能为空,且只包含从 a-z 的小写字母以及字符 . 和 *,无连续的 '*'。
思路
-
状态定义:设动态规划矩阵
dp
,dp[i][j]
代表字符串s
的前i
个字符和p的前j
个字符是否能匹配。 -
转移方程:需要注意,由于
dp[0][0]
代表的是空字符串的状态,所以dp[i][j]
对应的是s
的前1~i-1
个字符与p
的前1~j-1
个字符,即最后一个字符分别是s[i-1]
和p[j-1]
-
以
p[j-1]
是否为*
,作为分类条件,分别考虑两种情况下各种匹配的情况。- 当
p[j-1]=='*'
,意味着p[j-2]
字符可以出现任意次。此时,当dp[i][j]
在以下任一情况为true
时,结果匹配。- 1:
dp[i][j-2]
,即将字符组合p[j-2]*
看作出现0次 - 2:
dp[i][j-1]
,即将字符组合p[j-2]*
看作出现一次 - 3:
dp[i-1][j]
且s[i-1]==p[j-2]
,即让字符p[j-2]
多出现一次 - 4:
dp[i-1][j]
且p[j-2]='.'
,即让字符‘.’
多出现一次,看能否匹配。
- 1:
- 当
p[j-1]!='*'
,此时,当dp[i][j]
在以下任一情况为true
时,结果匹配。- 1:
dp[i-1][j-1]
且s[i-1]=p[j-1]
,即让字符p[j-1]
多出现一次,能否匹配 - 2:
dp[i-1][j-1]
且p[j-1]=='.'
,即将字符'.'
看作字符s[i-1]
时,能否匹配;
- 1:
- 当
-
初始化:需要先初始化dp矩阵首行,以避免状态转移时索引越界。
dp[0][0]==true
,代表两个空字符串能够匹配dp[0][j]==dp[0][j-2]且p[j-1]=='*'
,首行s为空字符串,因此当p
的偶数位为*
时才能够匹配(即让p
的奇数位出现0次,保持p
是空字符串)。因此,循环遍历字符串p
,步长为2(即只看偶数位)
-
时间复杂度 O(MN)O(MN)O(MN) : 其中 M,NM, NM,N 分别为 s 和 p 的长度,状态转移
-
空间复杂度 O(MN)O(MN)O(MN) : 状态矩阵 dp 使用 O(MN)O(MN)O(MN) 的额外空间。
代码:
class<