1. 问题描述：
给定一个长度为 n 的整数序列 a1，a2，…，an。我们可以对该序列进行修改操作，每次操作选中其中一个元素，并使其增加 1。现在，请你计算要使得序列中的元素各不相同，至少需要进行多少次操作。
输入格式
第一行包含整数 n。第二行包含 n 个整数 a1，a2，…，an。
输出格式
一个整数，表示所需的最少操作次数。
数据范围
前 6 个测试点满足 1 ≤ n ≤ 10。所有测试点满足 1 ≤ n ≤ 3000，1 ≤ ai ≤ n。
输入样例1：
4
1 3 1 4
输出样例1：
1
输入样例2：
5
1 2 3 2 5
输出样例2：
2
来源：https://www.acwing.com/problem/content/4309/
2. 思路分析：
对于这道题目我们可以想一下贪心来解决（对于贪心的题目需要大胆假设），其中贪心有一个比较重要的理论基础：一般全集方案非常多的时候，我们看能否挖掘一下题目的某些性质使得在全集中存在一个子集然后我们可以在子集中可以找到全集最优解，此时子集中的最优解就是全集的最优解。可以发现我们通过对a数组排序之后全集的最优解中存在于子集中那么子集的最优解就是全集的最优解。（因为任给一个最优解我们都可以通过交换顺序两个逆序的数字使得最优解存在于子集中所以子集中存在全集最优解那么子集的最优解就是全集的最优解），这样我们就可以将全集最优解缩小在一个更小的范围中，接下来怎么样进行贪心呢？可以发现我们可以令f(0) = a0，f(i) = max(f(i - 1)，a[i])，也即当前的数字为a[i - 1]变成的另外一个数字加1对应的数字：f(i - 1) + 1和当前a[i]的最大值，这样得到的操作次数一定是最小的。很多贪心的题目都是基于这样一个理论基础：通过挖掘题目的性质使得子集中找到的最优解就是全集最优解。
3. 代码如下：
class Solution:
def process(self):
n = int(input())
a = list(map(int, input().split()))
a.sort()
res = last = 0
for i in range(n):
cur = max(a[i], last + 1)
res += cur - a[i]
last = cur
return res
if __name__ == '__main__':
print(Solution().process())