D2. Zero-One (Hard Version) codeforces 1733D2

Problem - D2 - Codeforces

题目大意：有两个长度为n的二进制序列s1,s2，每次操作可以选择两个位置i，j，使s1[i]和s1[j]取反，如果i,j相邻，费用为x，否则费用为y问使得两个序列完全相同的最小的费用是多少

1<=n<=5000,1<=x,y<=1e9

思路：如果x>=y的话，可以贪心,如果不匹配的点只有两个且相邻，那么要么直接取反费用x，要么找一个其他位置，分别与这个位置取反，费用为2*y,否则的话对于每个不匹配的位置，一定能找到一个不相邻的不匹配位置，费用为不匹配的位置数除以2*y

如果x<y，那么对于两个不匹配的位置i，j可以直接取反，费用y,或者逐个和中间的数取反，费用x*(pos[j]-pos[i]),所以可以采用区间dp，枚举左端两个不匹配位置之间每两个相邻数取反，或者右端两个，整个区间逐个相邻取反，取最小值

#include<iostream>
#include<cstdio>
using namespace std;
typedef long long ll;
const ll N = 5e3 + 5,INF=0x3f3f3f3f3f3f3f3f;
int pos[N];
ll dp[N][N];
int main()
{
	int t;
	cin >> t;
	while (t--)
	{
		ll n, x, y;
		scanf_s("%lld%lld%lld", &n, &x, &y);
		string s1, s2;
		cin >> s1 >> s2;
		ll cnt = 0;
		for (int i = 0; i < n; i++)
		{
			if (s1[i] != s2[i])
			{
				pos[++cnt] = i + 1;//记录不匹配的位置以及数量
			}
		}
		if (cnt & 1)
		{
			printf("-1\n");
			continue;
		}
		ll ans = 0;
		if (x >= y)
		{
			if (cnt == 2 && pos[2] - pos[1] == 1)
			{
				ans = min(x, 2 * y);
			}
			else
			{
				ans = cnt / 2 * y;
			}
		}
		else
		{
			for (int i = 1; i <= cnt; i++)
			{
				for (int j = 1; j <= cnt; j++)
				{
					dp[i][j] = INF;//要求最小值，先把所有值初始化为最大
				}
			}
			for (int i = 1; i < cnt; i++)
			{
				dp[i][i + 1] = min(y, x * (pos[i + 1] - pos[i]));//先求出相邻两个不匹配位置的最小费用
			}
			for (int len = 4; len <= cnt; len += 2)
			{
				for (int l = 1; l + len - 1 <= cnt; l++)
				{
					int r = l + len - 1;
					dp[l][r] = dp[l + 1][r - 1] + min(y, x * (pos[r] - pos[l]));//区间的两个端点直接取反可能最小
					dp[l][r] = min(dp[l][r], dp[l + 2][r] + min(y, x * (pos[l + 1] - pos[l])));//以l+1为间断点
					dp[l][r] = min(dp[l][r], dp[l][r - 2] + min(y, x * (pos[r] - pos[r-1])));//以r-1为间断点
				}
			}
			ans = dp[1][cnt];
		}
		printf("%lld\n", ans);
	}
	return 0;
}