题意:见d1题意,去除了x>=y的限制
思路:因为没保证X一定大于Y,所以现在多了一种操作:我们发现,对于一段连续区间,从左到右不断的置反相邻的位,则最后也能得到只置反区间左右端点的效果,不妨另len=r-l,若x*len<y,那么这样置反两个位的代价就优于使用y。
怎么处理这种问题呢?不难发现:一个位,如果被置反两次以上,是很亏的,因为这是没有意义的(会变成以前已经有过的状态,但是两次在本题中是可以的,因为必须这样来减少代价),若另使用相邻位置反称为操作1,直接置反称为操作2,显然,根据每位不能置反超过两次。我们不可能跨过一位使用操作1。
举个例子:现在不相同的位有1357,我们不可能使用操作1先置反15,再置反37,这样的话3和5都被置反了超过两次,很亏。自然的,我们发现:操作1用在相邻的不等位上是最优的,而操作2用在不相邻的不等位上更优。若另dp[i][j]表示另a[i到j]变为b[i到j]最小代价,则易得一下转移方程:
dp[i][j]=min(min(dp[i+2][j]+cost(id[i],id[i+1]),dp[i][j-2]+cost(id[j],id[j-1])),dp[i+1][j-1]+cost(id[i],id[j]));
其中id是存放不等位下标的一个vector
注意这里保证x<y,否则还要再加一个y*len/2比较。
代码:
#include<bits/stdc++.h>
using namespace std;
//typedef long long ll;
typedef unsigned long long ll;
typedef pair<int,int> pii;
/*
priority_queue<int> big_heep;
priority_queue<int,vector<int>,greater<int> > small_heep;
struct cmp{//if return true,it means that the number in the left was smaller than the right one
bool operator () (int a,int b){
}
};
*/
ll dp[5050][5050];
ll n,x,y;
ll cost(ll a,ll b){
ll len=_abs64(b-a);
if (len==1) return min(x,y*2);
else return min(len*x,y);
}
void work(){
string a,b;
cin>>n>>x>>y>>a>>b;
a="#"+a;
b="#"+b;
ll num=0;
vector<ll> id;
for (ll i=1;i<=n;i++){
if (b[i]!=a[i]){
num++;
id.push_back(i);
}
}
if (id.size()%2){
cout<<-1<<"\n";
return;
}
if (x>=y){
ll nn=id.size();
if (nn==2){
if (id[0]+1==id[1]){
if (2*y<x) cout<<2*y<<"\n";
else cout<<x<<"\n";
}
else cout<<y<<"\n";
return;
}
cout<<y*(nn/2)<<"\n";
}
else{
n=id.size();
for (ll k=2;k<=n;k+=2){
for (ll i=0;i+k-1<n;i++){
ll j=i+k-1;
if (k==2) dp[i][j]=cost(id[i],id[j]);
// else dp[i][j]=min(min(dp[i+2][j]+cost(id[i],id[i+1]),dp[i][j-2]+cost(id[j],id[j-1])),min(dp[i+1][j-1]+cost(id[i],id[j]),y*(j-i+1)/2));
else dp[i][j]=min(min(dp[i+2][j]+cost(id[i],id[i+1]),dp[i][j-2]+cost(id[j],id[j-1])),dp[i+1][j-1]+cost(id[i],id[j]));
}
}
cout<<dp[0][n-1]<<"\n";
}
}
int main(){
ios::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
ll t;
cin>>t;
while (t--){
work();
}
return 0;
}