English
Related papers

Related papers: Palindromes in infinite ternary words

200 papers

A pattern is encountered in a word if some infix of the word is the image of the pattern under some non-erasing morphism. A pattern $p$ is unavoidable if, over every finite alphabet, every sufficiently long word encounters $p$. A theorem by…

Discrete Mathematics · Computer Science 2019-02-15 Arnaud Carayol , Stefan Göller

For an undirected tree with $n$ edges labelled by single letters, we consider its substrings, which are labels of the simple paths between pairs of nodes. We prove that there are $O(n^{1.5})$ different palindromic substrings. This solves an…

Data Structures and Algorithms · Computer Science 2020-11-30 Paweł Gawrychowski , Tomasz Kociumaka , Wojciech Rytter , Tomasz Waleń

We introduce the notion of unavoidable (complete) sets of word patterns, which is a refinement for that of words, and study certain numerical characteristics for unavoidable sets of patterns. In some cases we employ the graph of pattern…

Combinatorics · Mathematics 2007-05-23 Alexander Burstein , Sergey Kitaev

We prove that it is NP-complete to decide whether a given string can be factored into palindromes that are each unique in the factorization.

Formal Languages and Automata Theory · Computer Science 2020-12-15 Hideo Bannai , Travis Gagie , Shunsuke Inenaga , Juha Karkkainen , Dominik Kempa , Marcin Piatkowski , Simon J. Puglisi , Shiho Sugimoto

In combinatorics on words, a word $w$ over an alphabet $\Sigma$ is said to avoid a pattern $p$ over an alphabet $\Delta$ if there is no factor $f$ of $w$ such that $f=h(p)$ where $h:\Delta^*\to\Sigma^*$ is a non-erasing morphism. A pattern…

Combinatorics · Mathematics 2022-03-02 Antoine Domenech , Pascal Ochem

This article introduces three invariance principles under which P is different from NP. In the second part a theorem of convergence is proven. This theorem states that for any language L there exists an infinite sequence of languages from…

Computational Complexity · Computer Science 2007-05-23 Mircea Alexandru Popescu Moscu

In this paper we study how certain families of aperiodic infinite words can be used to produce aperiodic pseudorandom number generators (PRNGs) with good statistical behavior. We introduce the \emph{well distributed occurrences} (WELLDOC)…

Combinatorics · Mathematics 2016-10-25 Lubomira Balkova , Michelangelo Bucci , Alessandro De Luca , Jiri Hladky , Svetlana Puzynina

The number of frequencies of factors of length $n+1$ in a recurrent aperiodic infinite word does not exceed $3\Delta \C(n)$, where $\Delta \C (n)$ is the first difference of factor complexity, as shown by Boshernitzan. Pelantov\'a together…

Combinatorics · Mathematics 2013-02-05 Lubomira Balkova

We study a standard operator on classes of languages: unambiguous polynomial closure. We prove that for every class C of regular languages satisfying mild properties, the membership problem for its unambiguous polynomial closure UPol(C)…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Thomas Place , Marc Zeitoun

In this note, we obtain an upper bound on the maximum number of distinct non-empty palindromes in starlike trees. This bound implies, in particular, that there are at most $4n$ distinct non-empty palindromes in a starlike tree with three…

Combinatorics · Mathematics 2018-05-29 Amy Glen , Jamie Simpson , W. F. Smyth

We study the computational power of parsing expression grammars (PEGs). We begin by constructing PEGs with unexpected behaviour, and surprising new examples of languages with PEGs, including the language of palindromes whose length is a…

Formal Languages and Automata Theory · Computer Science 2020-02-17 Bruno Loff , Nelma Moreira , Rogério Reis

We lift to the multivariate Eulerian polynomials the identity implying that univariate Eulerian polynomials are palindromic. As a consequence of this generalization, we obtain nice combinatorial identities that can be directly extracted…

Combinatorics · Mathematics 2026-01-23 Alejandro González Nevado

String attractors are a combinatorial tool coming from the field of data compression. It is a set of positions within a word which intersects an occurrence of every factor. While one-sided infinite words admitting a finite string attractor…

Combinatorics · Mathematics 2024-03-21 Pierre Béaur , France Gheeraert , Benjamin Hellouin de Menibus

We characterize the squares occurring in infinite overlap-free binary words and construct various alpha power-free binary words containing infinitely many overlaps.

Combinatorics · Mathematics 2007-05-23 James Currie , Narad Rampersad , Jeffrey Shallit

A language L is closed if L = L*. We consider an operation on closed languages, L-*, that is an inverse to Kleene closure. It is known that if L is closed and regular, then L-* is also regular. We show that the analogous result fails to…

Formal Languages and Automata Theory · Computer Science 2010-09-01 Narad Rampersad , Jeffrey Shallit , Ming-wei Wang

The classifications of temporal and phylogeny constraint languages stand among the most seminal complexity classifications within infinite-domain Constraint Satisfaction Problems (CSPs), yet remain the most mysterious in terms of algorithms…

Logic in Computer Science · Computer Science 2026-05-07 Johanna Brunar , Michael Pinsker , Moritz Schöbi

We obtain the following results about the avoidance of ternary formulas. Up to renaming of the letters, the only infinite ternary words avoiding the formula $ABCAB.ABCBA.ACB.BAC$ (resp. $ABCA.BCAB.BCB.CBA$) have the same set of recurrent…

Discrete Mathematics · Computer Science 2018-09-26 Pascal Ochem , Matthieu Rosenfeld

We study the notion of sparseness for regular languages over finite trees and infinite words. A language of trees is called sparse if the relative number of $n$-node trees in the language tends to zero, and a language of infinite words is…

Formal Languages and Automata Theory · Computer Science 2025-07-08 Kord Eickmeyer , Georg Schindling

Palindromes are popular and important objects in textual data processing, bioinformatics, and combinatorics on words. Let $S = XaY$ be a string where $X$ and $Y$ are of the same length, and $a$ is either a single character or the empty…

Data Structures and Algorithms · Computer Science 2025-02-18 Takuya Mieno , Mitsuru Funakoshi , Yuto Nakashima , Shunsuke Inenaga , Hideo Bannai , Masayuki Takeda

Let ${\cal P}$ be the set of palindromes occurring in the Fibonacci sequence. In this note, we establish three structures of $\mathcal{P}$ and and discuss their properties: cylinder structure, chain structure and recursive structure. Using…

Dynamical Systems · Mathematics 2016-01-19 Yuke Huang , Zhiying Wen