Insertion sort is dual to bubble sort
Both algorithms can be expressed as a main function that calls a recursive helper. Let’s take a look at the main functions first.
The main functions
Here’s the code:
insertionSort sorts a list by inserting the head of the list into the recursively sorted tail, in such a way that it remains sorted.
bubbleSort sorts a list by bubbling the smallest element to the front of the list and recursively sorting the tail.
It’s not obvious from the code that these functions are backwards versions of each other, but look at their data flow diagrams:
They are exactly the same, except with the arrows going the other way.
Of course you would also want each box to be the “backwards” version of its corresponding box in the other function.
This is pretty obviously true for
decons — one constructs a list from a head and a tail,
and the other deconstructs a list into a head and a tail.
And by assumption, the recursive call to
bubble sort is the “backwards” version of the corresponding recursive call to
All that’s left is to show that this is true for helper functions — that
The helper functions
Here’s the code:
insert’s job is to insert an item into an already-sorted list in such a way that the list remains sorted.
bubble’s job is to bubble the smallest item up to the front of the list and return that item plus the rest of the list.
The data flow diagrams of these functions make it totally clear that they are the same function, only one has the arrows reversed and the boxes running backwards:
The only thing left is this
sort method, which takes 2 arguments and returns them in
sorted order. Which I guess is the same if you run it backwards?
So, there you have it. Aside from the
Nil cases and the question of
sort being its own opposite,
if you take a machine that does insertion sort and run it in reverse, you get a machine that does bubble sort.
I’m pretty sure this fits the categorical definition of a dual, but my Category theory isn’t strong enough to say for sure.
Are there any other sorting algorithms that are duals?
Merge sort looks like this:
- Split the list in half
- Recursively sort each half
- Merge the two halves back together
And Quicksort looks like this:
- Partition the list into a list of smaller items and a list of larger items
- Recursively sort each list
- Concatenate them back together
Clearly, the “split” and “concatenate” steps are dual, and the recursive calls are dual by assumption. The “merge” and “partition” steps also seem like they should be dual to each other — one interleaves 2 lists to form 1 list, and the other distributes the elements of 1 list into 2 other lists. But I haven’t been able to formulate them in such a way that they are really “backwards” versions of each other.
It’s possible that “merge” is actually dual to a function that extracts an increasing subsequence from a list, as in strand sort. If that turns out to be true, then strand sort is its own dual. That would be interesting to investigate.
Shouldn’t a backwards sort… unsort a list?
Well yeah, it should, but it can’t. Sorting a list destroys information. You can pinpoint where that happens:
sort function. If you give it
(4, 3) it will output
(3, 4), but if you run it backwards,
it can’t know whether to turn
(3, 4) into
(4, 3) or
(3, 4) without some additional information.
To think of it another way: a given list has only one sorted ordering but a very large number of unsorted orderings.
One deterministic function can’t turn a sorted list into each of the unsorted lists you could have started with.
So these backwards functions are backwards in every respect except for the part that destroys information.
Can this be done automatically?
Can you write a function that takes another function (or a suitable description thereof) as input and turns it inside out? Can we get new algorithms for free just by turning existing ones on their head? What happens if you run Dijkstra’s algorithm backwards? I don’t know!
blog comments powered by Disqus