算法题解之正则表达式匹配

题目描述

此题目来自力扣，难度为：困难，题目描述如下：
给你一个字符串 s 和一个字符规律 p，请你来实现一个支持 ‘.’ 和 ‘*’ 的正则表达式匹配。

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

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

示例 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"。

示例 5：

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

提示：

• 0 <= s.length <= 20
• 0 <= p.length <= 30
• s 可能为空，且只包含从 a-z 的小写字母。
• p 可能为空，且只包含从 a-z 的小写字母，以及字符 . 和 *。
• 保证每次出现字符 * 时，前面都匹配到有效的字符

解法：动态规划法

思路

如果没有字符’*’,直接遍历字符串的字符数组，遇到两个字符匹配就继续，否则就停止，这道题就非常容易了。但是对于’*’，可以匹配前面字符0次或1至多次(任意次)，可能的情况就很多了，这时候可以考虑动态规划算法。
大家都知道处理动态规划问题的关键是确定状态转移方程，对于本题目，状态假设为f[i][j],表示s 的前 i 个字符与 p 中的前 j 个字符是否能够匹配。在进行状态转移时，考虑p中第j个字符的匹配情况：

• 如果p的第j个字符是a-z 的小写字母，s[i]和p[j]的匹配情况：

  s[i]=p[j]，那么f[i][j]=f[i-1][j-1];
  s[i]<>p[j]，那么f[i][j]=false;
  

• 如果p的第j个字符是’*’，需要将p的第j-1个字符结合起来一起看，表示对 p 的第 j−1 个字符匹配任意次：
  匹配0次：

  	f[i][j]=f[i][j−2]
  

  在匹配1,2,3,⋯⋯ 次的情况下，类似地我们有

  	f[i][j]=f[i−1][j−2],    if s[i]=p[j−1]
  	f[i][j]=f[i−2][j−2],    if s[i−1]=s[i]=p[j−1]
  	f[i][j]=f[i−3][j−2],    if s[i−2]=s[i−1]=s[i]=p[j−1]
  	⋯⋯
  

  由于情况比较多，不好一一列举，这里换个角度，字母+星号组合可归纳为：
  • 出现0次，f[i][j]=f[i][j-2]; (此时s[i]和p[j-1]可以相等也可以不相等)
  • 出现1次或多次，匹配s末尾的字符(s[i]=p[j-1])，将该s[i]字符去掉，该p[j-1]*组合仍然可以向前与s[i-1]继续匹配,即if s[i]=p[j-1], f[i][j]=f[i-1][j]
    所以状态转移方程可写为：
• 如果p的第j个字符是’.’，那么f[i][j]=true

最终的状态转移方程为:

其中 matches(x,y) 判断两个字符是否匹配的辅助函数。只有当 y 是 . 或者 x 和 y 本身相同时，这两个字符才会匹配。

注： f[0][0] =true，即两个空字符串是可以匹配的。

题解

class Solution {
    public boolean isMatch(String s, String p) {
        int m = s.length();
        int n = p.length();
		//这里数组长度均+1是因为考虑了s和p可能为空的情况
        boolean[][] f = new boolean[m + 1][n + 1];
        f[0][0] = true;
        for (int i = 0; i <= m; ++i) {
            for (int j = 1; j <= n; ++j) {
                if (p.charAt(j - 1) == '*') {     
                    if (matches(s, p, i, j - 1)) {
                        f[i][j] = f[i][j - 2]|| f[i - 1][j];
                    }else{
                        f[i][j] = f[i][j - 2];
                    }
                } else {
                    if (matches(s, p, i, j)) {
                        f[i][j] = f[i - 1][j - 1];
                    }
                }
            }
        }
        return f[m][n];
    }

    public boolean matches(String s, String p, int i, int j) {
        if (i == 0) {
            return false;
        }
        //因为前面方法循环中定义的二维数组考虑了s和p为空的情况，所以比较f[i][j]中第i行字符和第j列字符是否相等时，实际要判断s.charAt(i-1)和p.charAt(j-1)是否匹配
        if (p.charAt(j - 1) == '.') {//如果p.charAt(j-1)是'.'，则一定匹配
            return true;
        }
        return s.charAt(i - 1) == p.charAt(j - 1); //如果两个字符相等则匹配
    }

}

时间复杂度O(mn)，空间复杂度O(mn)
参考：
【1】https://leetcode-cn.com/problems/regular-expression-matching/
【2】https://leetcode-cn.com/problems/regular-expression-matching/solution/zheng-ze-biao-da-shi-pi-pei-by-leetcode-solution/