# Count inversions in an array | Set 3 (Using BIT)

Inversion Count for an array indicates – how far (or close) the array is from being sorted. If array is already sorted then inversion count is 0. If array is sorted in reverse order that inversion count is the maximum.

```     Two elements a[i] and a[j] form an inversion if
a[i] > a[j] and i < j. For simplicity, we may
assume that all elements are unique.

Example:
Input:  arr[] = {8, 4, 2, 1}
Output: 6
Given array has six inversions (8,4), (4,2),
(8,2), (8,1), (4,1), (2,1).     ```

## We strongly recommend that you click here and practice it, before moving on to the solution.

We have already discussed below methods to solve inversion count
1) Naive and Modified Merge Sort
2) Using AVL Tree

Background:
BIT basically supports two operations for an array arr[] of size n:

1. Sum of elements till arr[i] in O(Log n) time.
2. Update an array element in O(Log n) time.

BIT is implemented using an array and works in form of trees. Note that there are two ways of looking at BIT as a tree.

1. The sum operation where parent of index x is “x – (x & -x)”.
2. The update operation where parent of index x is “x + (x & -x)”.

We recommend you to refer Binary Indexed Tree (BIT) before further reading this post.

Basic Approach using BIT of size Θ(maxElement):
The idea is to iterate the array from n-1 to 0. When we are at i’th index, we check how many numbers less than arr[i] are present in BIT and add it to the result. To get the count of smaller elements, getSum() of BIT is used. In his basic idea, BIT is represented as an array of size equal to maximum element plus one. So that elements can be used as an index.
After that we add current element to the BIT[] by doing an update operation that updates count of current element from 0 to 1, and therefore updates ancestors of current element in BIT (See update() in BIT for details).

Below is the implementation of basic idea that uses BIT.

## C++

 `// C++ program to count inversions using Binary Indexed Tree ` `#include ` `using` `namespace` `std; ` ` `  `// Returns sum of arr[0..index]. This function assumes ` `// that the array is preprocessed and partial sums of ` `// array elements are stored in BITree[]. ` `int` `getSum(``int` `BITree[], ``int` `index) ` `{ ` `    ``int` `sum = 0; ``// Initialize result ` ` `  `    ``// Traverse ancestors of BITree[index] ` `    ``while` `(index > 0) ` `    ``{ ` `        ``// Add current element of BITree to sum ` `        ``sum += BITree[index]; ` ` `  `        ``// Move index to parent node in getSum View ` `        ``index -= index & (-index); ` `    ``} ` `    ``return` `sum; ` `} ` ` `  `// Updates a node in Binary Index Tree (BITree) at given index ` `// in BITree.  The given value 'val' is added to BITree[i] and ` `// all of its ancestors in tree. ` `void` `updateBIT(``int` `BITree[], ``int` `n, ``int` `index, ``int` `val) ` `{ ` `    ``// Traverse all ancestors and add 'val' ` `    ``while` `(index <= n) ` `    ``{ ` `       ``// Add 'val' to current node of BI Tree ` `       ``BITree[index] += val; ` ` `  `       ``// Update index to that of parent in update View ` `       ``index += index & (-index); ` `    ``} ` `} ` ` `  `// Returns inversion count arr[0..n-1] ` `int` `getInvCount(``int` `arr[], ``int` `n) ` `{ ` `    ``int` `invcount = 0; ``// Initialize result ` ` `  `    ``// Find maximum element in arr[] ` `    ``int` `maxElement = 0; ` `    ``for` `(``int` `i=0; i=0; i--) ` `    ``{ ` `        ``// Get count of elements smaller than arr[i] ` `        ``invcount += getSum(BIT, arr[i]-1); ` ` `  `        ``// Add current element to BIT ` `        ``updateBIT(BIT, maxElement, arr[i], 1); ` `    ``} ` ` `  `    ``return` `invcount; ` `} ` ` `  `// Driver program ` `int` `main() ` `{ ` `    ``int` `arr[] = {8, 4, 2, 1}; ` `    ``int` `n = ``sizeof``(arr)/``sizeof``(``int``); ` `    ``cout << ``"Number of inversions are : "` `<< getInvCount(arr,n); ` `    ``return` `0; ` `} `

