English
Related papers

Related papers: The Repetition Threshold for Rote Sequences

200 papers

A new version of the Graeffe algorithm for finding all the roots of univariate complex polynomials is proposed. It is obtained from the classical algorithm by a process analogous to renormalization of dynamical systems. This iteration is…

Numerical Analysis · Mathematics 2025-10-20 Gregorio Malajovich , Jorge P. Zubelli

This paper considers a problem that relates to the theories of covering arrays, permutation patterns, Vapnik-Chervonenkis (VC) classes, and probability thresholds. Specifically, we want to find the number of subsets of [n]:={1,2,....,n} we…

Combinatorics · Mathematics 2013-05-08 Anant P. Godbole , Samantha Pinella , Yan Zhuang

The numbers we study in this paper are of the form $B_{n, p}(k)$, which is the number of binary words of length $n$ that contain the word $p$ (as a subsequence) exactly $k$ times. Our motivation comes from the analogous study of pattern…

Combinatorics · Mathematics 2023-06-14 Krishna Menon , Anurag Singh

Fraenkel and Simpson showed that the number of distinct squares in a word of length n is bounded from above by 2n, since at most two distinct squares have their rightmost, or last, occurrence begin at each position. Improvements by Ilie to…

Formal Languages and Automata Theory · Computer Science 2017-08-23 F. Blanchet-Sadri , S. Osborne

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

In this work we extend our study on a link between automaticity and certain algebraic power series over finite fields. Our starting point is a family of sequences in a finite field of characteristic $2$, recently introduced by the first…

Number Theory · Mathematics 2016-05-04 Alain Lasjaunias , Jia-Yan Yao

An infinite word has the property $R_m$ if every factor has exactly $m$ return words. Vuillon showed that $R_2$ characterizes Sturmian words. We prove that a word satisfies $R_m$ if its complexity function is $(m-1)n+1$ and if it contains…

Combinatorics · Mathematics 2007-09-27 Lubomira Balkova , Edita Pelantova , Wolfgang Steiner

A closed word (a.k.a. periodic-like word or complete first return) is a word whose longest border does not have internal occurrences, or, equivalently, whose longest repeated prefix is not right special. We investigate the structure of…

Formal Languages and Automata Theory · Computer Science 2014-12-02 Golnaz Badkobeh , Gabriele Fici , Zsuzsanna Lipták

Most slowly synchronizing automata over binary alphabets are circular, i.e., containing a letter permuting the states in a single cycle, and their set of synchronizing words has maximal state complexity, which also implies complete…

Formal Languages and Automata Theory · Computer Science 2020-12-01 Stefan Hoffmann

This paper concerns $\mu$-limit sets of cellular automata: sets of configurations made of words whose probability to appear does not vanish with time, starting from an initial $\mu$-random configuration. More precisely, we investigate the…

Discrete Mathematics · Computer Science 2015-06-23 Laurent Boyer , Martin Delacourt , Victor Poupet , Mathieu Sablik , Guillaume Theyssier

We discuss an interesting sequence defined recursively; namely, sequence A105774 from the On-Line Encyclopedia of Integer Sequences, and study some of its properties. Our main tools are Fibonacci representation, finite automata, and the…

Combinatorics · Mathematics 2024-01-03 Benoit Cloitre , Jeffrey Shallit

We investigate the randomized decision tree complexity of a specific class of read-once threshold functions. A read-once threshold formula can be defined by a rooted tree, every internal node of which is labeled by a threshold function…

Computational Complexity · Computer Science 2023-10-19 Nikos Leonardos

A maximal repetition, or run, in a string, is a maximal periodic substring whose smallest period is at most half the length of the substring. In this paper, we consider runs that correspond to a path on a trie, or in other words, on a…

Data Structures and Algorithms · Computer Science 2021-04-21 Ryo Sugahara , Yuto Nakashima , Shunsuke Inenaga , Hideo Bannai , Masayuki Takeda

We relate two measures of complexity of regular languages. The first is syntactic complexity, that is, the cardinality of the syntactic semigroup of the language. That semigroup is isomorphic to the semigroup of transformations of states…

Formal Languages and Automata Theory · Computer Science 2013-05-24 Janusz Brzozowski , Gareth Davies

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

The automatic complexity of a finite word (string) is an analogue for finite automata of Sipser's distinguishing complexity (1983) and was introduced by Shallit and Wang (2001). For a finite alphabet $\Sigma$ of at least two elements, we…

Formal Languages and Automata Theory · Computer Science 2025-10-10 Joey Chen , Bjørn Kjos-Hanssen , Ivan Koswara , Linus Richter , Frank Stephan

We prove an Erd\H{o}s--Szekeres type result for finite words over $\mathbb{N}$ with repeated values. Specifically, we define a \emph{repeat} in a word to be an occurrence of a value which is not its first occurrence. We define an occurrence…

Combinatorics · Mathematics 2026-05-27 Kyle Celano , Abigail Ollson , Niraj Velankar , Jun Yan

We determine the critical exponent and the recurrence function of complementary symmetric Rote sequences. The formulae are expressed in terms of the continued fraction expansions associated with the S-adic representations of the…

Combinatorics · Mathematics 2023-06-22 Lubomíra Dvořáková , Kateřina Medková , Edita Pelantová

The authors' ATR programming formalism is a version of call-by-value PCF under a complexity-theoretically motivated type system. ATR programs run in type-2 polynomial-time and all standard type-2 basic feasible functionals are ATR-definable…

Logic in Computer Science · Computer Science 2007-05-23 Norman Danner , James S. Royer

A run in a word is a periodic factor whose length is at least twice its period and which cannot be extended to the left or right (by a letter) to a factor with greater period. In recent years a great deal of work has been done on estimating…

Combinatorics · Mathematics 2013-05-07 Amy Glen , Jamie Simpson
‹ Prev 1 4 5 6 7 8 10 Next ›