AtCoder Beginner Contest 082
C
Good Sequence
AtCoder
⌀ 593
原题
← BD →
翻译中…

Problem Statement

翻译中…

You are given a sequence of positive integers of length $N$, $a = (a_1, a_2, ..., a_N)$. Your objective is to remove some of the elements in $a$ so that $a$ will be a good sequence.

翻译中…

Here, an sequence $b$ is a good sequence when the following condition holds true:

翻译中…
  • For each element $x$ in $b$, the value $x$ occurs exactly $x$ times in $b$.
翻译中…

For example, $(3, 3, 3)$, $(4, 2, 4, 1, 4, 2, 4)$ and $()$ (an empty sequence) are good sequences, while $(3, 3, 3, 3)$ and $(2, 4, 1, 4, 2)$ are not.

翻译中…

Find the minimum number of elements that needs to be removed so that $a$ will be a good sequence.

翻译中…

Constraints

翻译中…
  • $1 \leq N \leq 10^5$
  • $a_i$ is an integer.
  • $1 \leq a_i \leq 10^9$
翻译中…

Input

翻译中…

Input is given from Standard Input in the following format:

翻译中…

N
a_1 a_2 ... a_N

翻译中…

Output

翻译中…

Print the minimum number of elements that needs to be removed so that $a$ will be a good sequence.

翻译中…

样例

Input #1
4
3 3 3 3
Output #1
1
We can, for example, remove one occurrence of $3$. Then, $(3, 3, 3)$ is a good sequence.
Input #2
5
2 4 1 4 2
Output #2
2
We can, for example, remove two occurrences of $4$. Then, $(2, 1, 2)$ is a good sequence.
Input #3
6
1 2 2 3 3 3
Output #3
0
Input #4
1
1000000000
Output #4
1
Remove one occurrence of $10^9$. Then, $()$ is a good sequence.
Input #5
8
2 7 1 8 2 8 1 8
Output #5
5
题目信息
题号
arc087_a
时间限制
2 s
内存限制
256 MB

题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。