HDU 5903 Square Distance

$dp$预处理，贪心。

因为$t$串前半部分和后半部分是一样的，所以只要构造前一半就可以了。

因为要求字典序最小，所以肯定是从第一位开始贪心选择，$a,b,c,d,...z$，一个一个尝试过去，如果发现某字符可行，那么该位就选择该字符。

第$i$位选择字符$X$可行的条件：

记这一位选择字符$X$的情况下，对$dis$的贡献为$Q$，$1$至$i-1$位对$dis$贡献和为$F$；

如果第$i+1$位至第$\frac{n}{2}$位，对$dis$的贡献可以凑出$m-Q-F$，那么该位选择$X$可行。

所以可以记$dp[i][j]$表示，第$i$位至第$\frac{n}{2}$位，$dis$为$j$是否可以被凑出，倒着$dp$一下就可以了。

#pragma comment(linker, "/STACK:1024000000,1024000000")
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<vector>
#include<map>
#include<set>
#include<queue>
#include<stack>
#include<bitset>
#include<iostream>
using namespace std;
typedef long long LL;
const double pi=acos(-1.0),eps=1e-;
void File()
{
    freopen("D:\\in.txt","r",stdin);
    freopen("D:\\out.txt","w",stdout);
}
template <class T>
inline void read(T &x)
{
    char c=getchar(); x=;
    while(!isdigit(c)) c=getchar();
    while(isdigit(c)) {x=x*+c-''; c=getchar();}
}
 
const int maxn=;
char s[maxn],ans[maxn];
int T,n,m;
int a[maxn],b[maxn];
bool dp[][maxn];
 
int main()
{
    scanf("%d",&T);
    while(T--)
    {
        memset(dp,,sizeof dp);
        scanf("%d%d",&n,&m);
 
        scanf("%s",s);
 
        for(int i=;i<=n/;i++) a[i]=s[i-]-'a'+;
        for(int i=n/;i<=n-;i++) b[i-n/+]=s[i]-'a'+;
 
        dp[n/+][]=;
        for(int i=n/;i>=;i--)
        {
            if(a[i]==b[i])
            {
                for(int j=;j<=;j++) dp[i][j]=dp[i+][j];
                for(int j=;j<=;j++) if(dp[i+][j]==&&j+<=) dp[i][j+]=;
            }
 
            else
            {
                for(int j=;j<=;j++)
                {
                    if(dp[i+][j]==)
                    {
                        if(j+<=) dp[i][j+]=;
                        if(j+<=) dp[i][j+]=;
                    }
                }
            }
        }
 
        bool fail=; int z=m;
        for(int i=;i<=n/;i++)
        {
            bool xx=;
            for(int j=;j<=;j++)
            {
                int num=;
                if(a[i]!=j) num++; if(b[i]!=j) num++;
 
                if(z-num<) continue;
                if(dp[i+][z-num])
                {
                    ans[i]=j;
                    xx=; z=z-num; break;
                }
            }
            if(xx==) fail=;
            if(fail==) break;
        }
 
        if(fail) printf("Impossible\n");
        else
        {
            for(int i=;i<=n/;i++) printf("%c",ans[i]-+'a');
            for(int i=;i<=n/;i++) printf("%c",ans[i]-+'a');
            printf("\n");
        }
    }
    return ;
}