7.11evening

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

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

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

A[i]< MAX{A[i],A[i+1],A[i+2]…A[n]}
设后i+1位数中的逆序对数目为tot，max{num}为交换后i~n位中的逆序对最大数目，min{num}则为最小，则max{num}>=tot>=min{num}，因为要求逆序对数不变，则至少要在可能区间内。
显然max{num}=(n-i+1)*(n-i)/2，而tot肯定小于这个
min{num}是把 第i位数x 与 后面大于x的值中的最小值交换后，再把i+1~n为升序排列的逆序对数目，因为此时后i+1~n位间没有逆序对，而交换上来的是大于中的最小的，显然有i位产生的逆序对数最小，毕竟 最小+最小=最小。

构造最优解

在构造最优解前我们要证明一件东西：若A[i]符合以上条件，则将A[i]与A[j]交换后并能够造出一种逆序对数目相同的方案，其中A[j]为i+1~n中大于A[i]的最小值。
分两步证明：
1.将A[j]放上来后由A[j]产生的逆序对数目比之前多1，即(new)p[i]=(old)p[i]+1，而后面部分产生的逆序对数又能达到最大（降序排列），即最大值>=tot。
2.因为上面的条件中有tot>=p[i]+1，所以当A[j]换上来后逆序对数的最小值小于等于原逆序对数，所以一定有一种方案使得A[j]与A[i]交换后逆序对数不变。

最后一步就是构造最优解了，假如有组数据如下：
A ： 4 1 5 3 2
P ： 3 0 2 1 0
Sum 6 3 3 1 0
2不符合“p[i]+1<=sum[i]”
3不符合“A[i]< MAX{A[i],A[i+1],A[i+2]…A[n]}”
5不符合“A[i]< MAX{A[i],A[i+1],A[i+2]…A[n]}”
1符合两个条件，我们把1 和后面的 2 交换 再把后面的是升序排列 来构造最优解
此时序列为： 4 2 1 3 5
原来后4位有sum[2]=3个逆序对,换上来升序排列后有p[2]+1=1个逆序对,还需要x=3-1=2个逆序对，因为后三位要字典序最小，我们思考1能否不变？不可以。因为C12C21=1 <=2 即后面3个数最大的逆序对数 >= 所需数，所以我们要改变1，那么我们把1与谁交换呢？令y=所需数x-后面最大逆序对数，此处y=2-1=1，这样将A[k]与A[k+y]交换，此处k为第一个后面的数中需要交换的数，这样就会多出y个逆序对（因为后面的数是升序排列过的），再把A[k+y+1~n]降序排列，产生最多的逆序对就可以了。