Skip to main content

Inversion Count - Medium

Given an Array A[1..n] of distinct integers find out how many instances are there where A[i] > A[j] where i < j. Such instances can be called Inversions.

Say, [100,20,10,30] the inversions are (100,20), (100, 10), (100,30), (20,10) and the count is of course 4

The question appears as an exercise in the  Chapter 4 of Introduction to Algorithms.  (3rd Edition)

As per our tradition we'll start with the worst algorithm and incrementally improve upon it. So on with it.

So the complexity of the algorithm is O(n^2). We can do this even faster using divide and conquer, more aptly if we use a variation of Merge Sort. To do this, unfortunately, we will have to mutate the array.

The key to the algorithm is to understand that in an ascending sorted array the inversion count is zero. Say [10,20,30]

If we perhaps have an element 100 before the rest of the array, the inversion count becomes 3. [100,10,20,30]. If we placed the 100 at the second position the inversion count would be 2, [10,100,20,30].

So here's what we're going to do, we write a recursive function which returns inversion count. The function first recursively does it for the first half and second half of the array, the byproduct of these recursive calls is that both half's become sorted. (Just like Merge Sort!) Now if you have two sorted Arrays which should be merged into one, we can piggy back on the merging process (of merge sort!) and count the inversions by merely counting the number of times an element from the first half was greater than the element in the second half.

An example, for those who found my explanation confusing.

Say, at some point of the recursion, we have the following
First half : [20,40,60,80] , Second half : [10,30,50,70]

If you recall the merge subroutine, we first compare 20 and 10, since 20 > 10, that counts as an inversion. But also note, since the first half is sorted therefore it is guaranteed that  [20, 40, 60, 80] will all be greater than 10. Since 20 had to be the minimum element of the first half. Therefore the inversion count for 10 in this instance becomes 4 (size of the unexplored first half). Important to note, this algorithm only works if the integers are all distinct.

Speaking generally, let's say i is the index for first half, j is the index for the second. Aux is the auxillary array to store the result. Then,

If A[i] > A[j] then    // implies A[j] < A[i…mid]
    invCount = mid - i + 1
    Aux[k++] = A[j++]
Else
    Aux[k++] = A[i++]
End If

Now for the code, notice it's uncanny resemblance to merge sort.

And that's Inversion Count! :)

Comments

Popular posts from this blog

Find Increasing Triplet Subsequence - Medium

Problem - Given an integer array A[1..n], find an instance of i,j,k where 0 < i < j < k <= n and A[i] < A[j] < A[k]. Let's start with the obvious solution, bruteforce every three element combination until we find a solution. Let's try to reduce this by searching left and right for each element, we search left for an element smaller than the current one, towards the right an element greater than the current one. When we find an element that has both such elements, we found the solution. The complexity of this solution is O(n^2). To reduce this even further, One can simply apply the longest increasing subsequence algorithm and break when we get an LIS of length 3. But the best algorithm that can find an LIS is O(nlogn) with O( n ) space . An O(nlogn) algorithm seems like an overkill! Can this be done in linear time? The Algorithm: We iterate over the array and keep track of two things. The minimum value iterated over (min) The minimum increa...

Shortest Interval in k-sorted list - Hard

Given k-sorted array, find the minimum interval such that there is at least one element from each array within the interval. Eg. [1,10,14],[2,5,10],[3,40,50]. Output : 1-3 To solve this problem, we perform a k-way merge as described here . At each point of 'popping' an element from an array. We keep track of the minimum and maximum head element (the first element) from all the k-lists. The minimum and maximum will obviously contain the rest of the header elements of the k-arrays. As we keep doing this, we find the smallest interval (max - min). That will be our solution. Here's a pictorial working of the algorithm. And here's the Python code. Time Complexity : O(nlogk)

The 2 Missing Duplicate Numbers - Medium

This is a slightly trickier version of The Missing Duplicate Number . Instead of one single missing number, we have 2. Problem : Given an array of Integers. Each number is repeated even number of times. Except 2 numbers which occur odd number of times. Find the two numbers Ex. [1,2,3,1,2,3,4,5] The Output should be 4,5. The naive solution is similar to the previous solution. Use a hash table to keep track of the frequencies and find the elements that occur an odd number of times. The algorithm has a Time and Space Complexity of O(n). Say those two required numbers are a and b If you remember the previous post, we used the XOR over all the elements to find the required element. If we do the same here, we get a value xor which is actually a ^ b. So how can we use this? We know that a and b are different, so their xor is not zero. Infact their XOR value has its bit set for all its dissimilar bits in both a and b. (eg.  1101 ^ 0110 = 0011). It's important to notice ...