【JZOJ5405】 Permutation

题目简述

你有一个长度为$n$的排列$P$与一个正整数$K$。

你可以进行如下操作若干次使得排列的字典序尽量小 。

对于两个满足$|i-j|\geq K$ 且$|Pi-Pj|=1$`的下标$i$与$j$，交换$P_i$与$P_j$。

$n \leq 500000$

思路

整体感知

这道题与下标有关系，且数值唯一确定，那我们试试把下标和数值颠倒一下。

我们发现，这时的题目就转化成：

你有一个长度为$n$的排列$L$与一个正整数$K$。
你可以进行如下操作若干次使得排列的字典序尽量小 。
对于满足且$|L_i-L_i+_1|\geq k$的下标$i$，交换$L_i$与$L_i+_1$。

那我们就要让小的数尽量靠前。

我们求出这个L序列，再转回答案序列就好了。

然后就有各种神奇地贪心或者随机化水法，可以拿很高分。

认真地思考

我们发现，如果有两个位置i,j，保证$i<j$，如果$|a_i-a_j|<K$，那么，无论怎么变化，$a_i$这个数都会在$a_j$的左边，而不会跑到右边去。

形象地想，就是我们当然希望更小的aj跑到左边，但由于可恶的$a_i$ 像一堵墙一样堵着，使$a_j$只能在$a_i$右边。

这些所谓的“墙”其实就是构造的限制，如何把这些限制表示出来呢？

连边！

那么，我们就把每个点往所有在它右边且与它差值小于K的点连单向边，表示一堵“墙”。

如果一个数（点）入度为0，那么它就可以放在最左边，而显然我们要把最小的数放在左边。

我们每次就找到当前入度为0的最小的数（点），保证它，即这个数（点）已经没有什么数（点）必须在它左边了，那么当前位置就选它。它所带来的限制也随之消失，就再把它连出的边全部删掉。不断重复此过程。

这样的复杂度是:$O(n^2)$的

继续优化

我们发现，如果有三个位置$i,j,k$，$i<j<k$，$L_j,L_k>L_i$，$L_j-L_i<K$，$L_k-L_i<K$，那么肯定有$|L_j-L_k|<K$。

若把上述推论换成$L_j,L_k<L_i$也成立。

这就说明了如果$i$挡住$j,k$，在$L_j,L_k$都大于或小于$L_i$的情况下，$j$一定也挡住$k$，所以我们只表示$i$挡住$j$和$j$挡住$k$，而不用表示$i$挡住$k$了。

所以，一个点其实只用连2条边即可，它分别连向它右边第一个比它大的，差值小于K的点，和第一个比它小的，差值小于K的点。这样，就可以表示所有限制。

很神奇吧。

这样全局就只有2n个限制了。

复杂度：$O(nlogn)$

总结

• 序列上构造问题可以考虑连边表示限制
• 用等效且更少的连边来优化时间