Wheeler graphs: A framework for BWT-based data structures.

Citation data:

Theoretical computer science, ISSN: 0304-3975, Vol: 698, Page: 67-78

Publication Year:
Usage 2
Abstract Views 2
Captures 14
Readers 14
Social Media 30
Tweets 30
Gagie, Travis; Manzini, Giovanni; Sirén, Jouni
Elsevier BV
Mathematics; Computer Science
Most Recent Tweet View All Tweets
article description
The famous Burrows-Wheeler Transform (BWT) was originally defined for a single string but variations have been developed for sets of strings, labeled trees, de Bruijn graphs, etc. In this paper we propose a framework that includes many of these variations and that we hope will simplify the search for more. We first define and show they have a property we call . We show that if the state diagram of a finite-state automaton is a Wheeler graph then, by its path coherence, we can order the nodes such that, for any string, the nodes reachable from the initial state or states by processing that string are consecutive. This means that even if the automaton is non-deterministic, we can still store it compactly and process strings with it quickly. We then rederive several variations of the BWT by designing straightforward finite-state automata for the relevant problems and showing that their state diagrams are Wheeler graphs.