LeetCode-10-正则表达式匹配

1、动态规划法

我们可以定义一个二维布尔数组dp[i][j]来表示从字符串s中拿出前i位和从字符串p中拿出前j位进行匹配的结果。二维数组初始化为false，其中dp[0][0]为true，可以理解为当两个字符串均为空时一定匹配。

对于字符串p匹配字符串s的前0位时，我们需要注意可能会出现第二位为"*"的情况，考虑到这种情况下我们认为第p[i-2]位可以出现0次，因而应当赋值为true。

而后我们需要考虑动态规划法的状态转移方程，我们可以把情况分为两种：（1）当p[i-1]位不为" * “时，此时dp[i][j]匹配的情况取决于两个条件：一是dp[i-1][j-1]即字符串s前i-1位与字符串p前j-1位的匹配情况；二是字符串s第i位与字符串p第j位是否相等，或字符串p第j位是否为.，二者之间为或。这两种情况之间的关系为与，即dp[i][j]=dp[i-1][j-1] && (s[i-1]= =p[j-1] || p[j-1]= =‘.’)（2）当p[i-1]位为” * "时，此时dp[i][j]匹配的情况有两种：一是不匹配，即考虑dp[i][j-2]的状态；二是匹配一次或多次，此时需要考虑考虑dp[i-1][j]的情况以及字符串s第i位与字符串p第j位是否相等，或字符串p第j位是否为.，后两个的关系为或，前面的关系为与。而以上两种情况的关系为或，即dp[i][j]=dp[i][j-2]||(dp[i-1][j]&&(s[i-1]= =p[j-1] || p[j-1]= =‘.’))。值得注意的是考虑到动态规划法的特点，dp[i-1][j]的状态代表了匹配一次或多次的所有可能。

class Solution {
public:
    bool isMatch(string s, string p) {
        int m=s.size(),n=p.size();
        vector<vector<int>> dp(m+1,vector<int>(n+1,false));
        dp[0][0]=true;

        for(int i=2;i<=n;i++){
            if(p[i-1]=='*')
                dp[0][i]=dp[0][i-2];
        }

        for(int i=1;i<=m;i++){
            for(int j=1;j<=n;j++){
                if(p[j-1]=='*'){
                    dp[i][j]=dp[i][j-2]||(dp[i-1][j]&&(s[i-1]==p[j-2]||p[j-2]=='.'));
                }
                else{
                    dp[i][j]=dp[i-1][j-1]&&(s[i-1]==p[j-1]||p[j-1]=='.');
                }
            }
        }
        return dp[m][n];
    }
};