[Atcoder AGC029C]Lexicographic constraints

题目大意：给定$n$个字符串的长度$a_i$，问至少用几种字符可以构造出字符串$s_1sim s_n$，满足$|s_i|=a_i$且$s_1<s_2<cdots<s_n$。 $ nleqslant 2 imes10^5,1leqslant a_ileqslant10^9 $

题解：发现这个有可二分性，而在确定字符集大小的情况下，判断是否合法较为简单。当$a_i>a_{i-1}$时，在后面补最小的字符；否则就去掉尾部的字符，然后做一个“加法”，考虑到位数较多，可以用$mathrm{map}$来记录每一个位置的字符。

卡点：在二分中把字符集为$1$加入判断，导致$mathrm{TLE}$

C++ Code：

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <map>
const int maxn = 2e5 + 10;

int n, a[maxn], p, flag = 1;
bool check(int k) {
	std::map<int, int> M; M.clear();
	for (int i = 1; i <= n; ++i) if (a[i] <= a[i - 1]) {
		while (!M.empty() && M.rbegin() -> first > a[i]) M.erase(--M.end());
		for (p = a[i]; p && ++M[p] == k; --p) M[p] = 0;
		if (!p) return false;
	}
	return true;
}

int main() {
	std::ios::sync_with_stdio(false), std::cin.tie(0), std::cout.tie(0);
	std::cin >> n;
	for (int i = 1; i <= n; ++i) std::cin >> a[i], flag &= a[i] > a[i - 1];
	if (flag) return std::cout << "1
", 0;
	int l = 2, r = n, ans = n;
	while (l <= r) {
		int mid = l + r >> 1;
		if (check(mid)) r = mid - 1, ans = mid;
		else l = mid + 1;
	}
	std::cout << ans << '
';
	return 0;
}