hdu1501 Zipper 动态规划

很有意思的一道题，感觉应该有很多种解法。本菜这里用的是动态规划

给出三个字符串，最后一个字符串是前两个字符串所有字母的打乱组合

问第三个字符串能否由前两个字符串，不打乱字符顺序，“镶嵌”得到。

还是那句话，大胆定义状态（子问题）

由字符串a的前i个字母，和字符串b的前j个字母，能否有合法解？

储存在布尔数组dp[i][j]中，true表示合法，false表示不合法

直接推出由源状态转移至目标状态的方程往往是不容易的，我们可以先试试源状态能推出哪些信息，然后凑一凑，凑出转移方程。

从一个合法解出发，如果a[i+1]==c[i+1]，那么dp[i+1][j]肯定也是true
同理有dp[i][j+1]等

那么从目标状态出发，即可归纳为

$$dp[i][j] = Or \begin {cases} dp[i-1][j]&,如果a[i]==c[i+j]\\ dp[i][j-1]&,如果b[j]==c[i+j]\\ \end {cases}$$

#include<iostream>
#include<iomanip>
#include<cstdio>
#include<cstring>
#include<sstream>
#include<stack>
#include<queue>
#include<fstream>
#include<algorithm>
#include<map>
#include<set>
#include<vector>
#include<cmath>
#define CLR(x) memset(x,0,sizeof(x))
#define ll long long
#define eps 1e-6
#define pow2(x) ((x)*(x))
#define forto(i,n) for(int i=0;i<n;i++)
#define for1to(i,n) for(int i=1;i<=n;i++)
#define VI vector<int>
using namespace std;
const double PI=acos(-1.0);
#define INF 0x3fffffff          ///INT_MAX一半防止上溢
#define NINF 0xbfffffff
char a[222];
char b[222];
char c[444];
bool dp[222][222];

int main()
{
    cin.sync_with_stdio(false);
    #ifndef ONLINE_JUDGE
    freopen("test.txt","r",stdin);
    #endif

    int Total;
    cin>>Total;
    for (int C=1;C<=Total;C++)
    {
        CLR(dp);
        cin>>a+1>>b+1>>c+1;
        int alen(strlen(a+1));
        int blen(strlen(b+1));
        dp[0][0]=true;
        for (int i=1;i<=alen;i++)
        {
            if (a[i]==c[i])
                dp[i][0]=true;
            else
                break;
        }
        for (int i=1;i<=blen;i++)
        {
            if(b[i]==c[i])
                dp[0][i]=true;
            else
                break;
        }
        for1to(i,alen)
        {
            for1to(j,blen)
            {
                dp[i][j] = (dp[i-1][j]&&a[i]==c[i+j]) || (dp[i][j-1] &&b[j]==c[i+j]) ;
            }
        }
        cout<<"Data set "<<C<<": ";
        if (dp[alen][blen])
            cout<<"yes"<<endl;
        else
            cout<<"no"<<endl;
    }
    return 0;
}