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.

A Non-Deterministic Finite Automata Minimization Method Based on the Preorder Relation

Minimization of Automata

On the Power of Automata Minimization in Reactive Synthesis

On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata

Automata Size Reduction by Procedure Finding

Faster Prefix-Sorting Algorithms for Deterministic Finite Automata

Minimizing the Minimizers via Alphabet Reordering

Notes on Equivalence and Minimization of Weighted Automata

Minimization of Büchi Automata using Fair Simulation

Indexing Finite-State Automata Using Forward-Stable Partitions

A faster FPRAS for #NFA

Minimizing Deduction System and its Application

Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations

Deciding minimal distinguishing DFAs is NP-complete

On Minimization and Learning of Deterministic $ω$-Automata in the Presence of Don't Care Words

TFA : A Tunable Finite Automaton for Regular Expression Matching

A Term-based Approach for Generating Finite Automata from Interaction Diagrams

i dfa: A novel deterministic finite automaton without state explosion

A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking.

Managing DFA History with Queue for Deflation DFA