Graphes et cycles de de Bruijn dans des langages avec des restrictions

par Eduardo Moreno

Thèse de doctorat en Informatique

Sous la direction de Dominique Perrin et de Martin Matamala.

Soutenue en 2005

à l'Université de Marne-la-Vallée .


  • Résumé

    Soit un langage composée par tous les mots d’une longueur donnée n. Un cycle de de Bruijn d’ordre n est un mot cyclic tels que tous les mots dans le langage apparaît exactement une fois comme facteurs de cet cycle. Un de l’algorithme pour construire le cycle de de Bruijn lexicographiquement minimal est dû à Fredricksen et à Maiorana, lequel utilise les mots de Lyndon dans le language. Cette thèse étudie comment généraliser le concept de cycles de de Bruijn pour un language composée par un sous-ensemble de mots de longueur n, particularment les languages de tous les mots de longueur n sans facteurs dans une liste de facteurs interdits. Premièrement, nous étudie le cas des mots sans le facteur 11. Nous fournissons de nouvelles preuves de l’algorithme de Fredricksen et de Maiorana qui nous en permet de prolonger ce résultat au cas des mots sans facteur 1i pour n’importe quelle i. Nous caractérisons pour quelles langues des mots de longueur n existe un cycle de de Bruijn, et nous étudions également quelques propriétés de la dynamique symbolique de ces languages, particularment des languages définies par des facteurs interdits. Pour ces genres de languages, nous présentons un algorithme pour produire un cycle de de Bruijn, en utilisant les mots de Lyndon du language. Ces résultats utilisent la notion du graphe de de Bruijn et réduit le problème à construire un cycle Eulerian dans ce graphe. Nous étudions le problème de la construction du cycle minimal dans un language avec des facteurs interdits employant le graphe de de Bruijn. Nous étudions deux algorithmes, un algorithme avide simple et efficace qui fonctionne avec quelques ensembles de langues, et un algorithme plus complexe qui résout ce problème pour n’importe quel graphe Eulerian

  • Titre traduit

    De Bruijn graphs and sequences in languages with restrictions


  • Résumé

    Let be a language composed by all words of a given length n. A de Bruijn sequence of span n is a cyclic string such that all words in the language appears exactly once as factors of this sequence. One of the algorithms to construct the lexicographically minimal de Bruijn sequence is due to Fredricksen and Maiorana and it use the Lyndon words in the language. This thesis studies how to generalize the concept of de Bruijn sequence for a language composed by a subset of words of length n, particularly the languages of all words of length n without factors in a list of forbidden factors. Firstly, we study the case of words without the factor 11. We give a new proof of the algorithm of Fredricksen and Maiorana which allows us to extend this result to the case of words without the factor 1i for any i. We characterize for which languages of words of length n exists a de Bruijn sequence, and we also study some symbolic dynamical properties of these languages, particularly of the languages defined by forbidden factors. For these kinds of languages, we present an algorithm to produce a de Bruijn sequence, using the Lyndon words of the language. These results use the notion of de Bruijn graph and reduce the problem to construct an Eulerian cycle in this graph. We study the problem of construct the lexicographically minimal de Bruijn sequence in a language with forbidden factors using the de Bruijn graph. We study two algorithms, a simple and efficient greedy algorithm which works with some sets of languages, and a more complex algorithm which solves this problem for any Eulerian labelled graph

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (66 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 61-66 (54 réf.)

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Est Marne-la-Vallée. Bibliothèque.
  • Disponible pour le PEB
  • Cote : 2005 MOR 0264
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.