Skip to Main content Skip to Navigation
Theses

Functional description of sequence constraints and synthesis of combinatorial objects

Résumé : A l’opposé de l’approche consistant à concevoir aucas par cas des contraintes et des algorithmes leur étant dédiés, l’objet de cette thèse concerne d’une part la description de familles de contraintes en termes de composition de fonctions, et d’autre part la synthèse d’objets combinatoires pour de telles contraintes. Les objets concernés sont des bornes précises, des coupes linéaires, des invariants non-linéaires et des automates finis ; leur but principal est de prendre en compte l’aspect combinatoire d’une seule contrainte ou d’une conjonction de contraintes. Ces objets sont obtenus d’une façon systématique et sont paramétrés par une ou plusieurs contraintes, par le nombre de variables dans une séquence, et par les domaines initiaux de ces variables. Cela nous permet d’obtenir des objets indépendants d’une instance considérée. Afin de synthétiser des objets combinatoires nous tirons partie de la vue déclarative de telles contraintes, basée sur les expressions régulières, ainsi que la vue opérationnelle, basée sur les automates à registres et les transducteurs finis. Il y a plusieurs avantages à synthétiser des objets combinatoires par rapport à la conception d’algorithmes dédiés : 1) on peut utiliser ces formules paramétrées dans plusieurs contextes, y compris la programmation par contraintes et la programmation linéaire, ce qui est beaucoup plus difficile avec des algorithmes ; 2) la synergie entre des objets combinatoires nous donne une meilleure performance en pratique ; 3) les quantités calculées par certaines des formules peuvent être utilisées non seulement dans le contexte de l’optimisation mais aussi pour la fouille de données.
Complete list of metadatas

Cited literature [162 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01962957
Contributor : Abes Star :  Contact
Submitted on : Friday, December 21, 2018 - 7:59:06 AM
Last modification on : Wednesday, June 24, 2020 - 4:19:38 PM
Document(s) archivé(s) le : Friday, March 22, 2019 - 3:43:18 PM

File

2018IMTA0089-Arafailova_Ekater...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01962957, version 1

Citation

Ekaterina Arafailova. Functional description of sequence constraints and synthesis of combinatorial objects. Discrete Mathematics [cs.DM]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0089⟩. ⟨tel-01962957⟩

Share

Metrics

Record views

375

Files downloads

209