Solution: Number of Inversions

Solution

Let’s try the most frequently used type of the divide-and-conquer strategy. Split the input sequence into two halves, $LeftHalf$ and $RightHalf$, and make a recursive call for each of them. This allows us to compute all inversions that lie in the same half. But it does not reveal the numbers of split inversions, i.e., the number of pairs $(a_i, a_j)$ such that $a_i$ lies in the left half, $a_j$ lies in the right half, and $a_i >a_j$.

Stop and think: Consider an element $x$ in $LeftHalf$. What is the number of split inversions that $x$ belongs to?

Given an array $List$ and an integer $x$, let $List_x$ be the number of elements in $List$ that are smaller than $x$. Since the answer to the question above is $RightHalf_x$, our goal is to rapidly compute $List_x$.

It is equal to the number of elements in $RightHalf$ that are smaller than $x$. This way, we face the following problem: given a sequence of integers $List$ and an integer $x$, find the number of elements in $List$ that are smaller than $x$. We can do it in $O(|List|)$ time in the case of the unordered array (since each element of the array has to be checked) and in $O(log |List|)$ time in the case of an ordered array by using the binary search.

Exercise break: Show how to implement a method $CountSmaller(List, x)$ for counting the number of elements of $List$ that are smaller than $x$ in time $O(log_2 |List|)$ ...