[FOI2020]楼房搭建_foi2020算法冬令营楼房-CSDN博客

本文链接：https://blog.csdn.net/qq_42101694/article/details/115362742

本文通过一个数组操作问题，探讨了如何利用动态规划和贪心策略找到最少操作次数，使得数组元素满足特定条件。作者提出了一种反悔贪心的思路，解释了为何在某些情况下，反悔操作能够减少浪费并提高效率。文章强调了在解决问题时要忽略具体操作，关注最优化原则，并提供了简洁的代码实现。

摘要由CSDN通过智能技术生成

题目

题目概要
有一个长度为 $n$ 的数组，初始时每个位置都是 $0$ 。每次操作可以让相邻的两个元素 $+ 1$ 和 $+ 2$ （可以是左边 $+ 1$ ，也可以是右边）。问最少需要操作多少次，使得操作后第 $i$ 个元素不小于阀值 $h_i$ 。

数据范围与提示
$n\leqslant 10^6$ 且 $h_i\leqslant 10^6$ 。

思路

由于一次操作必然使得总和 $+ 3$ ，问题变为最小化 “浪费”。为了成全 $i{+}1)$ 而牺牲 $i$ 是不明智的：假设 $i$ 爆表了，它可以去掉 $\langle 1,2\rangle$ ，或者将 $\langle 2,1\rangle$ 换成 $\langle 1,2\rangle$ 。因此从左到右扫描，总是只需要将当前数字填满到 $h_i$ 。

普通贪心是，同时让下一个数尽可能小，这样可以避免爆表。但这东西可以隔山打牛：下一个数太小，会导致下下个数过大。

那么只可能是 反悔贪心 嘛。显而易见的反悔方法是，把 $\langle 2,1\rangle$ 换成两个 $\langle 1,2\rangle$ ，这可以让下一个数 $+ 3$ 。

但我们还要 对 “反悔操作” 进行反悔。考虑其影响：若不使用反悔操作，则下一个数的 $+ 3$ 需要用 $3\times\langle 1,2\rangle$ 或 $\langle 1,2\rangle+\langle 2,1\rangle$ 填补，这会使得下下个数 $+ 3$ 或 $+ 6$ 。也就是说：每撤销一个 $+ 3$ 操作，就可以让再下一个数 $+ 3$ 一或两次。

除了反悔操作，遵循下一个数尽量小的原则，优先用 $\langle 2,1\rangle$ 再用 $\langle 1,2\rangle$ 。按上面所说的， $\langle 2,1\rangle$ 可以带来一次反悔，而 $\langle 1,2\rangle$ 不可。

所以就做完了。正确性似乎是显然的——每一步，我们都尽量最小化了 “浪费”，并且给出了反悔的方式。

复杂度 $\mathcal O(n)$ ，并且代码极其简单。

代码

代码实现的时候， $+ 6$ 看成两个 $+ 3$ 的机会就行了。

#include <cstdio>
#include <iostream>
#include <cstring>
using namespace std;
inline int readint(){
	int a = 0; char c = getchar(), f = 1;
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}

int main(){
	int n = readint();
	long long ans = 0;
	int v = 0; // already built
	int chance = 0; // how many repent is allowed
	for(int i=1; i<=n; ++i){
		int h = readint(); ans += h;
		h -= v, v = 0; // what's to do
		if(h <= 0){ // finished
			chance = 0; ans += (-h);
			continue; // waste -h
		}
		int x = min(h/3,chance); // how many +3 is applied
		int y = (h-3*x)>>1; // how many <2,1> is applied
		v = (((h-3*x)&1)<<1)+y; // if <1,2> is applied
		chance = (x<<1)+y; // +3 here can be twice +3 there
	}
	ans += v; // build on virtual n+1
	printf("%lld\n",ans/3);
	return 0;
}