题面
Bessie 正在尝试使用她自己的排序算法对一个整数数组进行排序。她有一堆共 𝑁(1≤𝑁≤2⋅105)个整数 𝑎1,𝑎2,…,𝑎𝑁(1≤𝑎𝑖≤1011),她将会按排序顺序将这些数放入一个单独的数组中。她反复查找这堆数中的最小数,将其删除,同时将其添加到数组的末尾。Bessie 在 𝑝 个数的堆中找到最小数需要花费 𝑝 秒。
Farmer John 命令了农场中其他一些奶牛帮助 Bessie 完成任务,她们很懒,然而 Bessie 利用了这一点。她将整数分成两堆:Bessie 堆和助手堆。对于 Bessie 堆中的每个整数,她会正常执行她的算法。对于助手堆中的每个整数,她将其分配给不同的助手奶牛。Farmer John 有一个很大的农场,所以 Bessie 可以找来任意多的助手奶牛。如果助手收到整数 𝑎𝑖,Bessie 会指示该牛小睡 𝑎𝑖 秒,并在她们醒来时立即将该整数添加到数组末尾。如果 Bessie 和一个助手同时向数组添加整数,Bessie 的整数将优先被添加,因为她是领导者。如果多个助手被分配了相同的整数,她们会同时将多个该整数添加到数组中。
请帮助 Bessie 划分她的数,使得最终得到的数组是排序的,并使得排序该数组所需的时间最少。
思考
首先我们可以将情况分为两类,一类是Bessis完全不动手,另一类是Bessie动手。
完全不动手时,显然答案就是最大的那个数。
如果动手,首先Bessie一定会尝试把最大的数拿过来,否则答案就会和没有拿一样。接着我们从大往小去考虑每个数是否可以在Bessie所需要的堆里面,对于Bessie所取出来的第
i
i
i个数而言,它被加入有序数组的时间为
k
∗
(
k
+
1
)
/
2
k*(k+1)/2
k∗(k+1)/2,我们可以记为
t
i
m
e
j
time_j
timej,那么如果存在一个数比第
j
j
j小,同时又比这个时间大,那么这个数就一定应该被Bessie使用。做完之后我们就得到了一个初步的序列,如果这个序列大小超出了,那么这样子一定是不行的,否则我们一定可以构造出这样一种合法方案,因为按照我们的构造,序列里最小的那个数的前面都是比这个数的加入时间早的,把这些都拿过来就行。
综上所述,我们就有了一种二分检验的方法,结合一下就行。
类似于这种两个函数取max求min的形式,我们可以考虑钦定其中一方大于等于另一方,然后去求解。
代码略