【DFS】leetcode 10. 正则表达式匹配

题目

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

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

所谓匹配，是要涵盖 整个 字符串 s的，而不是部分字符串。
说明:

• s可能为空，且只包含从 a-z 的小写字母。
• p可能为空，且只包含从 a-z 的小写字母，以及字符 . 和 *。

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

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

输入:
s = "ab"
p = ".*"
输出: true
解释: ".*" 表示可匹配零个或多个（'*'）任意字符（'.'）。

输入:
s = "aab"
p = "c*a*b"
输出: true
解释: 因为 '*' 表示零个或多个，这里 'c' 为 0 个, 'a' 被重复一次。因此可以匹配字符串 "aab"。

输入:
s = "mississippi"
p = "mis*is*p*."
输出: false

思路

(这是一道自己做了半天没做出来，看题解看了半天终于理解了记忆化搜索，但是DP还是没看懂的题，等哪天DP理解了我再来补这个笔记= =)
1、字符串s和模式串p的字符匹配只有四种情况：

• ① s[i]==p[j] （字符串s第i个字符和模式串p第j个字符相等）
• ② p[j]==’.’ （模式串p第j个字符是’.'可以匹配任意单个字符，不过空字符不算，不能匹配空字符)
• ③ p[j+1]==’*’ && (p[j]==s[i] || p[j]==’.’) （这是’*‘匹配至少一个字符的情况，当匹配串p中’*‘前一个字符和字符串s[i]字符相等，或者p[j]是’.'可以匹配任意一个字符串）
• ④当p[j+1]==’*’，而③的条件不满足时，’*'可以选择匹配0个字符，就是直接跳过匹配串p[j]、p[j+1]两个字符
  
  
  

代码

class Solution {
public:
    bool dfs(string& s, string& p, int n, int m, vector<vector<int>>& vis){
    	//当vis[n][m]≠-1 证明前面已经计算过了 直接返回结果 值0表示匹配失败 值1表示匹配成功
        if(vis[n][m]!=-1)
            return vis[n][m];
            
        //当模式串p所有字符已经匹配完，判断字符串s是否已经匹配完了
        if(m == p.size())
            return s.size() == n;
            
        //flag记录s第i个字符和p第j个字符是否直接匹配成功
        bool flag = n < s.size() && (s[n]==p[m] || p[m]=='.'), ans;

        //
        if(m<p.size()-1 && p[m+1]=='*')
        	//处理字符'*'	匹配0个字符           	匹配至少1个字符
            ans = dfs(s, p, n, m+2, vis) || (flag  && dfs(s, p, n+1, m, vis));
        else
        	//当前字符不出现'*' 只有上面flag的两种情况才能匹配成功
            ans = flag && dfs(s, p, n+1, m+1, vis);
        
        //把结果写进备忘录
        vis[n][m] = ans ? 1 : 0;
        
        return ans;
    }

    bool isMatch(string s, string p) {
    	//备忘录 实现记忆化搜索 值-1代表还没记录 值0表示匹配失败 值1表示匹配成功
        vector<vector<int>> vis(1000, vector<int>(1000, -1));
        return dfs(s, p, 0, 0, vis);
    }
};