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