Combinatorics of Palindromes

TL;DR

This paper explores the combinatorial properties of Manacher arrays, establishing bounds, a graph-theoretic framework, and analyzing reconstruction algorithms to improve understanding of string reconstruction with structural constraints.

Contribution

It introduces a new combinatorial lower bound, a graph-theoretic framework, and an improved reconstruction algorithm for Manacher arrays, resolving an open problem.

Findings

Number of tandem repeat trees exceeds distinct Manacher arrays

Graph-based framework links arrays to colorings and strings

Reconstruction algorithm achieves minimal alphabet size and can adapt to arbitrary alphabets

Abstract

We investigate the structure and reconstruction complexity of Manacher arrays. First, we establish a combinatorial lower bound, proving that the number of rooted tandem repeat trees with $n+1$ genes exceeds the number of distinct Manacher arrays of length $n$. Second, we introduce a graph-theoretic framework that associates a graph to each Manacher array, where every proper vertex coloring yields a string consistent with the array. Finally, we analyze a reconstruction algorithm by I et al. (SPIRE 2010), showing that it simultaneously achieves a globally minimal alphabet size, uses at most $\log_2(n{-}1) + 2$ distinct symbols, and can be adapted to produce reconstructions over arbitrary alphabets when possible. Our results also resolve an open problem posed by the original authors. Together, these findings advance the combinatorial understanding of Manacher arrays and open new directions for string reconstruction under structural constraints.