关于蓝桥杯算法题——逆序对

此处的文章是我自己关于这篇博客：https://www.cnblogs.com/cshhr/p/3550014.html
中所写的关于逆序对这道题的题解的理解，如有错误，感谢指出。

首先粘贴原题：

问题描述
Alice是一个让人非常愉跃的人!他总是去学习一些他不懂的问题，然后再想出许多稀奇古怪的题目。这几天，Alice又沉浸在逆序对的快乐当中，他已近学会了如何求逆序对对数，动态维护逆序对对数等等题目，他认为把这些题让你做简直是太没追求了，于是，经过一天的思考和完善，Alice终于拿出了一道他认为差不多的题目：

有一颗2n-1个节点的二叉树，它有恰好n个叶子节点，每个节点上写了一个整数。如果将这棵树的所有叶子节点上的数从左到右写下来，便得到一个序列a[1]…a[n]。现在想让这个序列中的逆序对数量最少，但唯一的操作就是选树上一个非叶子节点，将它的左右两颗子树交换。他可以做任意多次这个操作。求在最优方案下，该序列的逆序对数最少有多少。

Alice自己已近想出了题目的正解，他打算拿来和你分享，他要求你在最短的时间内完成。

输入格式
第一行一个整数n。

下面每行，一个数x。

如果x=0，表示这个节点非叶子节点，递归地向下读入其左孩子和右孩子的信息，如果x≠0，表示这个节点是叶子节点，权值为x。

输出格式
输出一个整数，表示最少有多少逆序对。
样例输入
3
0
0
3
1
2
样例输出
1
数据规模与约定
对于20%的数据，n <= 5000。

对于100%的数据，1 <= n <= 200000，0 <= a[i]<2^31。

对题解的理解：

 首先，题解在输入数据时，先输入左子树的，再输入右子树的，然后将左右子树的数据进行处理，将处理后的结果返回给当前节点，当前节点再成为新的左右子树，这样递归地处理数据，递归函数为init。题解中处理数据的函数是merge。
 在处理数据时，用到了全局函数m来记录有效节点，即关键词为非零的节点，的下标。将init处理前后的m值都记录下来，就知道了init处理的子树中的有效节点个下标是处理前的m值到处理后的m值。
 在处理时，会构建新的二叉平衡树，对于新的二叉平衡数下文称为新子树，对新子树的构建下文会讲到。关于二叉平衡树原文说是用了SBT，关于SBT可以看这一篇：https://blog.csdn.net/zzkksunboy/article/details/73927513
 在进行merge函数处理前，先对比了左右新子树的大小，用规模小的新子树来和规模大的新子树进行比较，下文用z1，z2表示。
 在比较时用rank函数进行比较（有关rank下文会讲），lans储存了z2中的每个数大于z1中的每个数的个数，rans储存了z2中的每个数小于z1中的每个数的个数。这样lans就相当于左右子树旋转前的总体逆序对，rans就相当于旋转后的总体逆序对，然后把min(lans,rans）加到答案ans中。在递归过程中ans不断增加新的值，在最后递归完成时，对于每一个有效节点都相互比较过了，ans也就是经过旋转后可达到的最小逆序对了。

 其中十分重要的一点，就是在进行比较过后，用了insert将z2中的每个元素加入到z1这个新子树中，相当于z1和z2进行了合并。这个insert就是之前提到的SBT的insert，这个新子树就是完全由有效节点构成的子树。由于新子树是由原先旧子树的有效节点构成的，所以对z1,z2两个新子树的有效节点进行旋转比较就相当于对对应的旧子树的有效节点进行旋转比较。
 之后来看看rank是怎么进行比较的。它利用了SBT的左新子树的数值小于根节点的数值小于右新子树的数值的性质，快速地进行查找。并且通过储存左右新子树规模的数组快速地得出有多少个有效节点是小于关键值的，从而快速的求出逆序对。