LeetCode #44 通配符匹配

给定一个字符串 (s) 和一个字符模式 (p) ，实现一个支持 '?' 和 '*' 的通配符匹配。

'?' 可以匹配任何单个字符。
'*' 可以匹配任意字符串（包括空字符串）。
两个字符串完全匹配才算匹配成功。

输入:
s = "adceb"
p = "*a*b"
输出: true
解释: 第一个 '*' 可以匹配空字符串, 第二个 '*' 可以匹配字符串 "dce".

https://leetcode-cn.com/problems/wildcard-matching/

一、动态规划

 动态规划主要是使用空间枚举出所有的可能情况，记录所有情况之间的关系最终得到结果都方法。在通配符匹配中主要需要考虑三种情况：

• 当模式pj（这里的j表示的是p中的第几个元素和数组下标J之间的关系为J=j-1）为‘*’时，那么将有两种情况，一是使用这个‘*’：dp[i][j]=dp[i-1][j]，这个关系转移表达式的意义是指由于使用‘*’当做某一和s[i]匹配的字符，因此它和上一个字符s[i-1]的匹配结果相同；二是不使用这个‘*’：dp[i][j]=dp[i][j-1]，这意味着它和上一个s[i]和p[j-1]的匹配结果相同。
• 当pj不是‘*’时，那么就很好区分了。当si和pj，即s[i-1]和p[j-1]相等或者pj==‘?’时，那么就意味着这个时候dp[i][j]的值只取决于dp[i-1][j-1]的值，即dp[i][j]=dp[i-1][j-1]。
• 需要考虑边界条件，在s为空字符串时p如果仅为‘*’，那么就意味着匹配为true，而如果后续它有其它符号那么就是false；当p为‘’时，那么只要s不为空结果都是false。其中dp[0][0]=true。

---

代码： 

    bool isMatch(string s, string p) {
        const auto m = s.length(), n = p.length();
        vector<vector<int>> dp(m + 1, vector<int>(n + 1));
        dp[0][0] = true;
        // 当s=""时为'*'的部分都为true
        for(int i = 1; i <= n; ++i)
        {
            if(p[i - 1] == '*')
                dp[0][i] = true;
            else
                break;
        }
        for(int i = 1; i <= m; ++i)
        {
            for(int j = 1; j <= n; ++j)
            {
                if(p[j - 1] == '*')
                {
                    dp[i][j] = dp[i - 1][j] | dp[i][j - 1];
                }
                else if(p[j - 1] == s[i - 1] || p[j - 1] == '?')
                {
                    dp[i][j] = dp[i - 1][j -1];
                }
            }
        }
        return dp[m][n];
    }

图解：

当s=‘abcabcd’，p=‘*ab?d’时（空的地方为初始化时的0，即false，T表示true）

dp[0][1]=true;

初始化

	0.	1.a	2.b	3.c	4.a	5.b	6.c	7.d
0.	T
1.*	T
2.a
3.b
4.?
5.d

dp[1][1]=dp[1][0]|dp[0][1]=false|true=true;

i=1,j=1

	0.	1.a	2.b	3.c	4.a	5.b	6.c	7.d
0.	T
1.*	T	T
2.a
3.b
4.?
5.d

dp[1][2]=dp[0][1]=true;

i=1,j=2

	0.	1.a	2.b	3.c	4.a	5.b	6.c	7.d
0.	T
1.*	T	T
2.a		T
3.b
4.?
5.d

dp[1][3]=false;

i=1,j=3

	0.	1.a	2.b	3.c	4.a	5.b	6.c	7.d
0.	T
1.*	T	T
2.a		T
3.b
4.?
5.d

dp[1][4]=dp[0][3]=false;

i=1,j=4

	0.	1.a	2.b	3.c	4.a	5.b	6.c	7.d
0.	T
1.*	T	T
2.a		T
3.b
4.?
5.d

... ...

dp[2][1]=dp[1][1]|dp[2][0]=true|false=true;

i=2,j=1

	0.	1.a	2.b	3.c	4.a	5.b	6.c	7.d
0.	T
1.*	T	T	T
2.a		T
3.b
4.?
5.d

... ...

dp[7][5]=dp[6][4]=true;

i=7,j=5

	0.	1.a	2.b	3.c	4.a	5.b	6.c	7.d
0.	T
1.*	T	T	T	T	T	T	T	T
2.a		T			T
3.b			T			T
4.?				T			T
5.d								T