CF2226C

这道题没想出来。

二分答案，每次从大到小 check，大的数一定是由当前最大的数转换而来是最优的。

为什么不能从小到大枚举，每次用最小的呢？假设 1 2 3 4 5，那么就会用 1 凑 0，3 凑 1，会用那些本来就可以用的数字。

#include <bits/stdc++.h>
using namespace std;
using ll = long long;

void solve() {
  int n;
  cin >> n;
  vector<int> a(n);
  for (int i = 0; i < n; i++) {
    cin >> a[i];
  }
  int l = 0, r = n + 1;
  multiset<int> s(a.begin(), a.end());
  auto check = [](int x, multiset<int> s) {
    for (int i = x - 1; i >= 0; i--) {
      if (s.count(i))
        s.erase(s.find(i));
      else {
        if (s.empty())
          return false;
        int p = *s.rbegin();
        if (p >= i * 2 + 1)
          s.erase(s.find(p));
        else
          return false;
      }
    }
    return true;
  };
  while (l < r) {
    int mid = (l + r) >> 1;
    if (check(mid, s))
      l = mid + 1;
    else
      r = mid;
  }
  cout << l - 1 << endl;
}

signed main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  int T;
  cin >> T;
  while (T--)
    solve();
  return 0;
}