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];
}