从0.001开始LeetCodeTask18：正则表达式匹配

给你一个字符串 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 = “cab”
输出: true
解释: 因为 ‘*’ 表示零个或多个，这里 ‘c’ 为 0 个, ‘a’ 被重复一次。因此可以匹配字符串 “aab”。
示例 5:

输入:
s = “mississippi”
p = “misisp*.”
输出: false、

过于困难因此参考的官方题解：算法思想：
自底向上的动态规划，使用b[i][j]表示p[j…length-1]是否匹配ti…length

边界处理:
定义back[text.length+1][pattern.length+1]，额外增加两行哨兵处理边界。
b[t.length][p.length]=true (表示t和p都为空)
b[0…t.length-1][p.length]=false (表示t不空，p为空，一定为false）
b[t.length][0…p.length-1] (表示t为空，p不为空，p匹配t为空的情况)

状态转移方程：
it.length&&jp.length: b[i][j]=true
p[j…] contain’’: b[i][j]=b[i][j+2]||(firstmatch&&b[i+1][j])
p[j…] !contain’’ && firstmatch : b[i][j]=b[i+1][j+1]
p[j…] !contain’*’ && !firstmatch : return false

规划子问题的解决顺序：
从p的最后一个字符subp开始匹配空字符、t的最后一个字符、从t的最后一个字符开始向前递增的字串，结束一个循环后，subp向前递增。
也就是从矩阵b[0…t.length][0…p.length-1]从下到上，从左到右的顺序，最后得到的b[0][0]就是答案。
代码：

class Solution {
    public boolean isMatch(String s, String p) {
        boolean[][] b = new boolean[s.length() + 1][p.length() + 1];
        b[s.length()][p.length()]=true;

        for (int j = p.length()-1; j >=0 ; j--) {
            for (int i=s.length();i>=0;i--){
                boolean firstmatch=i<s.length()&&(s.charAt(i)==p.charAt(j)||p.charAt(j)=='.');
                if(j+1<=p.length()-1&&p.charAt(j+1)=='*')
                    b[i][j]=b[i][j+2]||(firstmatch&&b[i+1][j]);
                else
                    b[i][j] = firstmatch?b[i+1][j+1]:false;
            }
        }
        return b[0][0];
    }
}