LightOJ1013 Love Calculator（DP）

容易猜测到包含s1、s2序列的串的最短长度是LCS(s1,s2) + ( len(s1) - LCS(s1,s2) ) + ( len(s2) - LCS(s1,s2) ) ，即：

len(s1)+len(s2)-LCS(s1,s2)

接下来求方案数，可以想到：

dp[k][i][j]表示由s1前i位和s2前j位的序列构成的长度为k的串的方案数

dp[k][i][j]是由dp[k-1][i-1][j]、dp[k-1][i][j-1]和dp[k-1][i-1][j-1]转移的，而从dp[k-1][i-1][j-1]转移则要满足s1[i]==s2[j]的条件。

转移方程我纠结了好久，才“试”出来：

dp[k][i][j] = (s1[i]==s2[j]) ? dp[k-1][i-1][j-1] : dp[k-1][i-1][j]+dp[k-1][i][j-1]

然后因为自己想的一个数据s1="aa"，s2="ab"又纠结了好久，才“试”出初始状态是：

d[1][1][0]=d[1][0][1]=1

(s1[1]==s2[1]) ? d[1][1][1]=1 : d[1][1][1]=0

最后提交就AC了，有点不明觉厉。。

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int LCS[33][33];
long long d[66][33][33];
int main(){
    int t;
    char s1[33],s2[33];
    scanf("%d",&t);
    for(int cse=1; cse<=t; ++cse){
        scanf("%s%s",s1+1,s2+1);

        int l1=strlen(s1+1),l2=strlen(s2+1);
        memset(LCS,0,sizeof(LCS));
        for(int i=1; i<=l1; ++i){
            for(int j=1; j<=l2; ++j){
                if(s1[i]==s2[j]) LCS[i][j]=LCS[i-1][j-1]+1;
                else LCS[i][j]=max(LCS[i-1][j],LCS[i][j-1]);
            }
        }
        int len=l1+l2-LCS[l1][l2];

        memset(d,0,sizeof(d));
        d[1][1][0]=d[1][0][1]=1;
        if(s1[1]==s2[1]) d[1][1][1]=1;
        for(int k=2; k<=len; ++k){
            for(int i=0; i<=l1; ++i){
                for(int j=0; j<=l2; ++j){
                    if(i==0 && j==0) continue;
                    if(i==0) d[k][i][j]=d[k-1][i][j-1];
                    else if(j==0) d[k][i][j]=d[k-1][i-1][j];
                    else if(s1[i]==s2[j]) d[k][i][j]=d[k-1][i-1][j-1];
                    else d[k][i][j]=d[k-1][i-1][j]+d[k-1][i][j-1];
                }
            }
        }

        printf("Case %d: %d %lld
",cse,len,d[len][l1][l2]);
    }
    return 0;
}