10. 正则表达式匹配

题目

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

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

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

说明：

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

示例1：

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

示例2

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

示例3

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

示例4

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

示例4

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

做的很垃圾，浪费半天时间，等做熟了再写思路。

思路一

回溯法。注意比较剑指offer的52.正则表达式匹配。当传入的是字符数组和string对象时的方法异同。

思路二

• 动态规划法。
• 首先，创建一个二维数组。$dp[i][j]$,p字符串中前j个字符是否能匹配s字符串中前i个字符。
• 令$dp[0]0]=true$,然后填充$dp[0[j]$，意思就是是否能匹配空串。
• 然后对于$dp[i][j]$进行判断：
  • 如果当前$p[j]{=}^{\prime }{\ast }^{\prime }$，如果$p[j-1]!=s[i]$，那么星号匹配0个字符，$dp[i][j]=dp[i][j-2]$；如果$p[j-1]==s[i]$，可以匹配多个字符，也可以匹配0个字符，$dp[i][j]=dp[i][j-2]||dp[i-1][j]$。
  • 如果$p[j]==s[i]$或者$s[i]{=}^{\prime }{.}^{\prime }$，那么匹配1个，$dp[i][j]=dp[i-1][j-1]$。

代码一

class Solution {
public:
    bool isMatch(string s, string p) {
        if ( s.size() && !p.size() ) return false;
        
        return helper( s, 0, p, 0 );
    }

    bool helper( string& s, int i, string& p, int j ) {
        if ( j == p.size() ) return ( i == s.size() );
        
        bool firstMatch = ( i < s.size() ) && ( s[i] == p[j] || p[j] == '.' );

        if ( j < p.size() - 1 && p[j+1] == '*' ) {
            return helper( s, i, p, j+2 )
                || ( firstMatch && helper( s, i+1, p, j ) );
        }
        else {
            return firstMatch && helper( s, i+1, p, j+1 );
        }
        
        return false;
    }
};

代码二

class Solution {
public:
    bool isMatch(string s, string p) {
        int rows = s.size();
        int cols = p.size();
        vector<vector<bool>> dp( rows+1, vector<bool>( cols+1, false ) );

        dp[0][0] = true;
        for ( int j = 1; j <= cols; ++j ) {
            if ( p[j-1] == '*' && dp[0][j-2] )    // '*'可以表示0个前面的元素，所以如果'*'前面的字符串匹配于空串，则当前串也匹配于空串。至于为什么要初始化这个，原因在于后面用到了dp[i][j] = dp[i-1][j]。dp[1][j] = dp[0][j]。
                dp[0][j] = true;

        }

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

        return dp[rows][cols];
    }
};