Problèmes d'optimisation dans les graphes paramétrés

Problèmes d'optimisation dans les graphes paramétrés

Nous considérons des graphes orientés pondérés dont l énergie est paramétrée. Nous proposons dans un premier temps un algorithme qui, étant donné un graphe et un de ses sommets, renvoie des arbres, chaque arbre représentant les plus courtschemins depuis la source vers tous les autres sommets du grap...

Description complète

Détails bibliographiques
Auteurs principaux : Sérée Bastien (Auteur), Lime Didier (Directeur de thèse, Membre du jury), Jezequel Loïg (Directeur de thèse, Membre du jury), Markey Nicolas (Président du jury de soutenance, Membre du jury), André Étienne (Rapporteur de la thèse, Membre du jury), Reynier Pierre-Alain (Rapporteur de la thèse, Membre du jury), Sznajder Nathalie (Membre du jury), Le Roux Stéphane (Membre du jury)
Collectivités auteurs : Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Problèmes d'optimisation dans les graphes paramétrés / Bastien Sérée; sous la direction de Didier Lime et de Loïg Jezequel
Publié : 2022
Accès en ligne : Accès Nantes Université
Note sur l'URL : Accès au texte intégral
Note de thèse : Thèse de doctorat : Informatique : Ecole centrale de Nantes : 2022
Sujets :
Théorie des graphes
Théorie des jeux
Arbres (théorie des graphes) > Informatique
Vérification de modèles (informatique)
Automate
Graphes paramétrés
Plus court chemin
Jeux sur les graphes
Objectifs de parité
Contraintes sur l énergie
Model-checking
Thèses et écrits académiques

Internet

http://www.theses.fr/2022ECDN0066/document