动态规划：正则表达式匹配

1、背景介绍

给你一个字符串 s 和一个字符规律 p，请你来实现一个支持 ‘.’ 和 ‘*’ 的正则表达式匹配。

‘.’ 匹配任意单个字符
‘*’ 匹配零个或多个前面的那一个元素

示例 1：

输入：s = “aa” p = “a”
输出：false
解释：“a” 无法匹配 “aa” 整个字符串。

示例 2:

输入：s = “aa” p = “a*”
输出：true
解释：因为 ‘*’ 代表可以匹配零个或多个前面的那一个元素, 在这里前面的元素就是 ‘a’。因此，字符串 “aa” 可被视为 ‘a’ 重复了一次。

2、解题思路

2.1状态转移方程

分析题意时发现，要得到s中前i个字符和p中前j个字符是否匹配，可以利用s中第i-1个字符和p中第j-1个字符是否匹配的结果，结合第i个s字符和第j个p字符是否匹配的条件，得到想要的结果。很明显，这种使用缓存的思想，可以通过动态规划的思路结题。

接下来重要的就是分析状态转移方程。

根据p[j]可能的情况，可以分为三种情形讨论：

• 普通字符
• 点
• 星

1）、若p[j]为普通字符,则dp[i][j] =dp[i][j] = s[i]==p[j]&&dp[i-1][j-1];
原因是，只有s[i]和p[j]相等并且之前dp[i-1][j-1]已经匹配是，dp[i][j]才匹配。

2）若p[j]为点，那么s[i]和p[j]必定匹配，
则dp[i][j] =dp[i][j] = dp[i-1][j-1];

3）若p[j]为星，此种情况比较复杂，根据题意可知，星单独本身没有任何意义，只有和前一个字符在一起时，才有意义，因此，遇到星时，需要将其和前面的字符一起分析：

3.1）若p[j-1]*,表示0次p[j-1],那么dp[i][j] = dp[i][j-2];

3.2）若p[j-1]*,表示1次p[j-1],那么
dp[i][j] = (dp[i][j-1] && (s[i] == p[j-1] | | p[j-1] == ‘.’));

3.3）若p[j-1],表示多次p[j-1],那么
dp[i][j] = (dp[i-1][j] && (s[i] == p[j-1] | | p[j-1] == ‘.’));
这种情况比较难理解，举例：
s=“aaaab”
p="aab"
此时a就表示多次的a，当判断s中第4个a和p中的匹配时，需比较s[i]和p[j-1]是否相等，并且由于a*表示多次的a，所以可以换一个维度理解：遍历s，是否和aa匹配，指向p的指针停留在上，因为a*表示多次的a，所以需要用到s[i-1]和a*的匹配情况，所以
dp[i][j] = (dp[i-1][j] && (s[i] == p[j-1] | | p[j-1] == ‘.’));

2.2初始化

为了能表示出s和p为空串的情况，在s和p中分别插入一个‘0’。
所以dp[0][0]为true。

除了s和p都为空串的情况，还有s为空串，p不为空串的情况，此时只要p满足_* _*的结构也是true。

若s不为空，p为空，则肯定不匹配。

3、源码分享

class Solution {
   
public:
    bool isMatch(string s, string p) {
   
        int m = s.length