19. 正则表达式匹配

剑指 Offer 19. 正则表达式匹配

思路：动态规划

状态定义：dp[i] [j]代表字符串s的前i个字符和p的前j个字符是否匹配

转移方程：需要注意，由于dp[0] [0]代表的是空字符的状态，因此dp[i] [j]对应的添加字符是s[i-1]和p[j-1]

• 当p[j-1] = '*'时，dp[i] [j]在以下任一情况为true时为true：
  • dp[i] [j-2]: 即将字符组合p[j-2]p[j-1]看作0次
  • dp[i-1] [j]且 s[i-1]==p[j-2]：即让字符p[j-2]多出现一次时是否匹配
  • dp[i-1] [j]且p[j-2]==’.’: 即让字符’.'多出现1次是否匹配
• 当dp[j-1]!=’*'时，dp[i] [j]在以下任一情况为true时为true：
  • dp[i-1] [j-1]且s[i-1]==p[j-1]：即让字符s[i-1]和p[j-1]匹配
  • dp[i-1] [j-1]且p[j-1]==’.’：即将字符’.'看作字符s[i-1]时是否匹配

初始化：需要初始化dp首行，以避免状态转移时索引越界。

• dp[0] [0]=true：代表2个空字符是否匹配
• dp[0] [j]=dp[0] [j-2]且p[j-1] = ‘*’：首行s为空字符串，因此当p的偶数位时才能够匹配。
• 返回值dp[m] [n]

class Solution {
public:
    bool isMatch(string s, string p) {
        int m=s.size(),n=p.size();
        vector<vector<bool>> dp(m+1,vector<bool>(n+1));
        dp[0][0]=true;
        for(int i=2;i<=n;i++){
            dp[0][i]=dp[0][i-2]&&p[i-1]=='*';
        }

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

时间复杂度 O(mn)

空间复杂度 O(mn)