English
Related papers

Related papers: Maximal Complexity of Finite Words

200 papers

We define the topological complexity sequence of a group as the sequence of topological complexities of its Milnor constructions. This sequence may be regarded as an intrinsic refinement of the topological complexity of a group and, unlike…

Algebraic Topology · Mathematics 2026-05-07 Daisuke Kishimoto , Yuki Minowa

The complexity of a particular term-rewrite system is considered: the rule of associativity (x*y)*z --> x*(y*z). Algorithms and exact calculations are given for the longest and shortest sequences of applications of --> that result in normal…

cmp-lg · Computer Science 2008-02-03 Michael Niv

Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond ${\bf NP\neq co NP}$. These conjectures formally connect computational complexity with the difficulty of…

Logic · Mathematics 2017-05-22 Pavel Pudlak

In this paper we investigate local to global phenomena for a new family of complexity functions of infinite words indexed by $k \in \Ni \cup \{+\infty\}$ where $\Ni$ denotes the set of positive integers. Two finite words $u$ and $v$ in…

Combinatorics · Mathematics 2013-02-18 Juhani Karhumäki , Aleksi Saarela , Luca. Q. Zamboni

The repetition threshold for words on $n$ letters, denoted $\mbox{RT}(n)$, is the infimum of the set of all $r$ such that there are arbitrarily long $r$-free words over $n$ letters. A repetition threshold for circular words on $n$ letters…

Combinatorics · Mathematics 2019-12-25 Lucas Mol , Narad Rampersad

Given a countable set X (usually taken to be the natural numbers or integers), an infinite permutation, \pi, of X is a linear ordering of X. This paper investigates the combinatorial complexity of infinite permutations on the natural…

Discrete Mathematics · Computer Science 2011-08-19 Steven Widmer

This work describes the number of restricted finite words in the alphabet A={a,b} required to identify an infinite word with some period n in the set of all infinite words in this alphabet given up to a shift. Also reviewed the case of…

Rings and Algebras · Mathematics 2013-01-15 Petr Lavrov

The downward closure of a language is the set of all (not necessarily contiguous) subwords of its members. It is well-known that the downward closure of every language is regular. Moreover, recent results show that downward closures are…

Formal Languages and Automata Theory · Computer Science 2016-05-11 Georg Zetzsche

A regular continuant is the denominator $K$ of a terminating regular continued fraction, interpreted as a function of the partial quotients. We regard $K$ as a function defined on the set of all finite words on the alphabet $1<2<3<\dots$…

Combinatorics · Mathematics 2021-05-20 Gerhard Ramharter , Luca Q. Zamboni

String complexity is defined as the cardinality of a set of all distinct words (factors) of a given string. For two strings, we introduce the joint string complexity as the cardinality of a set of words that are common to both strings.…

Information Theory · Computer Science 2018-05-24 Philippe Jacquet , Dimitris Milioris , Wojciech Szpankowski

A finite word $w$ with $\vert w\vert=n$ contains at most $n+1$ distinct palindromic factors. If the bound $n+1$ is attained, the word $w$ is called \emph{rich}. Let $\Factor(w)$ be the set of factors of the word $w$. It is known that there…

Combinatorics · Mathematics 2019-09-06 Josef Rukavicka

In combinatorics on words, a classical topic of study is the number of specific patterns appearing in infinite sequences. For instance, many works have been dedicated to studying the so-called factor complexity of infinite sequences, which…

Combinatorics · Mathematics 2024-10-04 Pierre Popoli , Jeffrey Shallit , Manon Stipulanti

Given a subset of states $S$ of a deterministic finite automaton and a word $w$, the preimage is the subset of all states mapped to a state in $S$ by the action of $w$. We study three natural problems concerning words giving certain…

Formal Languages and Automata Theory · Computer Science 2020-09-22 Mikhail V. Berlinkov , Robert Ferens , Marek Szykuła

In the paper where he first defined Communication Complexity, Yao asks: \emph{Is computing $CC(f)$ (the 2-way communication complexity of a given function $f$) NP-complete?} The problem of deciding whether $CC(f) \le k$, when given the…

Computational Complexity · Computer Science 2025-07-15 Shuichi Hirahara , Rahul Ilango , Bruno Loff

Maximal repetition of a string is the maximal length of a repeated substring. This paper investigates maximal repetition of strings drawn from stochastic processes. Strengthening previous results, two new bounds for the almost sure growth…

Information Theory · Computer Science 2020-03-11 Łukasz Dębowski

We study several problems related to finding reset words in deterministic finite automata. In particular, we establish that the problem of deciding whether a shortest reset word has length k is complete for the complexity class DP. This…

Formal Languages and Automata Theory · Computer Science 2011-02-21 Jörg Olschewski , Michael Ummels

In this paper we consider block languages, namely sets of words having the same length, and study the deterministic and nondeterministic state complexity of several operations on these languages. Being a subclass of finite languages, the…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Guilherme Duarte , Nelma Moreira , Luca Prigioniero , Rogério Reis

Trapezoidal words are finite words having at most n+1 distinct factors of length n, for every n>=0. They encompass finite Sturmian words. We distinguish trapezoidal words into two disjoint subsets: open and closed trapezoidal words. A…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Gabriele Fici

We show that the Word Problem in finitely generated subgroups of $\textsf{GL}_d(\mathbb{Z})$ can be solved in linear average-case complexity. This is done under the bit-complexity model, which accounts for the fact that large integers are…

Group Theory · Mathematics 2025-09-17 Frédérique Bassino , Cyril Nicaud , Pascal Weil

Let $A_N$ denote nondeterministic automatic complexity and \[ L_{k,c}=\{x\in [k]^* : A_N(x)> |x|/c\}. \] In particular, $L_{k,2}$ is the language of all $k$-ary words for which $A_N$ is maximal, while $L_{k,3}$ gives a rough dividing line…

Formal Languages and Automata Theory · Computer Science 2022-06-22 Bjørn Kjos-Hanssen