动态规划——通配符匹配

package greedy;

import com.sun.org.apache.bcel.internal.generic.IfInstruction;

import java.util.concurrent.ForkJoinPool;

/**
 * @author Eightn0
 * @create 2021-03-25 10:24
 * 要求：请实现支持'?'and'*'.的通配符模式匹配，'?' 可以匹配任何单个字符，'*' 可以匹配任何字符序列（包括空序列），
 *      返回两个字符串是否匹配
 * 思路：使用动态规划解题，用布尔型数组m[i][j]表示匹配情况，i为s的字符坐标，j为p的字符坐标
 * 首先考虑边界值：
 * m[0][0]为真
 * m[i][0]为假
 * m[0][j]分两种情况，若是*，可以匹配空字符，为真，若不是*则为假*
 *
 * 然后考虑非边界值：
 * 若pj为字母，那么只有在si与pj相等，且m[i-1][j-1]也满足的情况下才能匹配
 * 若pj是问号，那么对于si就没有特别要求，只需要m[i-1][j-1]满足
 * 若pj是*，那么对于si也没有特别要求，使用*匹配的时候需要m[i][j-1]满足要求，不使用*匹配的时候需要m[i-1][j]满足要求
 * 总结来看，m[i][j]为true有两种情况：字母匹配或？单字符匹配，都由m[i-1][j-1]转化而来
 *                                 *匹配，由m[i][j-1]或m[i-1][j]转化而来
 */
public class IsMatch {
    public boolean isMatch(String s, String p) {
        /*生成判断数组*/
        int sl = s.length();
        int pl = p.length();
        boolean[][] m = new boolean[sl + 1][pl + 1];//+1用于处理边界值

        /*先考虑边界值*/
        m[0][0] = true;//m[0][0]空匹配空为真
        //m[0][j]
        for (int i = 1; i < pl + 1; ++i) {
            if (p.charAt(i - 1) == '*'){
                m[0][i] = true;
            }else {
                break;
            }
        }
        //m[j][0]默认false不用处理

        /*考虑非边界值，分为两种情况*/
        for (int i = 1; i < sl + 1; ++i) {
            for (int j = 1; j < pl + 1; ++j) {
                if (p.charAt(j - 1) == '*'){
                    m[i][j] = m[i][j-1] || m[i-1][j];
                }else if (p.charAt(j - 1) == '?' || s.charAt(i - 1) == p.charAt(j - 1)){
                    m[i][j] = m[i-1][j-1];
                }
            }
        }
        return m[sl][pl];

    }
}