【BZOJ 1049】]数字序列

1.题目链接。首先，第一问最少需要改变的数，对于一个区间[i,j]长度位j-i+1.由于序列时严格单调递增的，所以后一个数比前一个数的差值至少也是1。那么a[j]-a[j]>=j-i..也就是说，区间的空位置至少要有j-1+1个才能符合条件。那么构造新的序列b[i]=a[i]-i.这个序列是单调不减的即可，对这个序列求一下单调不不减序列的长度，每两个元素中间的区间都是需要修改的，那么第一问的答案就是:

n-LIS.考虑第二问，设w[i]表示修改前i个需要的最小的代价，考虑当前的i，我们知道，刚才第一问已经使用LIS把整个序列给分割了，每两个LIS元素之间就是需要修改的数，那么当前i位置，我们找一下以i结尾的LIS的前一个位置j（这个直接使用给他们建个图就可以了），对于任意一个合法的j，他是可以转移到i，那么对于区间[i,j]的最小花费数多少呢？继续考虑b数组，由于b数组是单调不减的，所以对于区间[j,i]：b[j]<=b[j+1<=b[j+2].....b[i].总是可以找到一个区间中的点，把区间一分为二，左边全部是b[j],右边全部是b[i]，这里其实是需要证明的。枚举这个k统计答案即可。

至于证明：结论的证明

#include<bits/stdc++.h>
using namespace std;
#define maxn 35555
#define LL long long
LL a[maxn], w[maxn];
LL INF = 1ll << 50;
int nex[maxn], tot = 0, to[maxn], s[maxn], f[maxn];
inline void add(int x, int y) {
	to[++tot] = y;
	nex[tot] = s[x]; 
	s[x] = tot;
}
int main()
{
	int n; scanf("%d", &n);
	for (int i = 1; i <= n; i++)
	{
		scanf("%lld", &a[i]);
		a[i] -= i;
	}
	int ans = -1;
	f[0] = 0;
	for (int i = 1; i <= n; i++)
	{
		f[i] = 1;
		for (int j = 1; j < i; j++)
		{
			if (a[i] >=a[j] && f[j] + 1 > f[i])f[i] = f[j] + 1;
			if (f[i] > ans)ans = f[i];
		}
	}

	printf("%d\n", n-ans);
	for (int i =0; i <= n; i++)add(f[i], i);
	f[n + 1] = ans + 1; a[0] = -INF, a[n + 1] = INF;
	for (int i = 2; i <= n + 1; i++) 
	{
		w[i] = INF;
		for (int e = s[f[i] - 1]; e; e = nex[e]) 
		{
			int j = to[e];
			if (j > i)continue;
			if (a[j] > a[i])continue;

			LL w1 = 0, w2 = 0;
			for (int k = j + 1; k < i; k++)w2 += abs(a[k] - a[i]);
			if (w1 + w2 + w[j] < w[i])w[i] = w1 + w2 + w[j];

			for (int k = j + 2; k <= i; k++)
			{
				w1 += abs(a[k - 1] - a[j]);
				w2 -= abs(a[k - 1] - a[i]);
				if (w1 + w2 + w[j] < w[i])w[i] = w1 + w2 + w[j];
			}
		}
	}
	printf("%lld\n", w[n + 1]);
	return 0;
}