[TJOI2016]排序

一、题目

点此看题

二、解法

其实本题的突破口在只有一个询问上，因为没有排序算法能达到$O(\log n)$。
考虑$\log$的复杂度排序，发现它只能对$01$串进行排序，我们尝试把问题转化为$01$串的排序。
如果我们有一个分界值$x$，那么小于$x$的是$0$，否则是$1$，排序可以用线段树实现，维护$0$的个数，支持区间赋值。这样我们可以得到一个关于大小的描述，我们看最后$q$位是否为$1$，如果为$1$，就可以确定$a[q]\le x$，所以我们二分$x$，找到一个能使$q$位为$1$的最大的$x$，即为答案。
时间复杂度 O ( n log ⁡ 2