The Hierarchy of Hereditary Sorting Operators

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Jelínek, Vít, Opler, Michal, Pekárek, Jakub
Natura: Preprint
Pubblicazione: 2023
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866909753840500736
author Jelínek, Vít
Opler, Michal
Pekárek, Jakub
author_facet Jelínek, Vít
Opler, Michal
Pekárek, Jakub
contents 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 $π$ 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 $σ$ of length $n$ from $\mathcal{C}$, and rearranges the current permutation of numbers by composing it with $σ$. The goal is to transform the input $π$ 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 $Θ(n^2)$, a function between $O(n)$ and $Ω(\sqrt{n})$, a function betwee $O(\log^2 n)$ and $Ω(\log n), or $1$, and for each of these cases we provide a structural characterization of the corresponding hereditary classes.
format Preprint
id arxiv_https___arxiv_org_abs_2311_08727
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle The Hierarchy of Hereditary Sorting Operators
Jelínek, Vít
Opler, Michal
Pekárek, Jakub
Combinatorics
Discrete Mathematics
05A05 (Primary) 68P10 (Secondary)
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 $π$ 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 $σ$ of length $n$ from $\mathcal{C}$, and rearranges the current permutation of numbers by composing it with $σ$. The goal is to transform the input $π$ 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 $Θ(n^2)$, a function between $O(n)$ and $Ω(\sqrt{n})$, a function betwee $O(\log^2 n)$ and $Ω(\log n), or $1$, and for each of these cases we provide a structural characterization of the corresponding hereditary classes.
title The Hierarchy of Hereditary Sorting Operators
topic Combinatorics
Discrete Mathematics
05A05 (Primary) 68P10 (Secondary)
url https://arxiv.org/abs/2311.08727