（纪中）7184.有趣的家庭菜园 4【差分】

---

解题思路

因为 A 数组前半段严格递增，后半段严格递减，且只有加法一种操作，所以我们可以使用差分思想。

记 B 为 A 的差分数组，我们接下来就用 B 进行一系列操作。这道题我们需要枚举界点，因此我们要定义：

$f$ 数组，$f_i$表示从 $1$ ~ $i$ 严格递增所需的步数；
$g$ 数组，$g_i$表示从$i+1n$ 严格递减所需的步数。

那么可知： a n s ← min ⁡ 1 ≤ i ≤ n { max ⁡ ( f i , g i + 1 ) } ans \gets \min\limits _{1\le i\le n}\{{\max(f_i,g_{i+1})}\} ans←1≤i≤nmin​{max(fi​,gi+1​)}接下来的问题是，如何处理 f 与 g？(手推一下）

显而易见每次的f 都是一个前缀的形式，而 g 是一个后缀的形式。

$f_i$ 的赋值有 2 种情况：

• $b_i\le 0$，即对答案有贡献（需要加才能符合严格递增），$f_i\leftarrow f_{i-1}+\left|b_i\right|+1$

• $b_i>0$，即对答案没有贡献，$f_i\leftarrow f_{i-1}$。$g_i$同理，这里就不赘述了。

---

代码

#include<iostream>
#include<cmath>
#include<cstring>
#include<cstdio>
#include<algorithm>
using namespace std;

int n,a[200050],b[200050];
long long f[200050],g[200050],ans;

int main(){
	scanf("%d",&n);
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&a[i]);
		b[i]=a[i]-a[i-1];
	}
	for(int i=2;i<=n;i++)
		if(b[i]<=0)
			f[i]=f[i-1]-b[i]+1;
		else f[i]=f[i-1];
	for(int i=n;i>0;i--)
		if(b[i]>=0)
			g[i]=g[i+1]+b[i]+1;
		else g[i]=g[i+1];
	ans=1e18;
	for(int i=1;i<=n;i++)
		ans=min(ans,max(f[i],g[i+1]));
	printf("%lld",ans);
	
}