LEETCODE 10 Regular Expression Matching （JAVA题解）

https://leetcode.com/problems/regular-expression-matching/

原题链接。

题意解析：

实现正则表达式的 '.' 和 '*' 匹配功能

‘.’ 可以匹配任意字符

'c*' 可以匹配0个，1个，或者多个连续的c字符，只有与其他字符一起，‘*’才会发挥作用

解题思路：

首先要明确，这类题目是一种几乎不能一次AC的题目，除非你自己设计的测试案例非常好，可以在提交之前就考虑到所有奇葩的情况

看下面的一个测试案例：

“abcdabcdabcdabcdac”

'a*abcda*abcda*abcda*abcda*c'

熟悉正则表达式的朋友，一眼能看出它是能匹配的。

问题在于，模式字符串中有多个a*，而在这多个a*都可以表示一个a的，但当且仅当前四个表示0个a，第五个表示1个a的时候，才能使整个字符串匹配。

一般在做字符串匹配的时候，都是从左往右匹配的，那么，怎么可以知道，我应不应该匹配目前可以匹配的字符呢？

具体来说，就是，当地一个a*遇到第一个a的时候，它应该表示0个a，还是表示1个a？

不到后面是不知道的，所以，这涉及到回退的问题，凡是涉及到回退的问题，就要用到递归。

递归算法是解决这个问题的第一大思路。

涉及到递归算法，就要确定两点：递归出口和递归过程

递归出口，各位朋友可以多试几个测试案例来确定，也就是多提交几次，当然有些递归出口是容易想到的，例如当两个字符串的索引都到达尾部的时候

递归体，要考虑几个分支情况。

1.普通字符以及‘.’之间的匹配（不涉及'*'）

     1.1匹配的话应该怎样做

     1.2不匹配的话应该怎样做

2.涉及到‘*’的匹配

     2.1匹配的话应该怎样做

     2.2不匹配的话应该怎样做

普通的递归是一定会超时的，所以需要剪枝，而这里的剪枝的方法就是记忆化递归。记忆化递归就是用一个数组记录状态的返回结果。

点到即止

解题代码如下（本人初哥，代码写得丑，恳请各位指正）：

public boolean isMatch(String s, String p) {
        
        int index1=0,index2=0;
        Boolean[][] remember=new Boolean[s.length()+1][p.length()+1];
        for(int i=0;i<s.length()+1;i++){
            for(int j=0;j<p.length()+1;j++){
                remember[i][j]=null;
            }
        }
        
        return isMatch(s,p,0,0,remember);
    }
    
    private Boolean isMatch(String s,String p,int index1,int index2,Boolean[][] remember){
        //采用记忆化递归搜索方法
        if(remember[index1][index2]!=null){
            return remember[index1][index2];
        }
        if(index1==s.length() && index2==p.length()){
            return remember[index1][index2]=true;
        }
        if(index1!=s.length() && index2==p.length()){
            return remember[index1][index2]=false;
        }
        if(index1==s.length() && index2!=p.length()){
            if(index2<p.length()-1 && p.charAt(index2+1)=='*'){
                return remember[index1][index2+2]=isMatch(s,p,index1,index2+2,remember);
            }else{
                return remember[index1][index2]=false;
            }
        }
        if(index2<p.length()-1 && p.charAt(index2+1)=='*'){
            if(s.charAt(index1)==p.charAt(index2) || p.charAt(index2)=='.'){
                return (remember[index1+1][index2]=isMatch(s,p,index1+1,index2,remember)) ||
                       (remember[index1][index2+2]=isMatch(s,p,index1,index2+2,remember)) ||
                       (remember[index1+1][index2+2]=isMatch(s,p,index1+1,index2+2,remember));
            }else{
                return remember[index1][index2+2]=isMatch(s,p,index1,index2+2,remember);
            }
        }else{
            if(s.charAt(index1)==p.charAt(index2) || p.charAt(index2)=='.'){
                return remember[index1+1][index2+1]=isMatch(s,p,index1+1,index2+1,remember);
            }else{
                return false;
            }
        }
    }