A Synergic Approach to the Minimal Uncompletable Words Problem

Abstract : A finite language X over an alphabet S is complete if any word in S^* is a factor of a word in X^*. A word which is not a factor of X^* is said uncompletable. Among them, some are minimal as all their proper factors belong to Fact(X^*). The problem is to find bounds on the length of the shortest minimal uncompletable words depending on k, the maximal length of words in X. Though Restivo's conjecture stating an upper bound in 2k^2 was already contradicted twice, the problem of the existence of a quadratic upper bound is still open. Our approach is original and synergic. We start by characterizing minimal uncompletable words. An efficient in practice algorithm is given that speeds up the search of such words. Finally, a genetic algorithm using a SAT-solver allows us to obtain new results for the first values of k.
Type de document :
Article dans une revue
Journal of Automata, Languages and Combinatorics, 2017, 22 (4), pp.271-286. 〈http://www.jalc.de〉. 〈10.25596/jalc-2017-271〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01665399
Contributeur : Sandrine Julia <>
Soumis le : vendredi 15 décembre 2017 - 18:38:43
Dernière modification le : mardi 27 mars 2018 - 01:21:40

Licence


Copyright (Tous droits réservés)

Identifiants

Collections

Citation

Sandrine Julia, Arnaud Malapert, Julien Provillard. A Synergic Approach to the Minimal Uncompletable Words Problem. Journal of Automata, Languages and Combinatorics, 2017, 22 (4), pp.271-286. 〈http://www.jalc.de〉. 〈10.25596/jalc-2017-271〉. 〈hal-01665399〉

Partager

Métriques

Consultations de la notice

49