Sword19——正则表达式匹配

Sword19——正则表达式匹配

注：五颗星困难模式，不喜勿入

方法1——动态规划

• 思路：字符串中主要存在三种字符：普通字符、“*”代表前一个字符可出现n次（包括0）、“.”代表任意一个字符
  • 状态定义：dp[0, 0]代表两个空字符串互相匹配，因此dp[i, j]代表s字符串的前i个字符与p字符串的前j个字符能否匹配
  • 初始化：dp[0][j] = dp[0][j - 2] && p.charAt(j - 1) == ‘*’;
    • dp矩阵的首行，即判断p字符串符合空字符串的情况
    • 符合空字符串，唯一情况只可能是p字符串的偶数位均为*
    • 而从矩阵中开始计算的位置是p字符串的起始位置
    • 相当于不断从p字符串中截取偶数个字符与之对比
    • 因此只需要从第三项开始(第一项为p字符串为空字符串)，即j从2开始
    • 每隔2位进行一次判断，终止条件为不越界p字符串的长度n
    • 后续单元格是否符合的条件为：往前减2的单元格符合 + 当前单元格下标j对应p字符串中字符为*
    • 因为正好使得往前减1的字符出现次数为0
  • 转移方程
    • 注意：dp[i, j]代表的为s[i - 1] 和 p[j - 1]，往前代表往p字符串前面，往上代表向s字符串前面
    • 当p[j - 1] = '*'时，即p字符串当前字符为”*“，以下几种情况代表匹配
      • 往前减2的单元格中匹配，即dp[i, j - 2]为true，此时代表p字符串中往前减1的字符可出现n次
      • 往上减1的单元格中匹配，且s字符串的当前字符与p字符串的上一个字符相同，即dp[i - 1, j]为true，且s[i - 1] == p[j - 2]，此时代表p字符串中上一个字符可出现n次
      • 往上减1的单元格中匹配，且p字符串的当前字符为“.”，即dp[i - 1, j]为true，且p[j - 2] == ‘.’，此时代表p字符串中为”.*“，可代表任意字符出现任意次数
    • 当p[j - 1] != '*'时，即p字符串当前字符不为”*“，以下几种情况代表匹配
      • 往前往上都减1的单元格中匹配，且s字符串的当前字符与p字符串的当前字符相同，即dp[i - 1, j - 1]为true，且s[i - 1] == p[j - 1]，此时代表s字符串中当前字符与p字符串中当前字符相同
      • 往前往上都减1的单元格中匹配，且p字符串的当前字符为“.”，即dp[i - 1, j - 1]为true，且p[j - 1] == ‘.’，此时代表s字符串中当前字符可以被p字符串中当前字符’.'匹配
• 特殊情况与临界分析：见上述分析
• 终止条件：见上述分析
• 步骤：
  • 根据s、p的获取其长度，加1
  • 根据m、n构造dp数组
  • 初始化dp[0, 0]代表s和p均为空字符串进行匹配，结果必定为true
  • 初始化dp矩阵的首行，避免状态转移时下标越界
    • 详细分析见于思路——初始化
  • 根据状态方程进行演化
    • 详细分析见于思路——转移方程

    public boolean isMatch(String s, String p) {
        // dp[0][0]代表为空字符，因此m和n均加一
        int m = s.length() + 1, n = p.length() + 1;
        // 动态规划矩阵
        boolean[][] dp = new boolean[m][n];
        // 两个空字符可以进行匹配
        dp[0][0] = true;
        // 初始化dp矩阵的首行，避免状态转移时下标越界
        for(int j = 2; j < n; j += 2)
            dp[0][j] = dp[0][j - 2] && p.charAt(j - 1) == '*';
        // 根据状态方程开始计算
        for(int i = 1; i < m; i++) {
            for(int j = 1; j < n; j++) {
                // 判断p字符串中当前是否为*
                // 若为*，根据不同规则判断dp[i][j]
                dp[i][j] = p.charAt(j - 1) == '*' ?
                    dp[i][j - 2] || (dp[i - 1][j] && (s.charAt(i - 1) == p.charAt(j - 2) || p.charAt(j - 2) == '.')) :
                // 若不为*，根据不同规则判断dp[i][j]
                dp[i - 1][j - 1] && (p.charAt(j - 1) == '.' || s.charAt(i - 1) == p.charAt(j - 1));
            }
        }
        // 返回最终结果
        return dp[m - 1][n - 1];
    }