Abstract:We consider the following general model of a sorting procedure: we fix a hereditary permutation class $\mathcal{C}$, which corresponds to the operations that the procedure is allowed to perform in a single step. The input of sorting is a permutation $\pi$ of the set $[n]=\{1,2,\dotsc,n\}$, i.e., a sequence where each element of $[n]$ appears once. In every step, the sorting procedure picks a permutation $\sigma$ of length $n$ from $\mathcal{C}$, and rearranges the current permutation of numbers by composing it with $\sigma$. The goal is to transform the input $\pi$ into the sorted sequence $1,2,\dotsc,n$ in as few steps as possible. This model of sorting captures not only classical sorting algorithms, like insertion sort or bubble sort, but also sorting by series of devices, like stacks or parallel queues, as well as sorting by block operations commonly considered, e.g., in the context of genome rearrangement. Our goal is to describe the possible asymptotic behavior of the worst-case number of steps needed when sorting with a hereditary permutation class. As the main result, we show that any hereditary permutation class $\mathcal{C}$ falls into one of five distinct categories. Disregarding the classes that cannot sort all permutations, the number of steps needed to sort any permutation of $[n]$ with $\mathcal{C}$ is either $\Theta(n^2)$, a function between $O(n)$ and $\Omega(\sqrt{n})$, a function betwee $O(\log^2 n)$ and $\Omega(\log n), or $1$, and for each of these cases we provide a structural characterization of the corresponding hereditary classes.

A stack and a pop stack in series

A Decreasing Stack and an Increasing Stack in Series

Pop Stacks with a Bypass

Counting Pop-Stacked Permutations in Polynomial Time

Sorting with a popqueue

A new lower bound for deterministic pop-stack-sorting

Stack-sorting with Stacks Avoiding Vincular Patterns

Sorting inversion sequences

On a conjecture on pattern-avoiding machines

More results on stack-sorting for set partitions

The Order of the (123, 132)-Avoiding Stack Sort

Stack and Queue Numbers of Graphs Revisited

Transforming Stacks into Queues: Mixed and Separated Layouts of Graphs

Periodic Points of Consecutive-Pattern-Avoiding Stack-Sorting Maps

Turing Impossibility Properties for Stack Machine Programming

Stack number and queue number of graphs

The Hierarchy of Hereditary Sorting Operators

Stacks similar to the stack of perverse sheaves

Sorting Permutations: Games, Genomes, and Cycles

Descente pour les n-champs (Descent for n-stacks)

On the set partitions that require maximum sorts through the $aba-$avoiding stack