HDU 1501 Zipper(Dfs记忆化搜索)

时间:2022-12-16 09:16:58

题目:http://acm.hdu.edu.cn/showproblem.php?pid=1501

 

题意:前两个字符串能和能合成第三个字符串,字符串内相对顺序不变

 

开始用Dfs()以为用了变量标记如果失败不停的return。。。。然后超时,然后想不通为什么要用vis[i][j]来标记有没访问过该状态,我当时想Dfs(i,j,k)里面都一直在递增啊,而且如果失败了回溯的时候就return了,怎么还会遇到该状态呢。。。。。。原来如果在递归的第一个Dfs()匹配成功,回溯后(i,j,k就隐式地减少了),而且遇到flag也不会return(因为flag是失败才return的),然后进了第二个Dfs()。。。。如果没有vis[i][j]的话,就会在里面浪费时间了。。。。。。。所以vis[i][j]是不管你成功还是失败,只要以前有过这个状态就会return

 

先发错误代码:

#include <iostream>
using namespace std;

const int M = 555;

char c1[M], c2[M], c3[M];
int l1, l2, l3;
int flag;

bool Dfs(int i, int j, int k)
{
if (flag == 0)
{
return 0;
}

if (c1[i] != c3[k] && c2[j] != c3[k])
{
flag
= 0;//这里也是错的,这个条件不一定就匹配不了。。。因为还有剩余的没搜
return 0;//这题我们应该是在所有的情况里找到能匹配的话就标记flag = 1,即求是否存在可以匹配的情况
}

if (k == l3)
{
return 1;
}

if (c1[i] == c3[k] && i + 1 < l1)
{
Dfs(i
+ 1, j, k + 1);
if (flag == 0)//匹配成功在这里就不会return,再进下面的Dfs()就会有重复的状态了
{
return 0;
}
}

if (c2[j] == c3[k] && j + 1 < l2)
{
Dfs(i, j
+ 1, k + 1);
if (flag == 0)
{
return 0;
}
}
if (flag)
{
return 1;
}
else
{
return 0;
}
}


int main()
{
int t;
scanf(
"%d", &t);
int case1 = 0;
while (t--)
{
scanf(
"%s%s%s", c1, c2, c3);
l1
= strlen(c1);
l2
= strlen(c2);
l3
= strlen(c3);
flag
= 1;

if (l1 + l2 != l3)
{
flag
= 0;
}
printf(
"Date set %d: %s\n", ++case1, Dfs(0, 0, 0) ? "yes" : "no");
}
return 0;
}

 

 

 

AC代码:

#include <iostream>
using namespace std;

const int M = 555;

char c1[M], c2[M], c3[M];
int l1, l2, l3;
int flag;
bool vis[M][M];

void Dfs(int i, int j, int k)
{

if (vis[i][j])
{
return ;
}

vis[i][j]
= 1;

if (k == l3)
{
flag
= 1;
return ;
}

if (c1[i] != c3[k] && c2[j] != c3[k])
{
return ;
}



if (c1[i] == c3[k] && i + 1 <= l1)
{
Dfs(i
+ 1, j, k + 1);

}

if (c2[j] == c3[k] && j + 1 <= l2)
{
Dfs(i, j
+ 1, k + 1);
}

}


int main()
{
int t;
scanf(
"%d", &t);
int case1 = 0;
while (t--)
{
scanf(
"%s%s%s", c1, c2, c3);
l1
= strlen(c1);
l2
= strlen(c2);
l3
= strlen(c3);
flag
= 0;

if (l1 + l2 != l3)
{
flag
= 0;
printf(
"Data set %d: %s\n", ++case1, flag ? "yes" : "no");
continue;
}
memset(vis,
0, sizeof(vis));
Dfs(
0, 0, 0);
printf(
"Data set %d: %s\n", ++case1, flag ? "yes" : "no");
}
return 0;
}