## Java

 `// Java program to count inversions  ` `// using Binary Indexed Tree ` ` `  `class` `GFG ` `{ ` `     `  `// Returns sum of arr[0..index].  ` `// This function assumes that the  ` `// array is preprocessed and partial ` `// sums of array elements are stored ` `// in BITree[]. ` `static` `int` `getSum(``int``[] BITree, ``int` `index) ` `{ ` `    ``int` `sum = ``0``; ``// Initialize result ` ` `  `    ``// Traverse ancestors of BITree[index] ` `    ``while` `(index > ``0``) ` `    ``{ ` `        ``// Add current element of BITree to sum ` `        ``sum += BITree[index]; ` ` `  `        ``// Move index to parent node in getSum View ` `        ``index -= index & (-index); ` `    ``} ` `    ``return` `sum; ` `} ` ` `  `// Updates a node in Binary Index ` `// Tree (BITree) at given index ` `// in BITree. The given value 'val'  ` `// is added to BITree[i] and all ` `// of its ancestors in tree. ` `static` `void` `updateBIT(``int``[] BITree, ``int` `n, ` `                        ``int` `index, ``int` `val) ` `{ ` `    ``// Traverse all ancestors and add 'val' ` `    ``while` `(index <= n) ` `    ``{ ` `        ``// Add 'val' to current node of BI Tree ` `        ``BITree[index] += val; ` ` `  `        ``// Update index to that of parent in update View ` `        ``index += index & (-index); ` `    ``} ` `} ` ` `  `// Returns inversion count arr[0..n-1] ` `static` `int` `getInvCount(``int``[] arr, ``int` `n) ` `{ ` `    ``int` `invcount = ``0``; ``// Initialize result ` ` `  `    ``// Find maximum element in arr[] ` `    ``int` `maxElement = ``0``; ` `    ``for` `(``int` `i = ``0``; i < n; i++) ` `        ``if` `(maxElement < arr[i]) ` `            ``maxElement = arr[i]; ` ` `  `    ``// Create a BIT with size equal to  ` `    ``// maxElement+1 (Extra one is used so  ` `    ``// that elements can be directly be ` `    ``// used as index) ` `    ``int``[] BIT = ``new` `int``[maxElement + ``1``]; ` `    ``for` `(``int` `i = ``1``; i <= maxElement; i++) ` `        ``BIT[i] = ``0``; ` ` `  `    ``// Traverse all elements from right. ` `    ``for` `(``int` `i = n - ``1``; i >= ``0``; i--) ` `    ``{ ` `        ``// Get count of elements smaller than arr[i] ` `        ``invcount += getSum(BIT, arr[i] - ``1``); ` ` `  `        ``// Add current element to BIT ` `        ``updateBIT(BIT, maxElement, arr[i], ``1``); ` `    ``} ` ` `  `    ``return` `invcount; ` `} ` ` `  `// Driver code ` `public` `static` `void` `main (String[] args) ` `{ ` `    ``int` `[]arr = {``8``, ``4``, ``2``, ``1``}; ` `    ``int` `n = arr.length; ` `    ``System.out.println(``"Number of inversions are : "` `+ ` `                                ``getInvCount(arr,n)); ` `} ` `} ` ` `  `// This code is contributed by mits `

