LeetCode Regular Expression Matching

这题没那么简单，贪心不行。自己写的递归，改了几次终于通过。

bool isMatch(const char *s, const char *p)
{
	if(s==NULL||p==NULL) return false;
	if(*s==0&&*p==0) return true;
	else
	{
		if(*s==0&&*p!=0)
		{
			const char *q=p;
			while(*q)
			{
				if(*(q+1)!='*') return false;
				q+=2;
			}
			return true;
		}
		else
		{
			if(*s!=0&&*p==0)
			{
				const char *q=s;
				while(*q)
				{
					if(*(q+1)!='*') return false;
					q+=2;
				}
				return true;
			}
			else
			{
				if(*(s+1)!='*'&&*(p+1)!='*')
				{
					if(*s==*p)
						return isMatch(s+1,p+1);
					else
					{
						if(*s=='.'||*p=='.')
							return isMatch(s+1,p+1);
						else
							return false;
					}
				}
				else
				{
					if(*(s+1)=='*'&&*(p+1)!='*')
					{
						bool flag=false;
						const char *q=p;
						if (*s=='.')
						{
							while(*q)
							{
								//if((*q!=*s)&&(*s!='.')&&(*p!='.')) return false;
								flag = isMatch(s+2,q);
								q++;
								if(*q=='*')q++;
								if(flag==true) return true;
							}
							return isMatch(s+2,q);
						}
						else
						{
							while (*q&&*q==*s)
							{
								flag = isMatch(s+2,q);
								q++;
								if(*q=='*')q++;
								if(flag==true) return true;
							}
							return isMatch(s+2,q);
						}
					}
					else
					{
						if(*(s+1)=='*'&&*(p+1)=='*')
						{
							return isMatch(s+2,p)||isMatch(s,p+2)||isMatch(s+2,p+2);
						}
						else
						{
							bool flag=false;
							const char *q=s;
							if (*p=='.')
							{
								while(*q)
								{
									//if(*q!=*p&&*p!='.'&&*s!='.') return false;
									flag = isMatch(q,p+2);
									q++;
									if(*q=='*')q++;
									if(flag==true) return true;
								}
								return isMatch(q,p+2);
							}
							else
							{
								while (*q&&*q==*p)
								{
									flag = isMatch(q,p+2);
									q++;
									if(*q=='*')q++;
									if(flag==true) return true;
								}
								return isMatch(q,p+2);
							}
							
						}
					}
				}
			}
		}
	}

}

后来看别人的递归程序，简单干练。递归如下：

bool isMatch(const char *s, const char *p) {
	assert(s && p);
	if (*p == '\0') return *s == '\0';

	// next char is not '*': must match current character
	if (*(p+1) != '*') {
		assert(*p != '*');
		return ((*p == *s) || (*p == '.' && *s != '\0')) && isMatch(s+1, p+1);
	}
	// next char is '*'
	while ((*p == *s) || (*p == '.' && *s != '\0')) {
		if (isMatch(s, p+2)) return true;
		s++;
	}
	return isMatch(s, p+2);
}

再看看速度更快的DP吧，看了一晚上，终于看懂了，还没看的太懂。动态规划如下：

bool isMatch(const char *s, const char *p) {  
	int slen = strlen(s), plen = strlen(p), i, j;  
	bool dp[500][500];  
	memset(dp,false, sizeof(dp));  
	dp[0][0] = true;  
	for (i = 1; i <= plen; ++i) {  
		if (p[i] == '*') {  
			dp[i][0] = dp[i + 1][0] = dp[i - 1][0];  
			for (j = 1; j <= slen; ++j)  
				dp[i][j] = dp[i + 1][j] = (dp[i][j - 1] && (p[i - 1] == s[j - 1] || p[i - 1] == '.') || dp[i - 1][j]);  
			++i;          
		}  
		else  
			for (j = 1; j <= slen; ++j)  
				dp[i][j] = dp[i - 1][j - 1] && (p[i - 1] == s[j - 1] || p[i - 1] == '.');  
	}  
	return dp[plen][slen];  
}

上面这个我是略微看懂了，不知道怎么说出来，可以拿例子试试p为ac*a*b，s为aab。还有一个DP的程序没怎么看懂，如下，其中用容器的容器来表示二维数组到可以学学：

bool isMatch(const char *s, const char *p) {  
	// Start typing your C/C++ solution below  
	// DO NOT write int main() function      

	if ( !s || !p )  
		return !s&&!p;  
	int ns=strlen(s);  
	int np=strlen(p);  
	vector<vector<bool> > dp(ns+1,vector<bool>(np+1,0));  
	dp[0][0]=true;  
	for(int i=1;i<=ns;i++)  
	{  
		if ( s[i-1]=='*' )  
		{  
			assert(i>=2);  
			dp[i][0]=dp[i-2][0];  
		}  
	}  
	for(int j=1;j<=np;j++)  
	{  
		if ( p[j-1]=='*' )  
		{  
			assert(j>=2);  
			dp[0][j]=dp[0][j-2];  
		}  
	}  
	for(int i=1;i<=ns;i++)  
	{  
		for(int j=1;j<=np;j++)  
		{  
			if (s[i-1]=='.'||p[j-1]=='.')  
				dp[i][j]=dp[i-1][j-1];  
			else if ( s[i-1]=='*')  
				dp[i][j]=dp[i-1][j]||dp[i-2][j];  
			else if ( p[j-1]=='*')  
				dp[i][j]=dp[i][j-1]||dp[i][j-2]||(dp[i-1][j]&&(s[i-1]==p[j-2]||p[j-2]=='.'));  
			else  
				dp[i][j]=dp[i-1][j-1]&&s[i-1]==p[j-1];  
		}  
	}  
	return dp[ns][np];  
} 

小说明：上面的三个算法都只考虑了只有一个输入有*的情况，对于aab，c*a*b这样的测试用例，返回真，但是反过来c*a*b，aab就返回假。但是LeetCode编译仍能通过。我的程序虽然看起来不整洁却能对上面的测试用例返回正确的值。