I was recently asked this question in an interview:
There are two arrays of size \'n\' each. One array has nuts, the other one has bolts. Each nut fits exactly one bolt
For formal analyses (including quicksort) see http://www.wisdom.weizmann.ac.il/~naor/PUZZLES/nuts_solution.html and http://compgeom.cs.uiuc.edu/~jeffe/teaching/algorithms/notes/05-nutsbolts.pdf
The quicksort like algorithm does the job:
n
and use it as pivot to partition the set of bolts B
into three sets: tight (B1
), loose (B2
), fits.b
. Now you use this bolt as pivot to partition the nuts set N\n
into two set: tight (N1
) or loose (N2
).N1
and B1
, n
and b
, N2
and B2
. All of them are of the same size. You can do the same partitioning recursively on (N1,B2
) and (N2,B1
) and you can get the final answer.It is obvious the complexity is O(N log N)
, the same as quicksort.
Take one nut N0
and compare it against all bolts. With the resulting information, we can split the bolts array into [bolts smaller than B0] + B0 + [bolts larger than B0]
. There is always a unique B0
that fits N0
based on the statement of the question.
Then take the next nut N1
and compare it against B0
. If the result is "tight", we search the smaller half as we did above with N0
. Otherwise, we do the same but with the larger half. Doing this will further split one of the two halves into 2.
Continue doing this until you've worked through all nuts. This is equivalent to quicksort. Average case is O(N logN), but there's the obvious worst case complexity of O(N^2) when the list is "sorted" already.