一个比较容易观察到的性质是，这个东西等价于冒泡排序的一轮。
考虑经典结论，就是每次对于每个结点 \(i\) 会减少前面的一个逆序对，由于 \(a\) 的单调性，所以当一个数因为逆序对的情况移动会是一段连续的区间。因为最终答案就是看移动数量，考虑一个数什么时候不会移动，当且仅当其是前缀最大值，这个是好用差分维护的，二分出区间即可。
一个比较容易观察到的性质是，这个东西等价于冒泡排序的一轮。
考虑经典结论，就是每次对于每个结点 \(i\) 会减少前面的一个逆序对，由于 \(a\) 的单调性，所以当一个数因为逆序对的情况移动会是一段连续的区间。因为最终答案就是看移动数量，考虑一个数什么时候不会移动，当且仅当其是前缀最大值，这个是好用差分维护的，二分出区间即可。