SRM 556 Div1 500

/*
    非常简单的题，可是做了好久 裸的区间dp
    由于要满足两个条件{1.字典序最小;2.ans>s2}
    我们通过dp找到对于[a,b]区间合法解的最小字典序的串(解决了1) 
    为了解决2我们对dp再加一维
    dp[a][b][0]表示ans<s2;dp[a][b][1]表示ans==s2;dp[a][b][2]表示ans>s2 
    反思:对于某一个和字典序有关的题我们需要用dp或贪心使其满足最优条件和字典序
*/
#include<bits/stdc++.h>
#define Min(a,b) a=min(a,b)
using namespace std;
string s1,s2,dp[55][55][3],nw;
int cmp(string a,string b){
    if(a<b)return 0;
    if(a==b)return 1;
    return 2;
}
int main(){ 
    cin>>s1>>s2;
    int a,b,c,n=s1.size();
    for(a=0;a<n;a++)for(b=0;b<n;b++)for(c=0;c<3;c++)dp[a][b][c]="A";
    for(int i=0;i<n;i++){
        int f=0;
        if(s1[i]==s2[0])f=1;
        if(s1[i]>s2[0])f=2;
        dp[i][i][f]=s1[0];
    }
    for(a=n-1;a>=0;a--)for(b=a+1;b<n;b++)for(c=0;c<3;c++){
        int len=b-a+1;
        char A=s1[b-a];
        if(dp[a+1][b][c]!="A"){
            nw=A+dp[a+1][b][c];
            Min(dp[a][b][cmp(nw,s2.substr(a,len))],nw);
        }if(dp[a][b-1][c]!="A"){
            nw=dp[a][b-1][c]+A;
            Min(dp[a][b][cmp(nw,s2.substr(a,len))],nw);
        }
    }
    if(dp[0][n-1][1]=="A"&&dp[0][n-1][2]=="A")puts("-1");
    else cout<<min(dp[0][n-1][1],dp[0][n-1][2]);
}

https://mulab11.gitbooks.io/cntt2016/content
https://github.com/Mulab11/cntt2016-hw1