HDU 5248 序列变换

题目

给定序列$A=A_1,A_2,\dots ,A_n$, 要求改变序列$A$中的某些元素，形成一个严格单调的序列$B$（严格单调的定义为：$B_i<B_{i+1},1\le i<N$）。
我们定义从序列$A$到序列$B$变换的代价为$cost(A,B)=max(|A_i-B_i|)(1\le i\le N)$。
请求出满足条件的最小代价。
注意，每个元素在变换前后都是整数。

输入

第一行为测试的组数$T(1\le T\le 10)$.
对于每一组：
第一行为序列$A$的长度N($1\le N\le 10^5$)，第二行包含$N$个数，$A_1,A_2,\dots ,A_n$.
序列$A$中的每个元素的值是正整数且不超过$10^6$。

输出

对于每一个测试样例，输出两行：
第一行输出：“Case #$i$:”。i代表第$i$组测试数据。
第二行输出一个正整数，代表满足条件的最小代价。

样例输入

2
2
1 10
3
2 5 4

样例输出

Case #1:
0
Case #2:
1

题目分析

本题为对A中元素进行加减处理，从而得到一个单调递增的新数组B。
要寻找最小的最大操作数，并且因为数据最大为$10^6$，最小为$0$。可以通过二分查找的办法，将最大操作数从$0$~$10^6$中寻找出来。
先假定一个数，需判定这个数能否作为最大的操作数，对A数组中的各元素进行加减运算，使A转变为单调递增的数组。

定义第i位的新数组元素大小为tmp,判定的情况有以下几种：
(1)a[i-1]<tmp 这时选择tmp-1与a[i-1]+k中偏小的数据，作为i-1位置的新数组元素
(2)a[i-1]>tmp时
i)a[i-1]-k<tmp 这时选择tmp-1与a[i-1]-k偏大的数据
ii)a[i-1]-k>=tmp 这时说明了在最大操作数为k的情况下，不可能使A转变为单调递增数组

代码

#include<iostream>
using namespace std;
long long int ans;

int Max(int a,int b)
{
	return a>b?a:b;
}

int Min(int a,int b)
{
	return a>b?b:a;
}

bool judge(int a[],int n,int k)//判定k是否合格
{
	int tmp = a[n-1] + k;
	for(int i = n-2;i>=0;--i)
	{	//三种情况
		if(a[i]<tmp)
			tmp = Min(a[i]+k,tmp-1);
		else if(a[i]-k<tmp)
			tmp = Max(a[i]-k,tmp-1);
		else if(a[i]-k>=tmp)
			return false;
	}
	return true;
}

void min_cost(int a[],int n)
{
	int mid,l=0,r = 1000000;
	while(l<r)
	{
		mid = l+(r-l)/2;//二分
		if(judge(a,n,mid))
			r = mid;
		else
			l = mid + 1;
	}
	ans = l;//存储结果
}

int main()
{
	int T,n,j = 1;
	int a[100005];
	cin >> T;
	while(T--)
	{
		cin >> n;
		for(int i = 0;i<n;++i)
			cin >> a[i];
		min_cost(a,n);
		cout << "Case #"<<j<<":"<<endl;
		cout << ans<<endl;
		++j;
	}
	return 0;
}

运算结果

题目链接

http://acm.hdu.edu.cn/showproblem.php?pid=5248