On stricter reachable repetitiveness measures

G Navarro, C Urbina - International Symposium on String Processing and …, 2021 - Springer
The size b of the smallest bidirectional macro scheme, which is arguably the most general
copy-paste scheme to generate a given sequence, is considered to be the strictest …

Iterated straight-line programs

G Navarro, C Urbina - Latin American Symposium on Theoretical …, 2024 - Springer
We explore an extension to straight-line programs (SLPs) that outperforms, for some text
families, the measure δ based on substring complexity, a lower bound for most measures …

Computing np-hard repetitiveness measures via MAX-SAT

H Bannai, K Goto, M Ishihata, S Kanda, D Köppl… - arXiv preprint arXiv …, 2022 - arxiv.org
Repetitiveness measures reveal profound characteristics of datasets, and give rise to
compressed data structures and algorithms working in compressed space. Alas, the …

L-systems for measuring repetitiveness

G Navarro, C Urbina - arXiv preprint arXiv:2206.01688, 2022 - arxiv.org
An L-system (for lossless compression) is a CPD0L-system extended with two parameters $
d $ and $ n $, which determines unambiguously a string $ w=\tau (\varphi^ d (s))[1: n] …

Generalized Straight-Line Programs

G Navarro, F Olivares, C Urbina - arXiv preprint arXiv:2404.07057, 2024 - arxiv.org
It was recently proved that any Straight-Line Program (SLP) generating a given string can be
transformed in linear time into an equivalent balanced SLP of the same asymptotic size. We …

Exploring Repetitiveness Measures for Two-Dimensional Strings

G Romana, M Sciortino, C Urbina - arXiv preprint arXiv:2404.07030, 2024 - arxiv.org
Detecting and measuring repetitiveness of strings is a problem that has been extensively
studied in data compression and text indexing. However, when the data are structured in a …

[PDF][PDF] Repetitiveness Measures based on String Attractors and Burrows-Wheeler Transform: Properties and Applications

G Romana - 2023 - iris.unipa.it
With the advent of the new millennium, new generation technologies forced us to confront
with unpredictable challenges. To name a few contexts: collections for DNA sequencing …

[PDF][PDF] Using Automata and a Decision Procedure to Prove Results in Pattern Matching (Invited Talk)

J Shallit - 33rd Annual Symposium on Combinatorial Pattern …, 2022 - drops.dagstuhl.de
The first-order theory of automatic sequences with addition is decidable, and this means that
one can often prove combinatorial properties of these sequences" automatically", using the …