## Python3

 `# Python3 program to count inversions using  ` `# Binary Indexed Tree  ` ` `  `# Returns sum of arr[0..index]. This function ` `# assumes that the array is preprocessed and  ` `# partial sums of array elements are stored  ` `# in BITree[].  ` `def` `getSum( BITree, index): ` `    ``sum` `=` `0` `# Initialize result  ` `     `  `    ``# Traverse ancestors of BITree[index]  ` `    ``while` `(index > ``0``):  ` ` `  `        ``# Add current element of BITree to sum  ` `        ``sum` `+``=` `BITree[index]  ` ` `  `        ``# Move index to parent node in getSum View  ` `        ``index ``-``=` `index & (``-``index)  ` ` `  `    ``return` `sum` ` `  `# Updates a node in Binary Index Tree (BITree)  ` `# at given index in BITree. The given value ` `# 'val' is added to BITree[i] and all of its ` `# ancestors in tree.  ` `def` `updateBIT(BITree, n, index, val): ` ` `  `    ``# Traverse all ancestors and add 'val'  ` `    ``while` `(index <``=` `n):  ` ` `  `        ``# Add 'val' to current node of BI Tree  ` `        ``BITree[index] ``+``=` `val  ` ` `  `        ``# Update index to that of parent ` `        ``# in update View  ` `        ``index ``+``=` `index & (``-``index)  ` ` `  `# Returns count of inversions of size three  ` `def` `getInvCount(arr, n): ` ` `  `    ``invcount ``=` `0` `# Initialize result  ` ` `  `    ``# Find maximum element in arrays  ` `    ``maxElement ``=` `max``(arr) ` ` `  `    ``# Create a BIT with size equal to  ` `    ``# maxElement+1 (Extra one is used  ` `    ``# so that elements can be directly  ` `    ``# be used as index) ` `    ``BIT ``=` `[``0``] ``*` `(maxElement ``+` `1``)  ` `    ``for` `i ``in` `range``(``1``, maxElement ``+` `1``):  ` `        ``BIT[i] ``=` `0` `    ``for` `i ``in` `range``(n ``-` `1``, ``-``1``, ``-``1``): ` ` `  `        ``invcount ``+``=` `getSum(BIT, arr[i] ``-` `1``)  ` `        ``updateBIT(BIT, maxElement, arr[i], ``1``)  ` `    ``return` `invcount  ` `     `  `# Driver code  ` `if` `__name__ ``=``=``"__main__"``: ` `    ``arr ``=` `[``8``, ``4``, ``2``, ``1``]  ` `    ``n ``=` `4` `    ``print``(``"Inversion Count : "``,  ` `           ``getInvCount(arr, n)) ` `     `  `# This code is contributed by ` `# Shubham Singh(SHUBHAMSINGH10) `

## C#

 `// C# program to count inversions  ` `// using Binary Indexed Tree ` `using` `System; ` ` `  `class` `GFG ` `{ ` `     `  `// Returns sum of arr[0..index].  ` `// This function assumes that the  ` `// array is preprocessed and partial ` `// sums of array elements are stored ` `// in BITree[]. ` `static` `int` `getSum(``int` `[]BITree, ``int` `index) ` `{ ` `    ``int` `sum = 0; ``// Initialize result ` ` `  `    ``// Traverse ancestors of BITree[index] ` `    ``while` `(index > 0) ` `    ``{ ` `        ``// Add current element of BITree to sum ` `        ``sum += BITree[index]; ` ` `  `        ``// Move index to parent node in getSum View ` `        ``index -= index & (-index); ` `    ``} ` `    ``return` `sum; ` `} ` ` `  `// Updates a node in Binary Index ` `// Tree (BITree) at given index ` `// in BITree. The given value 'val'  ` `// is added to BITree[i] and all ` `// of its ancestors in tree. ` `static` `void` `updateBIT(``int` `[]BITree, ``int` `n, ` `                        ``int` `index, ``int` `val) ` `{ ` `    ``// Traverse all ancestors and add 'val' ` `    ``while` `(index <= n) ` `    ``{ ` `        ``// Add 'val' to current node of BI Tree ` `        ``BITree[index] += val; ` ` `  `        ``// Update index to that of parent in update View ` `        ``index += index & (-index); ` `    ``} ` `} ` ` `  `// Returns inversion count arr[0..n-1] ` `static` `int` `getInvCount(``int` `[]arr, ``int` `n) ` `{ ` `    ``int` `invcount = 0; ``// Initialize result ` ` `  `    ``// Find maximum element in arr[] ` `    ``int` `maxElement = 0; ` `    ``for` `(``int` `i = 0; i < n; i++) ` `        ``if` `(maxElement < arr[i]) ` `            ``maxElement = arr[i]; ` ` `  `    ``// Create a BIT with size equal to  ` `    ``// maxElement+1 (Extra one is used so  ` `    ``// that elements can be directly be ` `    ``// used as index) ` `    ``int``[] BIT = ``new` `int``[maxElement + 1]; ` `    ``for` `(``int` `i = 1; i <= maxElement; i++) ` `        ``BIT[i] = 0; ` ` `  `    ``// Traverse all elements from right. ` `    ``for` `(``int` `i = n - 1; i >= 0; i--) ` `    ``{ ` `        ``// Get count of elements smaller than arr[i] ` `        ``invcount += getSum(BIT, arr[i] - 1); ` ` `  `        ``// Add current element to BIT ` `        ``updateBIT(BIT, maxElement, arr[i], 1); ` `    ``} ` ` `  `    ``return` `invcount; ` `} ` ` `  `// Driver code ` `static` `void` `Main() ` `{ ` `    ``int` `[]arr = {8, 4, 2, 1}; ` `    ``int` `n = arr.Length; ` `    ``Console.WriteLine(``"Number of inversions are : "` `+ ` `                                ``getInvCount(arr,n)); ` `} ` `} ` ` `  `// This code is contributed by mits `

