結果

問題 No.3780 Erase and Mex
コンテスト
ユーザー HoyHoyCharhang
提出日時 2026-10-30 21:55:51
言語 C++23
(gcc 15.3.0 + boost 1.92.0 + ACL)
コンパイル:
g++-15 -O2 -fplugin=/usr/lib/yukicoder/noavx512-gcc15.so -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 1,425 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 2,509 ms
コンパイル使用メモリ 350,436 KB
実行使用メモリ 13,568 KB
最終ジャッジ日時 2026-10-30 21:56:04
合計ジャッジ時間 10,472 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 23 WA * 20
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
#define fi first
#define se second
#define rep(i,s,n) for (int i = (s); i < (n); ++i)
#define rrep(i,g,n) for (int i = (n)-1; i >= (g); --i)
#define all(a) a.begin(),a.end()
#define rall(a) a.rbegin(),a.rend()
#define len(x) (int)(x).size()
#define dup(x,y) (((x)+(y)-1)/(y))
#define pb push_back
#define eb emplace_back
#define Field(T) vector<vector<T>>
using namespace std;
using ll = long long;
using ull = unsigned long long;
template<typename T> using pq = priority_queue<T,vector<T>,greater<T>>;
using P = pair<int,int>;
template<class T>bool chmax(T&a,T b){if(a<b){a=b;return 1;}return 0;}
template<class T>bool chmin(T&a,T b){if(b<a){a=b;return 1;}return 0;}

void solve() {
  int n;
  cin >> n;
  vector<int> a(n);
  map<int,int> mp;
  rep(i,0,n) {
    cin >> a[i];
    ++mp[a[i]];
  }
  function<bool(int)> f = [&](int x) {
    int c0 = 0;
    for (auto [v, cnt] : mp) {
      if (v >= x) c0 += cnt;
    }
    ll val = 0;
    rrep(i,1,x) {
      int c = mp[i];
      if (val+1 <= c) {
        c0 += c-val-1;
      } else {
        val += (val+1-c);
        if (val >= 1000000000) return 0;
      }
    }
    if (x) c0 += mp[0];
    if (val <= c0) return 1;
    return 0;
  };
  int ok = 0, ng = n+1;
  while(ng-ok > 1) {
    int mid = (ok+ng)/2;
    if (f(mid)) ok = mid;
    else ng = mid;
  }
  cout << ok << endl;
}

int main() {
  int t;
  cin >> t;
  while(t--) solve();
  return 0;
}
0