剑指offer 正则表达式匹配（超清晰 代码配状态转移示意图）

剑指offer 正则表达式匹配

题目：请实现一个函数用来匹配包括’.‘和’*'的正则表达式。

模式中的字符’.‘表示任意一个字符，而’*'表示它前面的字符可以出现任意次（含0次）。

在本题中，匹配是指字符串的所有字符匹配整个模式。

例如，字符串"aaa"与模式串"a.a"和"abaca"匹配，但是与"aa.a"和"ab*a"均不匹配。

思路：动态规划，f[x][y]模式串p从y到末尾和字符串s从x到末尾是否匹配。首先当p[y+1]为 * 时f[x][y]转移有两种情况,第一种 * 代表0个字符因此从f[x][y+2]转移而来，第二种 * 代表1个字符因此从f[x+1][y]转移而来，因为模式串还是在y所以可以继续使用 * 来匹配等价于可以匹配1-n个。普通情况需判断s[x]==p[y]或者p[y]等于 . 即从f[x+1][y+1]转移过来。

class Solution {
public:
    int n,m;
    vector<vector<int>>f;
    bool isMatch(string s, string p) {
        n=s.size();
        m=p.size();
        f=vector<vector<int>>(n+1,vector<int>(m+1,-1));
        return dp(0,0,s,p);
    }
    int  dp(int x,int y,string &s,string &p){
        //防止重新再算
        if(f[x][y]!=-1)return f[x][y];
        //如果模式串已经到最后了，需要判断字符串是否到最后
        if(y==m)return f[x][y]=x==n;
        //用x<n防止f[x][y]越界
        bool first_match = x<n&&(s[x]==p[y]||p[y]=='.');
        bool ans;
        if(y+1<m&&p[y+1]=='*')
        {
            ans = dp(x,y+2,s,p)||(first_match&&dp(x+1,y,s,p));
        }
        else
            ans = first_match&&dp(x+1,y+1,s,p);
        return f[x][y] = ans;
    }
};