Wildcard Matching (Recursive and Non Recursive method) （Leetcode 网易有道面试题）

题目描述

 (http://www.leetcode.com/onlinejudge 倒数第三题）

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") → falseisMatch("aa","aa") → trueisMatch("aaa","aa") → falseisMatch("aa", "*") → trueisMatch("aa", "a*") → trueisMatch("ab", "?*") → trueisMatch("aab", "c*a*b") → false

这个题目的非递归算法，被网易有道面试官，面到过。并且要求写出程序，其实非递归算法要考虑的东西还是很多的，如果没有见过算法，真是很难写出来。笔者在这里给出递归和非递归算法。仅供参考

题目分析： 

和正则表达式的匹配有点不同的是，在这里*号是不依赖与以前的符号是，是一个通配符。*是一个多重通配符，而*是一个单一通配符。

递归解法

其实题目很容易写出一个递归的方法：

递归方法首先检查输入两个串是否都是空，如果是空，认为已经匹配完毕，直接返回true。

如果被匹配串是空，模式串如果是 *， 那么是true

如果模式串是空，那么结果是false

class Solution {public:       bool isMatch(const char *s, const char *p) {if(*s == 0 && *p == 0){ //两个串是否都是空，如果是空，认为已经匹配完毕，直接返回true。return true;}if(*s == 0){ //如果被匹配串是空，模式串如果 全是*，那么就是truewhile(*p == '*') p++;return !(*p);}if(*p == 0){return false;}int i;for( i = 0; s[i] && p[i] ; i++){ //匹配过程if(s[i] != p[i]){if(p[i] == '?'){ //单一通配符continue;}else if(p[i] == '*'){ //多重通配符s += i;p += i;return isMatch(s, p + 1) || isMatch(s + 1, p);//匹配和不匹配，两种情况}else{return false;}}}return isMatch(s + i, p + i); //匹配剩余的}};

非递归方法

非递归方法的主要思想是，从匹配串和模式串开头匹配，如果发现当前不能匹配了，则检测之前是否出现过 *， 如果有*出现过，则模式串跳过当前不匹配的字符，模式串跳过星号。

例如

abbc  a*c***

第一次 startLoop

i = 0;  a 和 a 匹配成功

i = 1;  b 和 * 发现不能匹配，程序流到 case '*', 因为 * 和 b 可以匹配，所以将 p 和 s 各自 + i ，标记 star为真, 重新开始匹配。

第二次 startLoop

i = 0;  b 和 c 不能匹配 跳到 starcheck 看看 之前是不是有 *， 如果存在 *，则 s + 1， p 不增加（此时p还是 上一个 * 的下一个位置）， 然后继续匹配

第三次 startLoop:

i = 0; c = c 可以匹配 

这时候 s[i] == 0

跳出循环

{

while(p[i] == '*')i++;return !(p[i]);

}

用来检测当 s 串匹配完了以后 p串是不是全为 * ，如果全是*，则可以匹配，否则匹配失败。

bool isMatch(const char *s, const char *p) {int i;bool star = false;startLoop:{for( i = 0; s[i] ; i++){ switch(p[i]){ case '?': break;case '*': //如果当前 为*， 那么匹配上刚刚不能匹配的那个字符，并且将p移动到 * 结束后的 第一个字符star = true;  //p 每次指向的位置，要么是最开始，要么是 * 结束的第一个位置p += i;  s += i;while(*p == '*'){++p;} //检测p是不是后面全是 *if(!(*p)) return true;goto startLoop; //重新开始循环, p 指向 * 结束后的 第一个 非*default:if(s[i] != p[i]){ //如果 s[i] != p[i]goto starCheck;}}}}while(p[i] == '*')i++;return !(p[i]);starCheck:{if(star){ //当 s[i] != p[i], 检测 p 之前是不是 *， 如果是 *，那么我们将s 向后移动一个，其实就是枚举 s 到 s[i],和 p[0] 匹配。s++; goto startLoop;}return false;}      }

算法是速度是相当快的，在第一种情况下TLE的情况下，算法二仅仅需要 80ms，看来非递归的效率确实是很高的。