On Indexing and Compressing Finite Automata

Cotumaccio, Nicola; Prezza, Nicola

doi:10.1137/1.9781611976465.153

Cited by 26 publications

(46 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…and q is the width of the maximum co-lex relation on G. The bounds achieved in this paper look similar to the ones in [6], but, in fact, there are several sources of improvement:…”

Section: Our Contributionsupporting

confidence: 69%

“…This approach is successful because the graph G/ ≤ G is topologically simpler than the original graph G: if a node in G/ ≤ G has been obtained by collapsing two or more nodes of the original graph, than such a node can have at most one ingoing edge in the quotient graph. Moreover, G/ ≤ G always admits a maximum co-lex order (while a general graph does not admit a maximum co-lex order, as stated above), which is naturally induced by the maximum co-lex relation on G. Since G/ ≤ G admits the maximum co-lex order and, crucially, it can be built in polynomial time, we can index G by simply indexing G/ ≤ G using the techniques from [6].…”

Section: Our Contributionmentioning

confidence: 99%

“…Let us state our quantitative results. In [6] it was showed that a node-labeled graphs G = (V, E) can be succinctly indexed by means of a data structure of |E|(⌈log |Σ|⌉ + ⌈log p⌉ + 2)…”

Section: Our Contributionmentioning

confidence: 99%

“…Determining p is NP-hard and building the data structure is also hard. In this paper, we work in the more general setting of edge-labeled graphs G = (V, E), and for the first time we provide a succinct index for arbitrary graphs that can be built in polynomial time (while even only determining if a graph is Wheeler is NP-hard), which requires less space and answers queries more efficiently than the one in [6]. We show that, given an edge-labeled graph G = (V, E), there exists a data structure of…”

Section: Our Contributionmentioning

confidence: 99%

“…In [6] the indexing techniques for Wheeler graphs were extended to arbitrary node-labeled graphs. The main idea is to consider orders on the set of nodes that are allowed to be partial, the so-called co-lex orders.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Graphs can be succinctly indexed for pattern matching in $ O(|E|^2 + |V|^{5 / 2}) $ time

Cotumaccio¹

2021

Preprint

Self Cite

View full text Add to dashboard Cite

Pattern matching is a pervasive problem in computer science. In several applications (notably, bioinformatics), it is crucial to perform pattern matching on edge-labeled graphs: given a string, decide whether the string can be read on the graph. In this paper we consider the problem of indexing (preprocessing) a graph for pattern matching by building a succinct data structure, that is, a data structure that uses a number of bits close to the lower bounds from information theory, while allowing efficient queries. In [TCS 2017] Gagie et al. showed how to index a class of graphs -the so-called Wheeler graphs -by totally ordering the nodes of the graph (building a Wheeler order ) and using some techniques based on the Burrows-Wheeler transform. However, the class of Wheeler graphs is rather small: for example, a unary language is recognized by some Wheeler automaton (that is, an automaton whose underlying graph is Wheeler) if and only if the language is finite or cofinite. In [SODA 2021] these ideas where extended to arbitrary node-labeled graphs, and Wheeler orders were generalized to co-lex orders, which are partial orders: it was showed that a node-labeled graphs G = (V, E) can be succinctly indexed by means of a data structure of |E|(⌈log |Σ|⌉ + ⌈log p⌉ + 2)where p is the minimum width of a co-lex order on G, P is the pattern and Σ is the alphabet. However, determining p is NP-hard and building the data structure is also hard. Intuitively, a partial order imposes antisymmetry and transitivity constraints, which cause the hardness of all natural decision problems connected to Wheeler and co-lex orders. In this paper, we change perspective switching from (partial) orders to arbitrary relations, so defining co-lex relations. We work in the more general setting of edge-labeled graphs G = (V, E), and for the first time we provide a succinct index for arbitrary graphs that can be built in polynomial time, which requires less space and answers queries more efficiently than the one in [SODA 2021]. We show that, given an edge-labeled graph G = (V, E), there exists a data structure ofand q is the width of the maximum co-lex relation on G. The bounds achieved in this paper look similar to the ones in [SODA 2021], but, in fact, there are several sources of improvement:1. Most importantly, q can be determined in O(|E| 2 ) time, and our data structure can be built in) time (while determining p and building the data structure in [SODA 2021] are hard problems). 2. It always holds q ≤ p, and q can be arbitrarily smaller than p (that is, for every integer n there exists a graph such that p = n and q = 1). 3. Our bound only depends on the size of G/ ≤ G and it is independent of the size of G. In other words, the quotient graph G/ ≤ G eliminates the unnecessary redundancy in G from a pattern matching perspective. Our results have relevant applications in automata theory. First, we can build a succinct data structure to decide whether a string is accepted by a given automaton. Second, starting from an automaton A, one can define a ...

show abstract

“…and q is the width of the maximum co-lex relation on G. The bounds achieved in this paper look similar to the ones in [6], but, in fact, there are several sources of improvement:…”

Section: Our Contributionsupporting

confidence: 69%

Section: Our Contributionmentioning

confidence: 99%

Section: Our Contributionmentioning

confidence: 99%

Section: Our Contributionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations