[Leetcode] Wildcard Matching

题目链接在此。

Implement wildcard pattern matching with support for '?' and '*'.

'?' Matches any single character.
'*' Matches any sequence of characters (including the empty sequence).

The matching should cover the entire input string (not partial).

The function prototype should be:
bool isMatch(const char *s, const char *p)

Some examples:
isMatch("aa","a") → false
isMatch("aa","aa") → true
isMatch("aaa","aa") → false
isMatch("aa", "*") → true
isMatch("aa", "a*") → true
isMatch("ab", "?*") → true
isMatch("aab", "c*a*b") → false

wildcard...这个词体育赛事里经常出现，叫“外卡”，比如网球公开赛里，外卡是指给本来没有资格参加比赛的优秀选手发的参赛资格。

扯远了。这里wildcard是【通配符】的意思。'?' 能代表任意字符，'*'能代表任意长度的字符串（包括空串）。有那么点像正则表达式，但其实不是一回事。

要你判断字符串s能否匹配上p的模式。

解题的第一反应自然是动态规划了。说起DP，这玩意儿以前一直觉得深不可测，但自从上学期上了算法课之后，还是 弄清楚了不少。现在至少拿到别人的状态转移方程，能看懂了。至于要自己把方程想出来，还是有很大挑战。

设：F(i,j)是s的前i个字符能否匹配上p的前j个字符的模式。注意是前 i 个和前 j 个！

所以要注意下标了，F(i,j)是比较s[0...i-1]和p[0...j-1]

好，咱们现在这么想。

假设我们现在正试图判断 F(i,j) 是true还是false。那么我们可能需要用到这三项作参考：

F(i - 1, j - 1) , F(i, j - 1) , F(i - 1, j) 

如果要让s的前i个字符p的前j个字符匹配的话，分情况：

（1）如果p的第j个字符（p[j-1]）不是星号*的话，那么肯定要满足p[j-1]刚好就是s[i-1]，或者p[j-1]是问号；其次别忘了F(i - 1, j - 1) 得是true才行。

（2）如果p的第j个字符（p[j-1]）是星号*的话，那么只需要F(i, j - 1) 或 F(i - 1, j) 是true就行了。前一种情况：s的前i个和p的前j-1个匹配上了，那么p多一个星号更能匹配上了。后一种情况：s的前i-1个能和p的前j个匹配，而p的第j个是万能的星号，那么s随便多一个字符也能匹配上。

状态转移方程就是：

F(i,j) = F(i,j-1) ||F(i-1,j)   ，   p[j - 1] = '*'

F(i,j) = F(i-1,j-1)&& (s[i - 1] == p[j - 1] || p[j - 1] == '?')   ，   p[j - 1] != '*'

状态转移方程不指出边界条件的都是耍流氓。那么还得看看i或者j是0的情况。

i或者j是0，有什么实际的含义呢？空串呗！

F(0,0) 就是两个空串匹一匹啊，当然能匹配上啊。所以F(0,0)=true。

另外的话，F(i,0)一律是false，因为有长度的串是匹配不上空的模式的。

F(0,j)的话，得看p的前j个字符是否全都是*，是的话则是true，否则false。

上代码。

class Solution {
public:
	bool isMatch(string s, string p) {
		int m = s.length(), n = p.length();
		bool** Matrix = new bool*[m + 1];
		for (int i = 0; i <= m; i++)
			Matrix[i] = new bool[n + 1];

		Matrix[0][0] = true;
		for (int i = 1; i <= m; i++)
			Matrix[i][0] = false;
		for (int j = 1; j <= n; j++)
			Matrix[0][j] = Matrix[0][j - 1] && p[j - 1] == '*';

		for (int i = 1; i <= m; i++) {
			for (int j = 1; j <= n; j++) {
				if (p[j - 1] == '*')
					Matrix[i][j] = Matrix[i][j - 1] || Matrix[i - 1][j];
				else
					Matrix[i][j] = Matrix[i - 1][j - 1] && (s[i - 1] == p[j - 1] || p[j - 1] == '?');
			}
		}
		return Matrix[m][n];
	}
};

然后为了节省m*n的空间，可以从上到下一行一行地填矩阵，这样的话只需要2个数组就行了。O（n）的空间。
详情看这位大神的代码。

class Solution {
public:
    bool isMatch(string s, string p) { 
        int m = s.length(), n = p.length();
        if (n > 30000) return false; // the trick
        vector<bool> cur(m + 1, false); 
        cur[0] = true;
        for (int j = 1; j <= n; j++) {
            bool pre = cur[0]; // use the value before update
            cur[0] = cur[0] && p[j - 1] == '*'; 
            for (int i = 1; i <= m; i++) {
                bool temp = cur[i]; // record the value before update
                if (p[j - 1] != '*')
                    cur[i] = pre && (s[i - 1] == p[j - 1] || p[j - 1] == '?');
                else cur[i] = cur[i - 1] || cur[i];
                pre = temp;
            }
        }
        return cur[m]; 
    }
};