二分+划分型dp，CF 360B - Levko and Array

目录

一、题目

1、题目描述

2、输入输出

2.1输入

2.2输出

3、原题链接

二、解题报告

1、思路分析

2、复杂度

3、代码详解

---

一、题目

1、题目描述

2、输入输出

2.1输入

2.2输出

3、原题链接

B - Levko and Array

---

二、解题报告

1、思路分析

最小化最大值，提示我们用二分

我们二分 c(a)，如何check？

划分型dp

定义 f(i) 为 第 i 个元素不变，前 i 个元素能够不变的元素数目的最大值

我们枚举上一个不变元素的下标 j

a[i] 和 a[j] 能够同时不变的前提是我们能够通过修改 a[j + 1, i - 1] 使得 二者与相邻元素差值绝对值均不超过 二分值 x

即 abs(a[i] - a[j]) <= (i - j) * x

2、复杂度

时间复杂度： O(N^2logU)空间复杂度：O(N)

3、代码详解

 ​

#include <bits/stdc++.h>

using i64 = long long;
using i32 = unsigned int;
using u64 = unsigned long long;
using i128 = __int128;

constexpr int inf32 = 1E9 + 7;
constexpr i64 inf64 = 1E18 + 7;
constexpr int P = 998'244'353;

void solve() {
	int n, k;
	std::cin >> n >> k;

	std::vector<int> a(n);
	for (int i = 0; i < n; ++ i)
		std::cin >> a[i];
	
	std::vector<int> f(n, 1);
	
	auto check = [&](int x) -> bool {
		f.assign(n, 1);	

		for (int i = 0; i < n; ++ i) {
			for (int j = 0; j < i; ++ j) {
				if (abs(a[i] - a[j]) <= 1LL * (i - j) * x)
					f[i] = std::max(f[i], f[j] + 1);
			}
		}

		return *std::max_element(f.begin(), f.end()) >= n - k;
	};
	
	int lo = 0, hi = 2E9 + 1;

	while (lo < hi) {
		int x = lo + (hi - lo) / 2;
		if (check(x))
			hi = x;
		else 
			lo = x + 1;
	}

	std::cout << hi;
}

auto FIO = []{
	std::ios::sync_with_stdio(false);
	std::cin.tie(nullptr);
	std::cout.tie(nullptr);
	return 0;
}();

int main () {
	#ifdef DEBUG
		freopen("in.txt", "r", stdin);
		freopen("out.txt", "w", stdout);
	#endif
	
	int T = 1;
	// std::cin >> T;
	while (T --)
		solve();

	return 0;
}