部分排序数组的最短时间?

Dav*_*aph 5 arrays sorting algorithm data-structures

我们给出了一个部分排序的数组A,即for i=1, 2, ..., n-k我们有:

A[i]<= A[i+k]
Run Code Online (Sandbox Code Playgroud)

对于完全排序数组,我们至少需要O(n log k)时间.

是什么条件和解决方案使这个公理永远是真的?