atcoder#ABC290C. [ABC290C] Max MEX

[ABC290C] Max MEX

题目描述

長さ N N の非負整数列 A A が与えられます。
A A から K K 要素を選んで順序を保ったまま抜き出した列を B B としたとき、 MEX(B) MEX(B) としてありえる最大値を求めてください。

但し、数列 X X に対して MEX(X) MEX(X) は以下の条件を満たす唯一の非負整数 m m として定義されます。

  • 0  i < m 0\ \le\ i\ <\ m を満たす全ての整数 i i X X に含まれる。
  • m m X X に含まれない。

输入格式

入力は以下の形式で標準入力から与えられる。

N N K K A1 A_1 A2 A_2 \dots AN A_N

输出格式

答えを出力せよ。

题目大意

给出一个长度为 NN 的仅含非负整数的序列 AA,你需要从中选出 KK 个数使得这 KK 个数的 Mex 最大,其中 Mex 为未出现的最小非负整数。

1KN3×1051\leq K\leq N\leq 3\times 10^50Ai1090\leq A_i\leq 10^9

7 3
2 0 2 3 2 1 9
3

提示

制約

  • 入力は全て整数
  • 1  K  N  3 × 105 1\ \le\ K\ \le\ N\ \le\ 3\ \times\ 10^5
  • 0  Ai  109 0\ \le\ A_i\ \le\ 10^9

Sample Explanation 1

この入力では A=(2,0,2,3,2,1,9) A=(2,0,2,3,2,1,9) であり、ここから K=3 K=3 要素を選んで抜き出して数列 B B を得ます。例えば、 - 1,2,3 1,2,3 要素目を抜き出した時、 MEX(B)=MEX(2,0,2)=1 MEX(B)=MEX(2,0,2)=1 - 3,4,6 3,4,6 要素目を抜き出した時、 MEX(B)=MEX(2,3,1)=0 MEX(B)=MEX(2,3,1)=0 - 2,6,7 2,6,7 要素目を抜き出した時、 MEX(B)=MEX(0,1,9)=2 MEX(B)=MEX(0,1,9)=2 - 2,3,6 2,3,6 要素目を抜き出した時、 MEX(B)=MEX(0,2,1)=3 MEX(B)=MEX(0,2,1)=3 のようになります。 達成可能な MEX MEX の最大値は 3 3 です。