//#pragma GCC target("avx2") //#pragma GCC optimize("O3") //#pragma GCC optimize("unroll-loops") #include using namespace std; using ll = long long; using pii = pair; using pll = pair; using pli = pair; #define MOD 998244353 //#define MOD 1000000007 #define el '\n' #define El '\n' #define YESNO(x) ((x) ? "Yes" : "No") #define YES YESNO(true) #define NO YESNO(false) #define EXIT_ANS(x) {cout << (x) << '\n'; return;} template void inline SORT(T &v){sort(v.begin(),v.end()); return;} template void inline REV(T &v){reverse(v.begin(),v.end()); return;} template void inline VEC_UNIQ(T &v){sort(v.begin(),v.end()); v.erase(unique(v.begin(),v.end()),v.end()); return;} template auto inline MAX(T &v){return *max_element(v.begin(),v.end());} template auto inline MIN(T &v){return *min_element(v.begin(),v.end());} template auto inline SUM(vector &v){T ans = 0; for(int i = 0; i < (int)v.size(); i++)ans += v[i]; return ans;} template void inline DEC(T &v){for(int i = 0; i < (int)v.size(); i++)v[i]--; return;} template void inline INC(T &v){for(int i = 0; i < (int)v.size(); i++)v[i]++; return;} void inline TEST(void){cerr << "TEST" << endl; return;} template bool inline chmin(T &x,S y){ if(x > (T)y){ x = (T)y; return true; } return false; } template bool inline chmax(T &x,S y){ if(x < (T)y){ x = (T)y; return true; } return false; } template vector inline get_vec(int n){ vector ans(n); for(int i = 0; i < n; i++)cin >> ans[i]; return ans; } template void inline print_vec(vector &vec,bool kaigyou = false){ int n = (int)vec.size(); for(int i = 0; i < n; i++){ cout << vec[i]; if(kaigyou || i == n - 1)cout << '\n'; else cout << ' '; } if(!n)cout << '\n'; return; } template void inline debug_vec(vector &vec,bool kaigyou = false){ int n = (int)vec.size(); for(int i = 0; i < n; i++){ cerr << vec[i]; if(kaigyou || i == n - 1)cerr << '\n'; else cerr << ' '; } if(!n)cerr << '\n'; return; } vector> inline get_graph(int n,int m = -1,bool direct = false,bool decrement = true){ if(m == -1)m = n - 1; vector> g(n); while(m--){ int u,v; cin >> u >> v; if(decrement)u--,v--; g[u].push_back(v); if(!direct)g[v].push_back(u); } return g; } template vector>> inline get_weighted_graph(int n,int m = -1,bool direct = false,bool decrement = true){ if(m == -1)m = n - 1; vector>> g(n); while(m--){ int u,v; cin >> u >> v; if(decrement)u--,v--; ll w; cin >> w; g[u].push_back(pair(w,v)); if(!direct)g[v].push_back(pair(w,u)); } return g; } bool func(vector a,ll x){ if(x <= 1)return true; int n = (int)a.size(); //[0,x-1] の数を全て作ることはできるか? //k を作るのには 2^(k-1) 個の数が必要になる //N の大きさ的に、20以上の数を作りたい場合、元の値を活かすしかない //例えば、(大量の1),19,20,21,23 が A だったとして、22は作れるが、24は作れない //↑もっと言うと、ここに[1,18]が都合よくあったとしても、(2e5個程度では)24は作れない //[0,x-1] を全部作る必要がある vector vb(x,false); vector b; vector cnt(21); for(int i = 0; i < n; i++){ if(a[i] < x && !vb[a[i]]){ vb[a[i]] = true; continue; } if(a[i] >= 20 || a[i] >= x)cnt[1]++; else cnt[a[i]]++; } int tempcnt = 0; for(int i = 20; i < x; i++){ if(!vb[i])return false; } ll val = 0; for(int i = 0; i < 20 && i < x; i++){ if(vb[i]){ if(i + 1 < cnt.size()){ cnt[i + 1] += cnt[i] / 2; } continue; } if(cnt[i] == 0){ for(int j = i + 1; j < 20 && j < x; j++){ if(cnt[j] >= 1){ cnt[j]--; cnt[i]++; break; } } if(cnt[i] == 0)return false; } ll dif = cnt[i] - 1; if(i + 1 < cnt.size())cnt[i + 1] += dif / 2; } return true; } #define MULTI_TEST_CASE true void solve(void){ //問題を見たらまず「この問題設定から言えること」をいっぱい言う //よりシンプルな問題に言い換えられたら、言い換えた先の問題を自然言語ではっきりと書く //複数の解法のアイデアを思いついた時は全部メモしておく //g++ -D_GLIBCXX_DEBUG -Wall -O2 b.cpp -o o int n; cin >> n; vector a = get_vec(n); SORT(a); //一個目の操作で全部を選んだら A 全体の mex がスコアになる //x 以上にすることはできるか?に単調性があるからにぶたんができそう ll ok = 0,ng = n + 2; while(ng - ok >= 2){ ll mid = (ok + ng) / 2; if(func(a,mid))ok = mid; else ng = mid; } cout << ok << el; return; } void calc(void){ return; } signed main(void){ cin.tie(nullptr); ios::sync_with_stdio(false); calc(); int t = 1; if(MULTI_TEST_CASE)cin >> t; while(t--){ solve(); } return 0; }