English
Related papers

Related papers: Sequence saturation

200 papers

To render a sequence testable, namely capable of identifying and detecting errors, it is necessary to apply a transformation that increases its length by introducing statistical dependence among symbols, as commonly exemplified by the…

Information Theory · Computer Science 2025-07-08 Aida Koch , Alix Petit

Let w be a binary string and let a_w (n) be the number of occurrences of the word w in the binary expansion of n. As usual we let s(n) denote the Stern sequence; that is, s(0)=0, s(1)=1, and for n >= 1, s(2n)=s(n) and s(2n+1)=s(n)+s(n+1).…

Number Theory · Mathematics 2011-07-08 Michael Coons , Jeffrey Shallit

Equality saturation is an emerging technique for program and query optimization developed in the programming language community. It performs term rewriting over an E-graph, a data structure that compactly represents a program space. Despite…

Programming Languages · Computer Science 2025-01-07 Dan Suciu , Yisu Remy Wang , Yihong Zhang

In a \emph{weighted sequence}, for every position of the sequence and every letter of the alphabet a probability of occurrence of this letter at this position is specified. Weighted sequences are commonly used to represent imprecise or…

Data Structures and Algorithms · Computer Science 2017-08-28 Carl Barton , Tomasz Kociumaka , Chang Liu , Solon P. Pissis , Jakub Radoszewski

A superpermutation is a sequence that contains every permutation of $n$ distinct symbols as a contiguous substring. For instance, a valid example for three symbols is a sequence that contains all six permutations. This paper introduces a…

Discrete Mathematics · Computer Science 2025-05-19 Dhruv Ajmera

The longest common subsequence (LCS) is a fundamental problem in string processing which has numerous algorithmic studies, extensions, and applications. A sequence $u_1, \ldots, u_f$ of $f$ strings s said to be an ($f$-)segmentation of a…

Data Structures and Algorithms · Computer Science 2025-02-27 Yuki Yonemoto , Takuya Mieno , Shunsuke Inenaga , Ryo Yoshinaka , Ayumi Shinohara

Let $\Sigma$ be a countable alphabet. For $r\geq 1$, an infinite sequence $s$ with characters from $\Sigma$ is called $r$-quasi-regular, if for each $\sigma\in\Sigma$ the ratio of the longest to shortest interval between consecutive…

Combinatorics · Mathematics 2019-10-01 Joshua Frisch , Wade Hann-Caruthers , Pooya Vahidi Ferdowsi

In the deletion channel, an important problem is to determine the number of subsequences derived from a string $U$ of length $n$ when subjected to $t$ deletions. It is well-known that the number of subsequences in the setting exhibits a…

Information Theory · Computer Science 2026-04-20 Han Li , Xiang Wang , Fang-Wei Fu

Set $[n]=\{1, 2, \ldots , n\}$. The hypergrid $[t]^n$ is the collection of functions $f: \ [n]\rightarrow [t]$. We equip it with the natural partial order by letting $f\leq g$ whenever $f(x)\leq g(x)$ holds for all $x\in [n]$. Given a poset…

Combinatorics · Mathematics 2026-04-15 R. Altar Ciceksiz , Victor Falgas-Ravry , Sabrina Lato , Maryam Sharifzadeh

A gapped repeat is a factor of the form $uvu$ where $u$ and $v$ are nonempty words. The period of the gapped repeat is defined as $|u|+|v|$. The gapped repeat is maximal if it cannot be extended to the left or to the right by at least one…

Formal Languages and Automata Theory · Computer Science 2013-10-01 Roman Kolpakov , Mikhail Podolskiy , Mikhail Posypkin , Nickolay Khrapov

The factor complexity ${\mathcal C}_{\mathbf u}$ of a sequence ${\mathbf u} = u_0u_1u_2 \cdots$ over a finite alphabet counts the number of factors of length $n$ occurring in $\mathbf u$, i.e., ${\mathcal C}_{\mathbf u}(n) = \#{\mathcal…

Combinatorics · Mathematics 2025-11-18 Lubomíra Dvořáková , Edita Pelantová

Recently, the saturation problem of $0$-$1$ matrices gained a lot of attention. This problem can be regarded as a saturation problem of ordered bipartite graphs. Motivated by this, we initiate the study of the saturation problem of ordered…

Combinatorics · Mathematics 2022-03-11 Vladimir Bošković , Balázs Keszegh

This paper introduces the sequence covering similarity, that we formally define for evaluating the similarity between a symbolic sequence (string) and a set of symbolic sequences (strings). From this covering similarity we derive a…

Data Structures and Algorithms · Computer Science 2018-03-12 Pierre-François Marteau

Given positive integer $n$ and graph $F$, the saturation number $\mathrm{sat}(n, F)$ is the minimum number of edges in an edge-maximal $F$-free graph on $n$ vertices. In this paper, we determine asymptotic behavior of $\mathrm{sat}(n, F)$…

Combinatorics · Mathematics 2025-06-12 Ali Mohammadian , Milad Poursoltani , Behruz Tayfeh-Rezaie

We say that a first order sentence A defines a graph G if A is true on G but false on any graph non-isomorphic to G. Let L(G) (resp. D(G)) denote the minimum length (resp. quantifier rank) of a such sentence. We define the succinctness…

Logic · Mathematics 2007-05-23 Oleg Pikhurko , Joel Spencer , Oleg Verbitsky

Consider the space of sequences of k letters ordered lexicographically. We study the set M({\alpha}) of all maximal sequences for which the asymptotic proportions {\alpha} of the letters are prescribed, where a sequence is said to be…

Dynamical Systems · Mathematics 2015-11-04 Philip Boyland , André de Carvalho , Toby Hall

Letting $w$ denote a finite, nonempty word, let $\text{red}(w)$ denote the word obtained from $w$ by replacing every subword $s$ of $w$ of the form $cc \cdots c$ for a given character $c$ (such that there is no character immediately to the…

Combinatorics · Mathematics 2025-09-22 John M. Campbell , James Currie , Narad Rampersad

Given a family of graphs $\mathcal{F}$, a graph $G$ is said to be $\mathcal{F}$-saturated if $G$ does not contain a copy of $F$ as a subgraph for any $F\in\mathcal{F}$ but the addition of any edge $e\notin E(G)$ creates at least one copy of…

Combinatorics · Mathematics 2021-03-02 Yue Ma , Xinmin Hou , Doudou Hei , Jun Gao

For graphs $G$ and $F$, the saturation number $\textit{sat}(G,F)$ is the minimum number of edges in an inclusion-maximal $F$-free subgraph of $G$. In 2017, Kor\'andi and Sudakov initiated the study of saturation in random graphs. They…

Combinatorics · Mathematics 2024-02-27 Sahar Diskin , Ilay Hoshen , Maksim Zhukovskii

Given a sequence $S$ of length $n$, a letter-duplicated subsequence is a subsequence of $S$ in the form of $x_1^{d_1}x_2^{d_2}\cdots x_k^{d_k}$ with $x_i\in\Sigma$, $x_j\neq x_{j+1}$ and $d_i\geq 2$ for all $i$ in $[k]$ and $j$ in $[k-1]$.…

Data Structures and Algorithms · Computer Science 2022-01-05 Wenfeng Lai , Adiesha Liyanage , Binhai Zhu , Peng Zou