力扣10.正则表达式匹配 C++动态规划解法

题目：
给你一个字符串 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
解释：".*" 表示可匹配零个或多个（'*'）任意字符（'.'）。

提示：

1 <= s.length <= 20
1 <= p.length <= 20
s 只包含从 a-z 的小写字母。
p 只包含从 a-z 的小写字母，以及字符 . 和 *。
保证每次出现字符 * 时，前面都匹配到有效的字符

解题思路:
这题其实题目描述并不好,其实他的要求是p正好能够匹配s,而不是p能够包涵s,比如s=“ab” p="abc"就应该是false
其次当输入：s = “ab”, p = “.*“一开始也不理解为什么能是true
因为p可以理解为两个. 所以能够匹配
其实这是个万能组合 可以表示”…”

下面给出解题思路与代码

//这题最直观的想法不是用dp而是直接按正则表达式的实现来:生成有限状态机
//但是这种解法太复杂了 各种细节边界和状态 对编译原理要求很高 相当于手撸轮子
//所以这题考虑用动态规划 用dp[i][j]表示s的前i个和p的前j个字符能否匹配 最终答案为dp[m][n] m、n为它俩的size

//在求dp[i][j]时需要观察s[i-1]和p[j-1] s[i-1]肯定是小写字符 而p[j-1]有小写字母、*、.三种情况 
//一、当p[j-1]是小写字母时 很容易求出转移方程：1.s[i-1]==p[j-1] 则dp[i][j]=dp[i-1][j-1]
//2.s[i-1]!=p[j-1] 则dp[i][j]=false

//二、当p[j-1]是* 则表示我们可以让p[j-2]删除或者重复多次 所以这种情况需要考虑*加上p[j-2]的组合如何去匹配s
//1.s[i-1]!=p[j-2] 则扔掉这个组合 即删除p[j-2]和p[j-1] 所以dp[i][j]=dp[i][j-2]
//2.s[i-1]==p[j-2] 可以选择消去s[i-1] 且该组合可以匹配多次 所以j不动 dp[i][j]=dp[i-1][j]
//并且也可以选择不匹配 dp[i][j]=dp[i][j-2] 所以针对第2中情况 只要有一种选择是true dp[i][j]就是true
//所以dp[i][j]=dp[i-1][j]||dp[i][j-2]
//3.p[j-2]=='.' 那么".*"组合可以形成"....."的万能组合 所以j也可以不动 dp[i][j]=dp[i-1][j]

//三、当p[j-1]是. 直接将其变为s[i-1] 所以dp[i][j]=dp[i-1][j-1]

//上述一、三可分到一个if语句中 因为最终转移方程相同
//类似的 二中相同转移状态也可以尽量结合到一个if中判断

//初始状态:dp[0][0]=true 表示空字符能匹配上  当s为空 p非空 需要状态转移计算 此时不一定能匹配上
//当s非空 p为空 不可能匹配上 所以都设为false 所以dp[i][0]=false

//如何遍历:观察所有的转移方程 显然使用常规的i:0->m,j:0->n即可
bool isMatch(string s, string p) {
    int m=s.size(),n=p.size();
    vector<vector<int>> dp(m+1,vector<int>(n+1));
    dp[0][0]=true;
    //for(int i=1;i<=m;++i) dp[i][0]=false;
    for(int i=0;i<=m;++i){
        for(int j=1;j<=n;++j){
            if(p[j-1]!='*'){//p[j-1]为'.'或字母匹配的情况
                if(i>0&&(p[j-1]=='.'||s[i-1]==p[j-1])) dp[i][j]=dp[i-1][j-1];//注意当i=0时的边界情况需要考虑 防止越界
            }
            else{//p[j-1]=='*' 看p[j-2]
                if(i>0&&j>1&&(p[j-2]=='.'||s[i-1]==p[j-2])) dp[i][j]=dp[i-1][j];
                if(j>1) dp[i][j]|=dp[i][j-2];//这一步无论s[i-1]与p[j-2]相不相等都会有 所以放在最后
                //并且//"|="运算很好的处理了 当两种情况只要满足一个为true结果就是true的逻辑
            }
        }
    }
    return dp[m][n];
}