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.

More results on stack-sorting for set partitions

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

Stack-sorting with Stacks Avoiding Vincular Patterns

Schmidt Type Partitions

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

Foot-Sorting for Socks

On a conjecture on pattern-avoiding machines

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

The Basis of Foot-Sortable Sock Orderings

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

Faster Prefix-Sorting Algorithms for Deterministic Finite Automata

A stack and a pop stack in series

Sorting inversion sequences

A Decreasing Stack and an Increasing Stack in Series

Anytime Sorting Algorithms (Extended Version)

Fertility Numbers of Consecutive $S_3$ Pattern-Avoiding Stack-Sorting maps

A result for hemi-bundled cross-intersecting families

On the number of sets with small sumset

A New Approximation Algorithm for Sorting of Signed Permutations

Sorting Pattern-Avoiding Permutations via 0-1 Matrices Forbidding Product Patterns

Synergistic Sorting, MultiSelection and Deferred Data Structures on MultiSets