Gray codes for Fibonacci q-decreasing words

10/19/2020
by   Jean-Luc Baril, et al.
0

An n-length binary word is q-decreasing, q≥ 1, if every of its length maximal factor of the form 0^a1^b satisfies a=0 or q· a > b.We show constructively that these words are in bijection with binary words having no occurrences of 1^q+1, and thus they are enumerated by the (q+1)-generalized Fibonacci numbers. We give some enumerative results and reveal similarities between q-decreasing words and binary words having no occurrences of 1^q+1 in terms of frequency of 1 bit. In the second part of our paper, we provide an efficient exhaustive generating algorithm for q-decreasing words in lexicographic order, for any q≥ 1, show the existence of 3-Gray codes and explain how a generating algorithm for these Gray codes can be obtained. Moreover, we give the construction of a more restrictive 1-Gray code for 1-decreasing words, which in particular settles a conjecture stated recently in the context of interconnection networks by Eğecioğlu and Iršič.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/25/2021

Asymptotic bit frequency in Fibonacci words

It is known that binary words containing no k consecutive 1s are enumera...
research
06/16/2018

Finding Short Synchronizing Words for Prefix Codes

We study the problems of finding a shortest synchronizing word and its l...
research
06/07/2022

Fibonacci-like sequences for variants of the tower of Hanoi, and corresponding graphs and gray codes

We modify the rules of the classical Tower of Hanoi puzzle in a quite na...
research
12/05/2019

Complete Variable-Length Codes: An Excursion into Word Edit Operations

Given an alphabet A and a binary relation τ⊆ A * x A * , a language X ⊆ ...
research
01/03/2022

ℚ-bonacci words and numbers

We present a quite curious generalization of multi-step Fibonacci number...
research
05/31/2018

On Prefix Normal Words

We present a new class of binary words: the prefix normal words. They ar...
research
03/05/2021

Formalizing Graph Trail Properties in Isabelle/HOL

We describe a dataset expressing and proving properties of graph trails,...

Please sign up or login with your details

Forgot password? Click here to reset