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编译仍能通过。我的程序虽然看起来不整洁却能对上面的测试用例返回正确的值。