我们有一个数组A: 数组A中存在一个对(i,j),其中i A [j]。为什么我们在数组A中至少有j-i求反?
(i,j)是一种反转。另一个j-i-1包含索引k,使得i<k<j,因为A[i]>A[k]或A[k]>A[j](否则为A[i]<=A[k]<=A[k],这意味着{{1 }},并且与A[i]<=A[j])的假设相矛盾。
(i,j)
j-i-1
k
i<k<j
A[i]>A[k]
A[k]>A[j]
A[i]<=A[k]<=A[k]
A[i]<=A[j]