Counting via Divide and Conquer

Count inversions (or similar cross-half relationships) as a byproduct of the merge step.