#include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; const ll INF=1LL<<60; typedef pair P; typedef pair PP; const ll MOD=998244353; const double PI=acos(-1); template struct binary_indexed_tree{ int N; vector bit; binary_indexed_tree(int n):N(n+1){ bit = vector(n+1,0); N=n; } void add(int x,Type a){ x++;//1から始めるための補正 //for(int i=x; i<=N; i+=(i&-i)) bit[i] = addition(bit[i],a); while(x<=N){ //bit[x] = addition(bit[x],a); bit[x] =bit[x]+a; x += x&-x; } } Type sum(int x){ x++;//1から始まることに注意 Type ret=0; //for(int i=x; i>0; i-=(i&-i)) ret = addition(ret,bit[i]); while(x>0){ ret = ret+bit[x]; x -= x&-x; } return ret; } //[l,r]の範囲 // rはN-1以下 Type get(int l,int r){ if(r>N) return 0;//配列の外へのアクセス if(l>r) return 0;//本来は l<=r となるのでおかしい if(l==0) return sum(r);//[0,r]//ここでoutなわけか else return (sum(r) - sum(l-1)); } }; int main(){ int N; cin>>N; const int MAXN=100000+1; vector cnt(100000+10,0); vector A(N); for(int i=0;i>A[i]; } for(int i=0;i cnt0(MAXN+1),cnt1(MAXN+1),cnt2(MAXN+1),cntlargerthan2(MAXN+1); //vector cnt0(MAXN+1,0),cnt1(MAXN+1,0),cnt2(MAXN+1,0),cntlargerthan2(MAXN+1,0); for(int k=0;k<=MAXN;k++){ if(cnt[k]==0){ cnt0.add(k,1); }else if(cnt[k]==1){ cnt1.add(k,1); }else if(cnt[k]==2){ cnt2.add(k,1); }else if(cnt[k]>2){ cntlargerthan2.add(k,1); } } int ans=0; for(int k=1;k<=MAXN;k++){ if((cnt2.get(0,k-1)+cntlargerthan2.get(0,k-1))==k){ //答えはk以上にできる ans=k; }else if(cnt0.get(0,k-1)>0 || cnt1.get(0,k-1)>1){ //答えはk未満 ans=k-1; break; }else{ //[k,MAXN] //int num=(cnt1[MAXN]+cnt2[MAXN]+cntlargerthan2[MAXN])-(cnt1[k-1]+cnt2[k-1]+cntlargerthan2[k-1]); int num=cnt1.get(k,MAXN)+cnt2.get(k,MAXN)+cntlargerthan2.get(k,MAXN); if(cntlargerthan2.get(0,k-1)>2 || num>=1){ ans=k; }else{ ans=k-1; break; } } } cout<