English
Related papers

Related papers: Synchronization Strings: Efficient and Fast Determ…

200 papers

We present a few classes of synchronizing automata exhibiting certain extremal properties with regard to synchronization. The first is a series of automata with subsets whose shortest extending words are of length $\varTheta(n^2)$, where…

Formal Languages and Automata Theory · Computer Science 2016-08-04 Andrzej Kisielewicz , Marek Szykuła

In this paper we investigate the \emph{approximate string matching problem} when the allowed edit operations are \emph{non-overlapping unbalanced translocations of adjacent factors}. Such kind of edit operations take place when two adjacent…

Data Structures and Algorithms · Computer Science 2021-01-05 Domenico Cantone , Simone Faro , Arianna Pavone

The {\em asynchronous automaton} associated with a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$, considered in many applications, is the finite deterministic automaton where the set of states is $\{0,1\}^n$, the alphabet is $[n]$, and the…

Combinatorics · Mathematics 2023-04-14 Julio Aracena , Adrien Richard , Lilian Salinas

We present evidence for a new deconstruction of Little String Theory (LST). The starting point is a four-dimensional conformal field theory on its Higgs branch which provides a lattice regularization of six-dimensional gauge theory. We…

High Energy Physics - Theory · Physics 2009-11-10 Nick Dorey

Several measures exist for string similarity, including notable ones like the edit distance and the indel distance. The former measures the count of insertions, deletions, and substitutions required to transform one string into another,…

Data Structures and Algorithms · Computer Science 2024-10-15 Sudatta Bhattacharya , Sanjana Dey , Elazar Goldenberg , Michal Koucký

Encoding data structures store enough information to answer the queries they are meant to support but not enough to recover their underlying datasets. In this paper we give the first encoding data structure for the challenging problem of…

Data Structures and Algorithms · Computer Science 2017-02-21 Travis Gagie , Giovanni Manzini , Rossano Venturini

This paper situates itself in the theory of variable length codes and of finite automata where the concepts of completeness and synchronization play a central role. In this theoretical setting, we investigate the problem of finding upper…

Formal Languages and Automata Theory · Computer Science 2016-12-26 Arturo Carpi , Flavio D'Alessandro

The problem called "String reconstruction from substrings" is a mathematical model of sequencing by hybridization that plays an important role in DNA sequencing. In this problem, we are given a blackbox oracle holding an unknown string…

Data Structures and Algorithms · Computer Science 2018-08-03 Kazuo Iwama , Junichi Teruyama , Shuntaro Tsuyama

This paper concerns non-overlapping codes, block codes motivated by synchronisation and DNA-based storage applications. Most existing constructions of these codes do not account for the restrictions posed by the physical properties of…

Information Theory · Computer Science 2025-02-05 Lidija Stanovnik , Miha Moškon , Miha Mraz

In this paper we describe a data structure that supports pattern matching queries on a dynamically arriving text over an alphabet ofconstant size. Each new symbol can be prepended to $T$ in O(1) worst-case time. At any moment, we can report…

Data Structures and Algorithms · Computer Science 2013-07-09 Gregory Kucherov , Yakov Nekrich

Two strings are considered to have parameterized matching when there exists a bijection of the parameterized alphabet onto itself such that it transforms one string to another. Parameterized matching has application in software duplication…

Data Structures and Algorithms · Computer Science 2024-12-03 Apurba Saha , Iftekhar Hakim Kaowsar , Mahdi Hasnat Siyam , M. Sohel Rahman

A synchronizing word of a deterministic finite complete automaton is a word whose action maps every state to a single one. Finding a shortest or a short synchronizing word is a central computational problem in the theory of synchronizing…

Formal Languages and Automata Theory · Computer Science 2022-07-13 Marek Szykuła , Adam Zyzik

We introduce fast-decodable indexing schemes for edit distance which can be used to speed up edit distance computations to near-linear time if one of the strings is indexed by an indexing string $I$. In particular, for every length $n$ and…

Data Structures and Algorithms · Computer Science 2019-04-11 Bernhard Haeupler , Aviad Rubinstein , Amirbehshad Shahrasbi

In a recent article by Chapuy and Perarnau, it was shown that a uniformly chosen automaton on $n$ states with a $2$-letter alphabet has a synchronizing word of length $O(\sqrt{n}\log n)$ with high probability. In this note, we improve this…

Combinatorics · Mathematics 2023-07-26 Anders Martinsson

String matching is the problem of deciding whether a given $n$-bit string contains a given $k$-bit pattern. We study the complexity of this problem in three settings. Communication complexity. For small $k$, we provide near-optimal upper…

Computational Complexity · Computer Science 2019-02-21 Alexander Golovnev , Mika Göös , Daniel Reichman , Igor Shinkar

We consider the `one-shot frame synchronization problem' where a decoder wants to locate a sync pattern at the output of a channel on the basis of sequential observations. We assume that the sync pattern of length N starts being emitted at…

Information Theory · Computer Science 2007-08-23 Venkat Chandar , Aslan Tchamkerten , Gregory Wornell

Determining whether an unordered collection of overlapping substrings (called shingles) can be uniquely decoded into a consistent string is a problem that lies within the foundation of a broad assortment of disciplines ranging from…

Discrete Mathematics · Computer Science 2012-04-17 Aryeh Kontorovich , Ari Trachtenberg

It was conjectured by \v{C}ern\'y in 1964, that a synchronizing DFA on $n$ states always has a shortest synchronizing word of length at most $(n-1)^2$, and he gave a sequence of DFAs for which this bound is reached. Until now a full…

Combinatorics · Mathematics 2017-06-19 Michiel de Bondt , Henk Don , Hans Zantema

It is widely assumed that $O(m+\lg \sigma)$ is the best one can do for finding a pattern of length $m$ in a compacted trie storing strings over an alphabet of size $\sigma$, if one insists on linear-size data structures and deterministic…

Data Structures and Algorithms · Computer Science 2013-02-15 Johannes Fischer , Pawel Gawrychowski

Given a pattern string $P$ of length $n$ and a query string $T$ of length $m$, where the characters of $P$ and $T$ are drawn from an alphabet of size $\Delta$, the {\em exact string matching} problem consists of finding all occurrences of…

Data Structures and Algorithms · Computer Science 2015-10-01 Srikrishnan Divakaran