剑指offer | 19. 正则表达式匹配

题目内容：

请实现一个函数用来匹配包含’.
‘和’‘的正则表达式。模式中的字符’.‘表示任意一个字符，而’'表示它前面的字符可以出现任意次（含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]='.'，即让字符‘.’多出现一次，看能否匹配。
  • 当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]时，能否匹配；

• 初始化：需要先初始化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<