Abstract:Sorting is a fundamental algorithmic pre-processing technique which often allows to represent data more compactly and, at the same time, speeds up search queries on it. In this paper, we focus on the well-studied problem of sorting and indexing string sets. Since the introduction of suffix trees in 1973, dozens of suffix sorting algorithms have been described in the literature. In 2017, these techniques were extended to sets of strings described by means of finite automata: the theory of Wheeler graphs [Gagie et al., TCS'17] introduced automata whose states can be totally-sorted according to the co-lexicographic (co-lex in the following) order of the prefixes of words accepted by the automaton. More recently, in [Cotumaccio, Prezza, SODA'21] it was shown how to extend these ideas to arbitrary automata by means of partial co-lex orders. This work showed that a co-lex order of minimum width (thus optimizing search query times) on deterministic finite automata (DFAs) can be computed in $O(m^2 + n^{5/2})$ time, $m$ being the number of transitions and $n$ the number of states of the input DFA. In this paper, we exhibit new combinatorial properties of the minimum-width co-lex order of DFAs and exploit them to design faster prefix sorting algorithms. In particular, we describe two algorithms sorting arbitrary DFAs in $O(mn)$ and $O(n^2\log n)$ time, respectively, and an algorithm sorting acyclic DFAs in $O(m\log n)$ time. Within these running times, all algorithms compute also a smallest chain partition of the partial order (required to index the DFA). We present an experiment result to show that an optimized implementation of the $O(n^2\log n)$-time algorithm exhibits a nearly-linear behaviour on large deterministic pan-genomic graphs and is thus also of practical interest.

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

More results on stack-sorting for set partitions

ON THE FLUCTUATION IN THE RANDOM ASSIGNMENT PROBLEM

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

Schmidt Type Partitions

On-Line Extensible Bin Packing with Unequal Bin Sizes

Bin Packing with "largest in Bottom" Constraint: Tighter Bounds and Generalizations

Faster Prefix-Sorting Algorithms for Deterministic Finite Automata

Stack-sorting with Stacks Avoiding Vincular Patterns

A Decreasing Stack and an Increasing Stack in Series

On a conjecture on pattern-avoiding machines

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

Deciding Foot-sortability and Minimal 2-bounded Non-foot-sortable Sock Orderings

A strengthened inequality of Alon-Babai-Suzuki's conjecture on set systems with restricted intersections modulo p

Sets and partitions minimising small differences

A new lower bound for deterministic pop-stack-sorting

Graph Entropy and Quantum Sorting Problems.

Rearranging small sets for distinct partial sums

Generalization of the Extended Minimal Excludant of Andrews and Newman

On Instance-Optimal Algorithms for a Generalization of Nuts and Bolts and Generalized Sorting

Sorting inversion sequences