English
Related papers

Related papers: Abelian complexity function of the Tribonacci word

200 papers

The ambiguity of a nondeterministic finite automaton (NFA) N for input size n is the maximal number of accepting computations of N for an input of size n. For all k, r 2 N we construct languages Lr,k which can be recognized by NFA's with…

Formal Languages and Automata Theory · Computer Science 2009-03-02 Juraj Hromkovic , Georg Schnitger

We introduce and study a complexity function on words $c_x(n),$ called \emph{cyclic complexity}, which counts the number of conjugacy classes of factors of length $n$ of an infinite word $x.$ We extend the well-known Morse-Hedlund theorem…

Formal Languages and Automata Theory · Computer Science 2016-06-29 Julien Cassaigne , Gabriele Fici , Marinella Sciortino , Luca Q. Zamboni

We prove that a sequence satisfying a certain symmetry property is $2$-regular in the sense of Allouche and Shallit, i.e., the $\mathbb{Z}$-module generated by its $2$-kernel is finitely generated. We apply this theorem to develop a general…

Formal Languages and Automata Theory · Computer Science 2023-09-04 Aline Parreau , Michel Rigo , Eric Rowland , Elise Vandomme

A word $u$ defined over an alphabet $\mathcal{A}$ is $c$-balanced ($c\in\mathbb{N}$) if for all pairs of factors $v$, $w$ of $u$ of the same length and for all letters $a\in\mathcal{A}$, the difference between the number of letters $a$ in…

Combinatorics · Mathematics 2010-11-02 Ondřej Turek

The $N$th linear complexity of a sequence is a measure of predictability. Any unpredictable sequence must have large $N$th linear complexity. However, in this paper we show that for $q$-automatic sequences over $\mathbb{F}_q$ the converse…

Number Theory · Mathematics 2017-11-30 László Mérai , Arne Winterhof

We describe the subgroups of the group $\Z_m \times \Z_n \times \Z_r$ and derive a simple formula for the total number $s(m,n,r)$ of the subgroups, where $m,n,r$ are arbitrary positive integers. An asymptotic formula for the function…

Group Theory · Mathematics 2013-04-11 Mario Hampejs , László Tóth

We propose an efficient and flexible method for solving Abel integral equation of the first kind, frequently appearing in many fields of astrophysics, physics, chemistry, and applied sciences. This equation represents an ill-posed problem,…

Instrumentation and Methods for Astrophysics · Physics 2016-08-26 I. I. Antokhin

In this paper we explore fundamental concepts in computational complexity theory and the boundaries of algorithmic decidability. We examine the relationship between complexity classes \textbf{P} and \textbf{NP}, where $L \in \textbf{P}$…

Computational Complexity · Computer Science 2025-12-30 Duaa Abdullah , Jasem Hamoud

The state complexity of basic operations on finite languages (considering complete DFAs) has been in studied the literature. In this paper we study the incomplete (deterministic) state and transition complexity on finite languages of…

Formal Languages and Automata Theory · Computer Science 2013-02-05 Eva Maia , Nelma Moreira , Rogério Reis

We prove 3SUM-hardness (no strongly subquadratic-time algorithm, assuming the 3SUM conjecture) of several problems related to finding Abelian square and additive square factors in a string. In particular, we conclude conditional optimality…

Data Structures and Algorithms · Computer Science 2021-07-21 Jakub Radoszewski , Wojciech Rytter , Juliusz Straszyński , Tomasz Waleń , Wiktor Zuba

The complexity function of an infinite word $w$ on a finite alphabet $A$ is the sequence counting, for each non-negative $n$, the number of words of length $n$ on the alphabet $A$ that are factors of the infinite word $w$. The goal of this…

Dynamical Systems · Mathematics 2018-02-26 Carlos Gustavo Moreira , Christian Mauduit

The complexity of a graph is the number of its labeled spanning trees. In this work complexity is studied in settings that admit regular graphs. An exact formula is established linking complexity of the complement of a regular graph to…

Combinatorics · Mathematics 2025-08-18 Gregory P Constantine , Gregory Magda

Richomme, Saari and Zamboni (J. Lond. Math. Soc. 83: 79-95, 2011) proved that at every position of a Sturmian word starts an abelian power of exponent $k$ for every $k > 0$. We improve on this result by studying the maximum exponents of…

The notion of Abelian complexity of infinite words was recently used by the three last authors to investigate various Abelian properties of words. In particular, using van der Waerden's theorem, they proved that if a word avoids Abelian…

Combinatorics · Mathematics 2010-05-17 Julien Cassaigne , Gwénaël Richomme , Kalle Saari , Luca Q. Zamboni

We present a quite curious generalization of multi-step Fibonacci numbers. For any positive rational $q$, we enumerate binary words of length $n$ whose maximal factors of the form $0^a1^b$ satisfy $a = 0$ or $aq > b$. When $q$ is an integer…

Combinatorics · Mathematics 2022-07-18 Sergey Kirgizov

Given a reference computer, Kolmogorov complexity is a well defined function on all binary strings. In the standard approach, however, only the asymptotic properties of such functions are considered because they do not depend on the…

Machine Learning · Computer Science 2007-05-23 Andrei N. Soklakov

We describe a new algorithm that computes the n-th Bernoulli number in n^(4/3 + o(1)) bit operations. This improves on previous algorithms that had complexity n^(2 + o(1)).

Number Theory · Mathematics 2013-05-02 David Harvey

The strong Byzantine agreement (SBA) problem is defined among n processes, out of which t < n can be faulty and behave arbitrarily. SBA allows correct (non-faulty) processes to agree on a common value. Moreover, if all correct processes…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-08 Pierre Civit , Seth Gilbert , Rachid Guerraoui , Jovan Komatovic , Manuel Vidigueira

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

Constantinescu and Ilie (Bulletin of the EATCS 89, 167-170, 2006) introduced the idea of an Abelian period with head and tail of a finite word. An Abelian period is called full if both the head and the tail are empty. We present a simple…

Data Structures and Algorithms · Computer Science 2017-01-02 Gabriele Fici , Thierry Lecroq , Arnaud Lefebvre , Élise Prieur-Gaston , William F. Smyth