Beyond the BEST Theorem: Fast Assessment of Eulerian Trails - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Beyond the BEST Theorem: Fast Assessment of Eulerian Trails


Given a directed multigraph $G=(V,E)$ , with $|V|=n$ nodes and $|E|=m$ edges, and an integer $z$, we are asked to assess whether the number #$ET$($G$) of node-distinct Eulerian trails of $G$ is at least $z$; two trails are called node-distinct if their node sequences are different. This problem has been formalized by Bernardini et al. [ALENEX 2020] as it is the core computational problem in several string processing applications. It can be solved in $O$($nω$) arithmetic operations by applying the well-known BEST theorem, where $ω<2.373$ denotes the matrix multiplication exponent. The algorithmic challenge is: Can we solve this problem faster for certain values of m and $z$? Namely, we want to design a combinatorial algorithm for assessing whether #$ET$($G$)≥$z$ , which does not resort to the BEST theorem and has a predictably bounded cost as a function of $m$ and $z$. We address this challenge here by providing a combinatorial algorithm requiring $O$($m⋅min${$z$,#$ET$($G$)}) time.
Fichier principal
Vignette du fichier
Estimating_Eulerian_Trails_FCT.pdf (440.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03498416 , version 1 (21-12-2021)



Alessio Conte, Roberto Grossi, Grigorios Loukides, Nadia Pisanti, Solon Pissis, et al.. Beyond the BEST Theorem: Fast Assessment of Eulerian Trails. FCT 2021 - 23rd International Symposium on Fundamentals of Computation Theory, Sep 2021, Athens, Greece. pp.162-175, ⟨10.1007/978-3-030-86593-1_11⟩. ⟨hal-03498416⟩


7 View
111 Download



Gmail Facebook X LinkedIn More