Leetcode#44 Wildcard Matching

原题地址

非常有技巧性的一道题，虽然本质上仍然是搜索+回溯，但关键是如何处理模式串里的多余的*，如果处理的不好就超时了。

基本的搜索+回溯算法是这样的，对于原串s和模式串p，依次遍历其字符：

(a) 如果p[j]="*"，依次将p[j+1..p.length]和s[i..s.length]、s[i+1..s.length]、s[i+2..s.length]...匹配，如果全都失败了，将i和j回溯到上一个"*"号位置

(b) 如果s[i]="?"或s[i]=p[j]，说明当前字符匹配，此时i++,j++

(c) 否则，说明当前字符不匹配，回溯至上一个星号位置

可以看出，如果"*"很多，而且总是失败，那么算法的回溯代价是巨大的

优化的地方在于：对于情况(a)，如果当前匹配失败，就说明整个匹配失败了，不需要回溯至上一个星号处。

说白了就是，最多回溯到p串的上一个"*"号处，在往前的"*"不用管了。

例如：

   0 1 2 3 4 5 6 7 8 
s: a b c d a c c c
   | |     
p: a b * c d * a c c
               |
              失配

上面的例子，s[5]!=p[6]，那么最多只需要回溯到第二个星号位置（p[5]="*"），不需要回溯到第一个星号位置（p[2]="*"）。因为回溯到更早的"*"不会产生新的匹配结果。（这个结论以后有机会证明一下）

代码：

bool isMatch(const char *s, const char *p) {
  const char *star = NULL;
  const char *backup = NULL;
        
  while (*s) {
    if (*p == '*') {
      backup = s;
      star = ++p;
    }
    else if (*p == '?' || *p == *s) {
      s++;
      p++;
    }
    else if (star) {
      p = star;
      s = ++backup;
    }
    else
      break;
  }
        
  while (*p == '*')
    p++;
  return !*s && !*p;
}