## PHP

 ` 0) ` `    ``{ ` `        ``// Add current element of BITree to sum ` `        ``\$sum` `+= ``\$BITree``[``\$index``]; ` ` `  `        ``// Move index to parent node in getSum View ` `        ``\$index` `-= ``\$index` `& (-``\$index``); ` `    ``} ` `    ``return` `\$sum``; ` `} ` ` `  `// Updates a node in Binary Index  ` `// Tree (BITree) at given index ` `// in BITree. The given value 'val' ` `// is added to BITree[i] and ` `// all of its ancestors in tree. ` `function` `updateBIT(&``\$BITree``, ``\$n``, ``\$index``,``\$val``) ` `{ ` `    ``// Traverse all ancestors and add 'val' ` `    ``while` `(``\$index` `<= ``\$n``) ` `    ``{ ` `        ``// Add 'val' to current node of BI Tree ` `        ``\$BITree``[``\$index``] += ``\$val``; ` ` `  `        ``// Update index to that of  ` `        ``// parent in update View ` `        ``\$index` `+= ``\$index` `& (-``\$index``); ` `    ``} ` `} ` ` `  `// Returns inversion count arr[0..n-1] ` `function` `getInvCount(``\$arr``, ``\$n``) ` `{ ` `    ``\$invcount` `= 0; ``// Initialize result ` ` `  `    ``// Find maximum element in arr[] ` `    ``\$maxElement` `= 0; ` `    ``for` `(``\$i``=0; ``\$i``<``\$n``; ``\$i``++) ` `        ``if` `(``\$maxElement` `< ``\$arr``[``\$i``]) ` `            ``\$maxElement` `= ``\$arr``[``\$i``]; ` ` `  `    ``// Create a BIT with size equal ` `    ``// to maxElement+1 (Extra one is ` `    ``// used so that elements can be  ` `    ``// directly be used as index) ` `    ``\$BIT``=``array_fill``(0,``\$maxElement``+1,0); ` ` `  `    ``// Traverse all elements from right. ` `    ``for` `(``\$i``=``\$n``-1; ``\$i``>=0; ``\$i``--) ` `    ``{ ` `        ``// Get count of elements smaller than arr[i] ` `        ``\$invcount` `+= getSum(``\$BIT``, ``\$arr``[``\$i``]-1); ` ` `  `        ``// Add current element to BIT ` `        ``updateBIT(``\$BIT``, ``\$maxElement``, ``\$arr``[``\$i``], 1); ` `    ``} ` ` `  `    ``return` `\$invcount``; ` `} ` ` `  `    ``// Driver program ` `    ``\$arr` `= ``array``(8, 4, 2, 1); ` `    ``\$n` `= ``count``(``\$arr``); ` `    ``print``(``"Number of inversions are : "``.getInvCount(``\$arr``,``\$n``)); ` ` `  `// This code is contributed by mits ` `?> `

