Graphes planaires : dessins non-alignés, domination de puissance et énumération d’orientations Eulériennes

Planar graphs : non-aligned drawings, power domination and enumeration of Eulerian orientations

• Auteur / Autrice : Claire Pennarun
• Direction : Nicolas Bonichon, Paul Dorbec
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 14/06/2017
• Etablissement(s) : Bordeaux
• Ecole(s) doctorale(s) : École doctorale Mathématiques et informatique (Talence, Gironde ; 1991-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire bordelais de recherche en informatique
• Jury : Président / Présidente : Nadia Brauner
• Jury : Examinateurs / Examinatrices : Nicolas Bonichon, Paul Dorbec, Nadia Brauner, Eric Fusy, Michael A. Henning, Mireille Bousquet-Mélou
• Jury : Rapporteurs / Rapporteuses : Eric Fusy, Michael A. Henning

Mots clés

Mots clés contrôlés

Graphes planaires

Mots clés libres

Graphe planaire

Algorithme

Dessin planaire

Domination de puissance

Énumération

Planar graph

Algorithm

Graph drawing

Power domination

Enumeration

Résumé

Dans cette thèse, nous présentons trois problèmes concernant les graphes planaires.Nous travaillons tout d'abord sur les dessins planaires non-alignés, c'est-à-dire des dessins planaires de graphes sur une grille sans que deux sommets se trouvent sur la même ligne ou la même colonne.Nous caractérisons les graphes planaires possédant un tel dessin sur une grille de taille n x n, et nous présentons deux algorithmes générant un dessin planaire non-aligné avec arêtes brisées sur cette grille pour tout graphe planaire, avec n-3 ou min((2n-3)/(5),#{triangles séparateurs}+1) brisures au total.Nous proposons également deux algorithmes dessinant un dessin planaire non-aligné sur des grilles d'aire O(n⁴). Nous donnons des résultats spécifiques concernant les graphes 4-connexes et de type triangle-emboîté.Le second sujet de cette thèse est la domination de puissance dans les graphes planaires. Nous exhibons une famille de graphes ayant un nombre de domination de puissance γP au moins égal à n/6. Nous montrons aussi que pour tout graphe planaire maximal G à n≥6 sommets, γP(G) ≤ (n-2)/4. Enfin, nous étudions les grilles triangulaires Tk à bord hexagonal de dimension k et nous montrons que γP(Tk) = [k/3]. Nous étudions également l'énumération des orientations planaires Eulériennes. Nous proposons une nouvelle décomposition de ces cartes. En considérant les orientations des dernières 2k-1 arêtes autour de la racine, nous définissons des sous- et sur-ensembles des orientations planaires Eulériennes paramétrés par k.Pour chaque classe, nous proposons un système d'équations fonctionnelles définissant leur série génératrice, et nous prouvons que celle-ci est toujours algébrique. Nous montrons ainsi que la constance de croissance des orientations planaires Eulériennes est entre 11.56 et 13.005.

In this thesis, we present results on three different problems concerning planar graphs.We first give some new results on planar non-aligned drawings, i.e. planar grid drawings where vertices are all on different rows and columns.We show that not every planar graph has a non-aligned drawing on an n x n-grid, but we present two algorithms generating a non-aligned polyline drawings on such a grid requiring either n-3 or min((2n-3)/(5),#{separating triangles}+1) bends in total.Concerning non-minimal grids, we give two algorithms drawing a planar non-aligned drawing on grids with area of order n⁴. We also give specific results for 4-connected graphs and nested-triangle graphs.The second topic is power domination in planar graphs. We present a family of graphs with power dominating number γP at least n/6. We then prove that for every maximal planar graph G of order n, γP(G) ≤ (n-2)/4, and we give a constructive algorithm. We also prove that for triangular grids Tk of dimension k with hexagonal-shape border, γP(Tk) = [k/3].Finally, we focus on the enumeration of planar Eulerian orientations. After proposing a new decomposition for these maps, we define subsets and supersets of planar Eulerian orientations with parameter k, generated by looking at the orientations of the last 2k-1 edges around the root vertex.For each set, we give a system of functional equations defining its generating function, and we prove that it is always algebraic.This way, we show that the growth rate of planar Eulerian orientations is between 11.56 and 13.005.