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

Enregistré dans:
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
LEADER 05953clm a2200745 4500
001 PPN268893136
003 http://www.sudoc.fr/268893136
005 20240523055400.0
029 |a FR  |b 2022ECDN0066 
033 |a http://www.theses.fr/2022ECDN0066 
035 |a (OCoLC)1374602187 
035 |a STAR195309 
100 |a 20230403d2022 k y0frey0103 ba 
101 0 |a fre  |d fre  |d eng  |2 639-2 
102 |a FR 
105 |a ||||ma 00|yy 
135 |a dr||||||||||| 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c c  |2 rdamedia 
182 1 |6 z01  |a b 
183 |6 z01  |a ceb  |2 RDAfrCarrier 
200 1 |a Problèmes d'optimisation dans les graphes paramétrés  |f Bastien Sérée  |g sous la direction de Didier Lime et de Loïg Jezequel 
214 1 |d 2022 
230 |a Données textuelles 
304 |a Titre provenant de l'écran-titre 
314 |a Ecole(s) Doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) 
314 |a Partenaire(s) de recherche : Laboratoire des Sciences du Numérique de Nantes (Laboratoire) 
314 |a Autre(s) contribution(s) : Nicolas Markey (Président du jury) ; Didier Lime, Loïg Jezequel, Nicolas Markey, Étienne André, Pierre-Alain Reynier, Nathalie Sznajder, Stéphane Le Roux (Membre(s) du jury) ; Étienne André, Pierre-Alain Reynier (Rapporteur(s)) 
328 0 |b Thèse de doctorat  |c Informatique  |e Ecole centrale de Nantes  |d 2022 
330 |a 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 graphe pour une zone particulière de l espace des paramètres. De plus l union de ces zones couvre l espace des paramètres. Nous considérons ensuite l accessibilité dans les graphes à énergie multidimensionnelle, avec un type de contraintes plus absolues qui imposent que l énergie reste entre des bornes. Nous montrons la décidabilité et la complexité du problème quel que soit le nombre de paramètres et de dimensions lorsque les paramètres prennent des valeurs entières. Nous montrons également l indécidabilité de ce problème avec au moins un paramètre lorsque la dimension est supérieure ou égale à deux. Nous étudions enfin des jeux de parité à un et deux joueurs sur les graphes paramétrés dont l objectif est la conjonction d une condition qualitative sur la parité et d une condition quantitative : l énergiedoit rester positive. Nous montrons la décidabilité et prouvons des bornes de la complexité du problème de la recherche d une stratégie gagnante dans les cas à un et à deux joueurs 
330 |a We are considering weighted oriented graphs with parametrized energy. Firstly we propose an algorithm that, given a graph and one of its vertices, returns trees, every tree representing shortest-paths from the source to every other vertex for a particular zone of the parameter space. Moreover, union of these zones is a covering of the parameter space. Then we consider reachability in graphs with multi-dimensional energy, with stricter constraints that enforce the energy to stay between bounds. We prove decidabilty and complexity of this problem regardless of the dimension and the number of parameters when parameters take integer values. We alsoprove the undecidability of this problem when there is at least one parameter and the dimension is at least two. Finally we study paritygames on parametrized graphs with one and two players whose objective is the conjunction of a qualitative condition on the parity andquantitative one : energy must stay positive. We show the decidability and prove bounds on the complexity of the problem of searchinga winning strategy in both cases with one and two players. 
337 |a Configuration requise : un logiciel capable de lire un fichier au format : PDF 
541 | |a Optimisation problems in parametrized graphs  |z eng 
606 |3 PPN027315428  |a Théorie des graphes  |2 rameau 
606 |3 PPN02735525X  |a Théorie des jeux  |2 rameau 
606 |3 PPN031535801  |a Arbres (théorie des graphes)  |x Informatique  |2 rameau 
606 |3 PPN203675789  |a Vérification de modèles (informatique)  |2 rameau 
608 |3 PPN027253139  |a Thèses et écrits académiques  |2 rameau 
610 0 |a Automate 
610 0 |a Graphes paramétrés 
610 0 |a Plus court chemin 
610 0 |a Jeux sur les graphes 
610 0 |a Objectifs de parité 
610 0 |a Contraintes sur l énergie 
610 0 |a Model-checking 
686 |a 620  |2 TEF 
700 1 |3 PPN268640734  |a Sérée  |b Bastien  |f 1994-....  |4 070 
701 1 |3 PPN08563025X  |a Lime  |b Didier  |f 1977-....  |4 727  |4 555 
701 1 |3 PPN169378837  |a Jezequel  |b Loïg  |f 1986-....  |4 727  |4 555 
701 1 |3 PPN073426482  |a Markey  |b Nicolas  |f 1976-....  |4 956  |4 555 
701 1 |3 PPN151927081  |a André  |b Étienne  |f 1983-....  |c informaticien  |4 958  |4 555 
701 1 |3 PPN19709340X  |a Reynier  |b Pierre-Alain  |4 958  |4 555 
701 1 |3 PPN253130883  |a Sznajder  |b Nathalie  |f 19..-....  |4 555 
701 1 |3 PPN124933912  |a Le Roux  |b Stéphane  |4 555 
711 0 2 |3 PPN03063525X  |a Centrale Nantes  |c 1991-....  |4 295 
711 0 2 |3 PPN204770424  |a École doctorale Mathématiques et sciences et technologies de l'information et de la communication  |c Rennes  |4 996 
711 0 2 |3 PPN203637585  |a Laboratoire des Sciences du Numérique de Nantes  |4 981 
801 3 |a FR  |b Abes  |c 20230517  |g AFNOR 
856 4 |q PDF  |s 1404261  |u http://www.theses.fr/2022ECDN0066/document  |z Accès au texte intégral 
856 4 |u http://www.theses.fr/2022ECDN0066/abes 
856 4 |u https://tel.archives-ouvertes.fr/tel-04056794 
930 |5 441092306:789186012  |b 441092306  |j g 
991 |5 441092306:789186012  |a exemplaire créé automatiquement par STAR 
998 |a 940823