HDU 1501 Zipper（Dfs记忆化搜索）

题目：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;

}