Nantilus
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...
Saved in:
| Main Authors : | , , , , , , , |
|---|---|
| Corporate Authors : | , , |
| Format : | Thesis |
| Language : | français |
| Title statement : | 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 |
| Published : |
2022 |
| Online Access : |
Via Nantes Université network
|
| Online Access note : | Accès au texte intégral |
| Note de thèse : | Thèse de doctorat : Informatique : Ecole centrale de Nantes : 2022 |
| Subjects : |
| Summary : | 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 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. |
|---|---|
| Variantes de titre : | Optimisation problems in parametrized graphs |
| Notes : | Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) Partenaire(s) de recherche : Laboratoire des Sciences du Numérique de Nantes (Laboratoire) 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)) |
| Configuration requise : | Configuration requise : un logiciel capable de lire un fichier au format : PDF |