結果

問題 No.3780 Erase and Mex
コンテスト
ユーザー The Forsaking
提出日時 2026-11-05 14:35:03
言語 C++17
(gcc 15.3.0 + boost 1.92.0 + ACL)
コンパイル:
g++-15 -O2 -fplugin=/usr/lib/yukicoder/noavx512-gcc15.so -lm -std=c++17 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 487 ms / 2,000 ms
+ 53µs
コード長 1,001 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,475 ms
コンパイル使用メモリ 226,056 KB
実行使用メモリ 23,424 KB
最終ジャッジ日時 2026-11-05 14:35:24
合計ジャッジ時間 9,257 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 43
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>

using namespace std;

using pii = pair<int, int>;
using ll = long long;
const int N = 2000010, MOD = 998244353, INF = 0x3f3f3f3f;
int n, m, w[N];


bool check(int mid, map<int, int> c) {
	int ne = 1, c0 = 0;
	while (c.size() && c.rbegin()->first >= mid) {
		c0 += c.rbegin()->second;
		c.erase(c.rbegin()->first);
	}
	for (int i = mid - 1; ~i; i--) {
		if (!i) c[i] += c0;
		if (c[i] >= ne) {
			c0 += c[i] - ne;
		} else {
			if (i == 0) return 0;
			ne += ne - c[i];
			if (ne > n && i) return 0;
		}
	}
	return 1;
}

void solve() {
	scanf("%d", &n);
	if (n == 1) {
		scanf("%d", w + 1);
		printf("%d\n", max(1, w[1]));
		return;
	}
	map<int, int> c;
	for (int i = 1; i < n + 1; i++) {
		scanf("%d", w + i), w[i] = min(w[i], n + 30);
		c[w[i]]++;
	}
	int l = 1, r = n + 30;
	while (l < r) {
		int mid = l + r + 1 >> 1;
		if (check(mid, c)) l = mid;
		else r = mid - 1;
	}
	printf("%d\n", l);
}

int main() {
	int T = 1;
	scanf("%d", &T);
	while (T--) solve();
	return 0;
}
0