如何找到无重复的n个整数的未排序数组A的重复项并进行证明

Question

我试图在下面了解这种排序算法。这将在C

中完成

sort(A, i, j):
  if i = j then
    return
  end if
  m = floor(i+j/2)
  sort(A, i, m)
  sort(A, m + 1, j)
  if A[m] > A[j] then
    swap A[m] and A[j]
  end if
  sort(A, i, j − 1)

首先，我尝试编写一个表征sort(A, 0, n − 1)运行时的重复记录。而且，如何使用归纳法证明算法是正确的？请需要帮助。