贪心
#include <iostream>
#include <algorithm>
#include <cstdio>
using namespace std;
const int MAX = 30;
__int64 arr[MAX];
int main()
{
int n;
scanf("%d", &n);
for (int i = 1; i <= n; ++i)
scanf("%I64d", &arr[i]);
sort(arr + 1, arr + 1 + n);
__int64 sum = 0;
for (int i = n; i >= 1; --i)
{
while (arr[i] <= arr[i - 1])
{
arr[i - 1]--;
}
arr[i] >= 0 ? sum += arr[i] : 0;
}
printf("%I64d\n", sum);
return 0;
}