NC24275. [USACO 2018 Ope P]Out of Sorts
描述
如果数组A中A[...i]的最大值不大于A[i+1…]的最小值,我们就称元素i和i+1之间的位置为一个“分隔点”。Bessie还记得快速排序包含对数组的重排,产生了一个分隔点,然后要递归对两侧的A[...i]和A[i+1…]排序。然而,尽管她正确地记下了数组中所有的分隔点都可以在线性时间内被求出,她却忘记快速排序应该怎么重排来快速构造一个分隔点了!在这个可能会被证明是排序算法的历史中最糟糕的算法性失误之下,她做出了一个不幸的决定,使用冒泡排序来完成这个任务。
以下是Bessie最初的对数组AA进行排序的实现的概要。她首先写了一个简单的函数,执行冒泡排序的一轮:
bubble_sort_pass (A) { for i = 0 to length(A)-2 if A[i] > A[i+1], swap A[i] and A[i+1] }
她的快速排序(相当快)函数的递归代码是按下面的样子构成的:
quickish_sort (A) { if length(A) = 1, return do { // Main loop work_counter = work_counter + length(A) bubble_sort_pass(A) } while (no partition points exist in A) divide A at all partition points; recursively quickish_sort each piece }
Bessie好奇于她的代码能够运行得多快。简单起见,她计算出她得主循环的每一轮都消耗线性时间,所以她相应增加一个全局变量work_counter的值,以此来跟踪整个算法总共完成的工作量。
给定一个输入数组,请预测quickish_sort函数接收这个数组之后,变量work_counter的最终值。
输入描述
输入的第一行包含N(1≤N≤100,000)。接下来N行描述了A[0]…A[N−1],每个数都是一个范围为的整数。输入数据不保证各不相同。
输出描述
输出work_counter的最终值。
示例1
输入:
7 20 2 3 4 9 8 7
输出:
12
说明:
在这个例子中,数组开始时为20 2 3 4 9 8 7。在一轮冒泡排序之后(增加7的工作量),我们得到2 | 3 | 4 | 9 8 7 | 20,其中|表示一个分隔点。于是我们的问题被分成了递归的子问题,包括对2、3、4、20排序(每个消耗0单元的工作量)和对9 8 7排序。对于9 8 7这个子问题,主循环的一轮(3单元工作量)得到8 7 | 9,在此之后最后一轮处理8 7(2单元工作量) 就有效地完成了排序。