Output:

`Number of inversions are : 6`

Time Complexity :- The update function and getSum function runs for O(log(maximumelement)) and we are iterating over n elements. So overall time complexity is : O(nlog(maximumelement)).
Auxiliary space : O(maxElement)

Better Approach using BIT of size Θ(n):
The problem with the previous approach is that it doesn’t work for negative numbers as index cannot be negative. Also by updating the value till maximum element we waste time and space as it is quite possible that we may never use intermediate value. For example, lots of space an time is wasted for an array like {1, 100000}.

The idea is to convert given array to an array with values from 1 to n and relative order of smaller and greater elements remains

```Example :-
arr[] = {7, -90, 100, 1}

It gets  converted to,
arr[] = {3, 1, 4 ,2 }
as -90 < 1 < 7 < 100.
```

We only have to make BIT[] of number of elements instead of maximum element.
Changing element will not have any change in the answer as the greater elements remain greater and at same position.

 `// C++ program to count inversions using Binary Indexed Tree ` `#include ` `using` `namespace` `std; ` ` `  `// Returns sum of arr[0..index]. This function assumes ` `// that the array is preprocessed and partial sums of ` `// array elements are stored in BITree[]. ` `int` `getSum(``int` `BITree[], ``int` `index) ` `{ ` `    ``int` `sum = 0; ``// Initialize result ` ` `  `    ``// Traverse ancestors of BITree[index] ` `    ``while` `(index > 0) ` `    ``{ ` `        ``// Add current element of BITree to sum ` `        ``sum += BITree[index]; ` ` `  `        ``// Move index to parent node in getSum View ` `        ``index -= index & (-index); ` `    ``} ` `    ``return` `sum; ` `} ` ` `  `// Updates a node in Binary Index Tree (BITree) at given index ` `// in BITree.  The given value 'val' is added to BITree[i] and ` `// all of its ancestors in tree. ` `void` `updateBIT(``int` `BITree[], ``int` `n, ``int` `index, ``int` `val) ` `{ ` `    ``// Traverse all ancestors and add 'val' ` `    ``while` `(index <= n) ` `    ``{ ` `       ``// Add 'val' to current node of BI Tree ` `       ``BITree[index] += val; ` ` `  `       ``// Update index to that of parent in update View ` `       ``index += index & (-index); ` `    ``} ` `} ` ` `  `// Converts an array to an array with values from 1 to n ` `// and relative order of smaller and greater elements remains ` `// same.  For example, {7, -90, 100, 1} is converted to ` `// {3, 1, 4 ,2 } ` `void` `convert(``int` `arr[], ``int` `n) ` `{ ` `    ``// Create a copy of arrp[] in temp and sort the temp array ` `    ``// in increasing order ` `    ``int` `temp[n]; ` `    ``for` `(``int` `i=0; i=0; i--) ` `    ``{ ` `        ``// Get count of elements smaller than arr[i] ` `        ``invcount += getSum(BIT, arr[i]-1); ` ` `  `        ``// Add current element to BIT ` `        ``updateBIT(BIT, n, arr[i], 1); ` `    ``} ` ` `  `    ``return` `invcount; ` `} ` ` `  `// Driver program ` `int` `main() ` `{ ` `    ``int` `arr[] = {8, 4, 2, 1}; ` `    ``int` `n = ``sizeof``(arr)/``sizeof``(``int``); ` `    ``cout << ``"Number of inversions are : "` `<< getInvCount(arr,n); ` `    ``return` `0; ` `} `

Output:

`Number of inversions are : 6`

Time Complexity :- The update function and getSum function runs for O(log(n)) and we are iterating over n elements. So overall time complexity is : O(nlogn).
Auxiliary space : O(n)