3 October 2026
For the #Mathober 2026 day 3 prompt ‘Permutation list’, I offer a diagram demonstrating the functioning of a minimal sorting network for permutations of length 7.

Each of the 16 comparators interchanges two elements if they are not ordered correctly.
Sixty years ago, in what was possibly the first-ever computer-assisted proof, R. W. Floyd & D. E. Knuth established that 16 is the minimum number of comparators required for a single network to sort any permutation of length 7.1
R. W. Floyd & D. E. Knuth, ‘The Bose-Nelson Sorting Problem’. ch. 15, pp. 163-172 in: J. N. Srivastava, F. Harary, C. R. Rao, G.-C. Rota & S. S. Shrikhande, eds, A Survey of Combinatorial Theory. Amsterdam, London & New York: North-Holland & Elsevier, 1973. ISBN: 978-0-7204-2262‑7. Theorem 5. ↩