问题 5074 --夏天西瓜最配

5074: 夏天西瓜最配★★

时间限制: 1 Sec  内存限制: 128 MB
提交: 84  解决: 23
[提交][状态][命题人:]

题目描述

最近天气炎热,持续高温,星亦几乎天天宅在家里。

偶尔他爸妈会带他去玩水,那是他最开心的时刻。

平时他就不愿意出门了,除了去买西瓜,因为夏天和西瓜最配。

现在有n个西瓜框,每个框里有若干个西瓜。

现在你的任务是往这些西瓜框里添加西瓜,使得每个框里的西瓜数目互不相等。

请问你最少得添加几个西瓜?

输入

第一行输入一个整数n(1≤n≤3000)。
下一行由n个整数ai(1 ≤ ai ≤ n),代表每个框里的西瓜数量。

输出

输出一个整数:需要添加西瓜数量的最小值
样例输入
Copy
4
1 3 1 4
样例输出
Copy
1

提示

样例2输入

5
1 2 3 2 5

样例2输出

2

在第一个样本测试中,我们可以往第一个西瓜框里加一个西瓜。
在第二个样本测试中,我们可以往第二个和第三个西瓜框里各添加一个西瓜。

来源

[提交][状态]