Given two arrays, find the permutations that give closest distance between two arrays

Algorithm

Algorithm Problem Overview


Let's say I have two arrays of the same length n, named A and B.

These two arrays contain real values. We define the distance between two arrays as the mean squared distance.

dist(A,B) = sqrt( sum((A - B)2) )

I want to find the permutation of A that gives the min distance to B. The naive method is to try every permutation of A and record the min distance. However, this method is of complexity O(n!).

Is there an algorithm of complexity less than O(n!)?

Algorithm Solutions


Solution 1 - Algorithm

You can just sort both A and B. In that case, the Euclidean distance is minimal.

If B has to remain fixed, then you just need to invert the permutation needed to sort B and apply that to the sorted version of A.

This solution does assume that you want to find just a permutation and not the most simple permutation (since sorting and unsorting through permutations will not be incredibly efficient).


Proof: Let S,T be our pair of arrays. We can assume S to be sorted without loss of generality, since all that matters is the mapping between the two sets of elements.

Let T be the permutation that minimizes the distance between the two arrays, and let d be that distance.

Suppose that T is not sorted. Then there exist elements i,j s.t. T_i > T_j

S_i + k1 = S_j
T_i = T_j + k2
where k1,k2 > 0

Let x be the total distance of all elements except i and j.

d = x + (S_i - T_i)^2 + ((S_i + k1) - (T_i - k2))^2

If we swap the order of T_i and T_j, then our new distance is:

d' = x + (S_i - (T_i - k2))^2 + ((S_i + k1) - T_i)^2

Thus: d - d' = 2 * k1 * k2, which contradicts our assumption that T is the permutation that minimizes the distance, so the permutation that does so must be sorted.

Sorting the two arrays can be done in O(n log n) using a variety of methods.

Solution 2 - Algorithm

The problem you describe is equivalent to the Minimum Cost Perfect Matching Problem which can be solved efficiently (and exactly) using The Hungarian Algorithm. In the Minimum Cost Perfect Matching Problem you have an input weighted bipartite graph where the two sets have the same size n, and each edge has a non-negative cost. The goal is to find a perfect matching of minimum cost.

In your case, the bipartite graph is a biclique. That is, every vertex in one set is connected to every vertex in the other set, and the cost of edge (i,j) is (A[i] - B[i])^2 (where i corresponds to index i in array A and j corresponds to index j in array B).

EDIT: This is not the best solution for the problem. Ivo Merchiers came up with a better solution both in terms of efficiency and simplicity. The reason I'm not deleting my answer is because my suggested solution is valuable for distance measures to which Ivo's solution does not apply (as his approach works by exploiting a property of the Euclidean distance).

Solution 3 - Algorithm

You can just sort A and B and match up the corresponding elements.

Imagine that there are two elements of A, Ai and Aj, corresponding to Bi and Bj.

The error contribution from these matches is:

(Ai-Bi)^2 + (Aj-Bj)^2

= Ai^2 + Bi^2 + Aj^2 + Bj^2 - 2(AiBi + AjBj)

Is it better to swap the matches, or to keep them the way they are?

Well, the difference in the error if we swap them is:

2(AiBi + AjBj) - 2(AiBj + AjBi)

~ AiBi - AiBj + AjBj - AjBi

= Ai(Bi - Bj) - Aj(Bi - Bj)

= (Ai - Aj)(Bi - Bj)

So, if the As and Bs are in the same order, then this product is positive and the error will go up if you swap them. If they are not in the same order, then this product is negative an the error will go down if you swap them.

If you repeatedly swap any pairs that are out of order until there are no such pairs, your error will keep going down, and you'll end up with with the nth largest A matched up with the nth largest B all the way through the array.

Just sorting them and matching them up is therefor optimal, and of course it's way faster than the Hungarian algorithm.

Solution 4 - Algorithm

Construct a bipartite graph from the vectors. Find minimum weight perfect matching in this graph.

How to construct the graph.

  1. Let A, B be two parts of the graph. Each with n nodes.
  2. Connect i in A to j in B with an edge of weight abs(A[i] - B[j]).

I believe this can be done in O(n^2).

See http://www.cse.iitd.ernet.in/~naveen/courses/CSL851/lec4.pdf


If each number in A has only one closest number in B then you can do this in O(n \log n). This probably might be the case since you have the real numbers.

How?

  1. Sort A O(n \log n)
  2. Binary search for the closest number for each number in B. O(n \log n).

If the numbers are coming from the real world and have even a little bit of randomness to them, then the differences between each pair of the numbers is probably unique. You can verify if this is the case by running experiments on the input vectors. Then the problem becomes easy to solve yay!

Solution 5 - Algorithm

I needed this in python so I'll just share my solution based on Ivo Merchiers answer here:

target = [12, 14, 4512, 123, 4412]
source = [12, 14, 120, 4413, 5512]

permutationToSortTarget = [i[0] for i in sorted(enumerate(target), key=lambda x: x[1])] # get permutation that would sort target
permutationNeeded = [i[0] for i in sorted(enumerate(permutationToSortTarget), key=lambda x: x[1])] # get needed permutation

source.sort()
source = [source[i] for i in permutationNeeded] # apply permutation to sorted source

Attributions

All content for this solution is sourced from the original question on Stackoverflow.

The content on this page is licensed under the Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) license.

Content TypeOriginal AuthorOriginal Content on Stackoverflow
QuestionWang DuoView Question on Stackoverflow
Solution 1 - AlgorithmIvo MerchiersView Answer on Stackoverflow
Solution 2 - AlgorithmsnakileView Answer on Stackoverflow
Solution 3 - AlgorithmMatt TimmermansView Answer on Stackoverflow
Solution 4 - AlgorithmPratik DeoghareView Answer on Stackoverflow
Solution 5 - AlgorithmFuzzyBallView Answer on Stackoverflow