题目
分析
排序，性质。
这道题告诉了我们大眼观察法的重要性。
我们发现，无论怎么交换，每一个元素对应的 (a_i+i) 总是一个定值。
那么显然交换到最后的最好情况就是所有的值按照从小到大有序。
然后考虑什么情况下无解，显然，如果在最终的序列当中出现了两个相同元素，就是无解，因为这两个元素会使得序列总是不满足条件。
于是就结束了，最后输出的时候注意是输出还原后的序列即可。
代码
#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define ull unsigned long long
#define inc(x,y,mod) (((x)+(y))>=(mod)?(x)+(y)-(mod):(x)+(y))
#define dec(x,y,mod) ((x)-(y)<0?(x)-(y)+(mod):(x)-(y))
#define rep(i,x,y) for(int i=(x);i<=(y);i++)
#define dep(i,y,x) for(int i=(y);i>=(x);i--)
const int N=2e5+5,M=2e5+5,MOD=1e9+7;
int n,a[N];
signed main(){
ios::sync_with_stdio(false);
cin>>n;
rep(i,1,n) cin>>a[i],a[i]+=i;
sort(a+1,a+n+1);
rep(i,1,n) if(a[i]==a[i-1]) return puts(":("),0;
rep(i,1,n) cout<<a[i]-i<<" ";
return 0;
}