A derivation of the curve that is approximated by a common visualization of the bubble sort diagram.

Read the full proof on my site: https://linesthatconnect.github.io/blog/a-rigorous-derivation-of-the-bubble-sort-curve/

The viral sorting algorithm video which first sparked my interest: https://www.youtube.com/watch?v=kPRA0W1kECg

The animations in this video were created using Manim: https://www.manim.community/

Music credits:
Fluidscape by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/by/4.0/
Night Music by Kevin Macleod
river - Calm and Relaxing Piano Music by HarumachiMusic
... And a couple of my own songs:
The Fog: https://soundcloud.com/lines-that-connect/the-fog
Heavy Head, Light Rain: https://soundcloud.com/lines-that-connect/heavy-head-light-rain
Thanks For Watching: https://soundcloud.com/lines-that-connect/thanks-for-watching


Chapters:
00:00 Intro:
0:37 Laying the Background
3:20 How Bubble Sort Works
6:59 Mathematically Describing Diagrams
9:13 Stretching the Diagrams
11:52 Visual Derivation
14:38 Symbolic Derivation
16:48 Nice!
17:07 A Rigorous Solution

Lobsters is a community-driven platform for sharing and discussing links to articles, tutorials, and projects related to technology and programming. Readers can learn about a wide range of topics, from software development and system administration to cybersecurity and artificial intelligence. With user submissions, comments, and voting, Lobsters provides a platform for collaborative learning and knowledge sharing among technology enthusiasts.

Lobsters

This post explains the bubble sort algorithm and explores the shape of the curve it forms during the sorting process.

The Bubble Sort Curve