Algorithmic Complexity of Well-Quasi-Orders

Résumé : Ce document est consacré à l’étude de la complexité algorithmique des beaux pré-ordres, et se concentre particulièrement sur leurs applications en vérification, où ils permettent de raisonner sur des systèmes dotés d’une infinité d’états, car modélisant des variables à valeurs entières, un nombre de processus actifs non borné dans un contexte concurrent, des horloges à valeurs réelles dans un contexte temporisé, des piles d’appels de programmes récursifs, des nonces cryptographiques, ou encore des canaux de communication. Le document présente un cadre théorique pour l’étude de telles complexités, qui inclut la définition de classes de complexité adaptées pour des problèmes de complexité non élémentaire, et des techniques pour établir des bornes supérieures ou inférieures de complexité, ainsi que des exemples pour lesquels ce cadre a pu être appliqué avec succès. En particulier, un exemple frappant de telles applications est celui du problème d’accessibilité dans les systèmes d’addition de vecteurs et les réseaux de Petri, pour lequel ce cadre fournit la première borne supérieure connue.
Type de document :
HDR
Logic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017
Liste complète des métadonnées

Littérature citée [229 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01663266
Contributeur : Sylvain Schmitz <>
Soumis le : mercredi 13 décembre 2017 - 19:33:38
Dernière modification le : jeudi 25 octobre 2018 - 11:12:18

Fichier

hdr.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas de modifications 4.0 International License

Identifiants

  • HAL Id : tel-01663266, version 1

Citation

Sylvain Schmitz. Algorithmic Complexity of Well-Quasi-Orders. Logic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017. 〈tel-01663266〉

Partager

Métriques

Consultations de la notice

334

Téléchargements de fichiers

155