【NOIP2014八校联考】乐曲创作(music) （详细证明）

Problem

题目描述
小可可是音乐学院的一名学生，他需要经常创作乐曲完成老师布置的作业。

可是，小可可是一个懒惰的学生。所以，每次完成作业时，他不会重新创作一首新的乐曲，而是去修改上一次创作过的乐曲作为作业交给老师。小可可的乐曲由N个音调不同的音符组成，分别记为音符1…N。因此，他创作的乐曲是由1…N的一个排列构成，例如N=5时，他创作的乐曲可能为：2,1,3,5,4。但是，小可可每一次会按照一定的要求修改上一次创作的乐曲。他规定，修改过后的乐曲必须与上一次创作的乐曲的悦耳值相同。所谓悦耳值就是他所创作的乐曲，也就是1…N的排列中逆序对的个数。逆序对是指对于1…N的一个排列A1,A2,…,An中的两个数Ai,Aj，满足i < j而Ai>Aj，例如：2,1,3,5,4 这个排列中有2个逆序对，分别为：(2,1)，(5,4)。可是，满足条件的排列有很多，小可可会选择在这些满足条件的排列中字典序大于上次创作乐曲的排列的字典序，且字典序尽量小的那一个排列作为新的乐曲。这里的字典序指：排列A：A1,A2…An和排列B：B1,B2…Bn，若存在一个数k，使得Ak < Bk，且A1=B1,A2=B2,……,Ak-1=Bk-1，我们就称排列A的字典序小于排列B的字典序。

由于小可可最近要参加学校的篮球比赛，他没有空余时间完成老师布置的作业，于是他希望作为他好友的你帮助他完成作业。

输入
第1行1个正整数N，表示小可可的乐曲由N个音调不同的音符组成。
第2行为N个不同的正整数，表示1…N的一个排列，即小可可上次创作的乐曲。

输出
输出只有一行，为1…N的一个排列，表示你帮助小可可修改后的乐曲。
数据保证有满足条件的解。

样例输入
3
2 3 1
样例输出
3 1 2
【样例2】
music.in
5
2 1 3 5 4
music.out
2 1 4 3 5
【数据范围】
30%的数据，1≤N≤10；
60%的数据，1≤N≤1000；
100%的数据，1≤N≤500000。

Solution

思路

1. 因为要字典序最小，我们再举几个样例和感性认知后发现：若新序列P相对于原序列A第一个修改的数为Ai，则i要尽可能小。枚举i，那么如何判断i位作为第一个修改的数是否可行并构造可行解呢？

判断是否可行

1. 我们首先用树状数组 预处理出来p[i]，表示第i位后有几个数字比它小，sum[i]表示i-n位的逆序对数目，显然sum[i]=sum[i+1]+p[i]；

2. 若从i位开始修改，则显然要满足以下条件：

   • A[i]< MAX{A[i],A[i+1],A[i+2]…A[n]}
   • 设后i+1位数中的逆