Fix a finite alphabet. A necklace is a circular word. For positive integers
and , a necklace
is
-perfect if all
words of length
occur
times but at positions with different congruence
modulo
for any convention of the starting position. We define the notion of a
Lyndon pair and we use it to construct the lexicographically greatest
-perfect necklace
for any
and
such
that
divides
or
divides .
Our construction generalizes Fredricksen and Maiorana’s construction
of the lexicographically greatest de Bruijn sequence of order
,
based on the concatenation of the Lyndon words whose length divides
.
Keywords
de Bruijn sequences, Lyndon words, Fredricksen and Maiorana
theorem