Título: Un algoritmo para collares perfectos lexicográficamente máximos
Directora: Verónica Becher
Jurados: Flavia Bonomo y Min Chih Lin (Oscar Lin)

Resumen:
Fijemos un alfabeto. Un collar es una secuencia circular de símbolos. Los collares perfectos son variantes de las secuencias de Bruijn: un collar es (n,k)-perfecto si todas las palabras de longitud n aparecen en el collar exactamente k veces, en posiciones con distinta congruencia módulo k, para cualquier convención de la posición inicial. En esta tesis presentamos un algoritmo para generar los collares (n,k)-perfectos lexicográficamente máximos, cuando k divide a n. Nuestro algoritmo es una adaptación del algoritmo clásico de Fredricksen y Maiorana (1978) basado en la concatenación de palabras Lyndon. Como subproducto obtuvimos una demostración de la correctitud del algoritmo de Fredricksen y Maiorana mucho más clara que la original.