Wheeler graphs: A framework for BWT-based data structures

Citation data:

Theoretical Computer Science, ISSN: 0304-3975, Vol: 698, Page: 67-78

Publication Year:
2017
Usage 2
Abstract Views 2
Social Media 30
Tweets 30
DOI:
10.1016/j.tcs.2017.06.016
Author(s):
Travis Gagie, Giovanni Manzini, Jouni Sirén
Publisher(s):
Elsevier BV
Tags:
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 Wheeler graphs and show they have a property we call path coherence. 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.

This article has 0 Wikipedia mention.