結果

問題 No.3780 Erase and Mex
コンテスト
ユーザー detteiuu
提出日時 2026-10-30 22:44:23
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 125 ms / 2,000 ms
+ 580µs
コード長 971 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 106 ms
コンパイル使用メモリ 64,508 KB
実行使用メモリ 95,736 KB
最終ジャッジ日時 2026-10-30 22:44:32
合計ジャッジ時間 8,719 ms
ジャッジサーバーID
（参考情報） 		judge4_0 / judge7_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 43
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

from sys import stdin
input = stdin.readline

limit = 1<<60

def func(n, C, cnt):
    if n == 0: return True
    for i in range(n, N*2+10):
        cnt += C[i]
        C[i] = 0
    SUM = 0
    for i in reversed(range(n)):
        if 1 <= i:
            C[i] -= SUM
        if C[i] <= 0:
            a = 1-C[i]
            SUM += a
            C[i] = 1
        if 2 <= C[i]:
            cnt += C[i]-1
            C[i] = 1
        if limit <= SUM: return False
    return SUM <= cnt

for _ in range(int(input())):
    N = int(input())
    A = list(map(int, input().split()))

    if N == 1:
        print(max(A[0], 1))
        continue

    C = [0]*(N*2+10)
    cnt = 0
    for a in A:
        if a < N*2+10:
            C[a] += 1
        else:
            cnt += 1

    left = 0
    right = N*2+10
    while left+1 < right:
        mid = (left+right)//2
        if func(mid, C[:], cnt):
            left = mid
        else:
            right = mid

    print(max(left, 1))
0