Autour de la connexité dans les graphes avec conflits

On the Connectivity of Graphs with Conflicts

• Auteur / Autrice : Benjamin Momège
• Direction : Christian Laforest, Mamadou Moustapha Kanté
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 09/07/2015
• Etablissement(s) : Clermont-Ferrand 2
• Ecole(s) doctorale(s) : École doctorale des sciences pour l'ingénieur (Clermont-Ferrand)
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
• Jury : Président / Présidente : Pascal Berthomé
• Jury : Examinateurs / Examinatrices : Christian Laforest, Mamadou Moustapha Kanté
• Jury : Rapporteurs / Rapporteuses : Pascal Berthomé, David Coudert

Mots clés

Mots clés contrôlés

Théorie des graphes

Mots clés libres

Graphe

Conflit

Transition Interdite

Connexité

Chemin

Parcours

Arbre

Condition Hamiltonienne

Algorithme Exact

\mathcal{N P}-Complétude

Graph

Conflict

Forbidden Transition

Connectivity

Path

Walk

Tree

Hamiltonian Condition

Exact Algorithm

\mathcal{N P}-Completeness

Résumé

Nous nous intéresserons aux graphes avec conflits (un conflit est une paire d’arêtes ne pouvant pas simultanément faire partie d’un même sous-graphe), dans lesquels nous étudierons différents types de problèmes liés à l’existence de sous-graphes sans conflit, de nature aussi bien algorithmique que combinatoire, notre ligne directrice étant la notion de connectivité. Nous verrons que plusieurs résultats, simples sans conflit, ne le sont plus lors de l’ajout de conflits. Nous présenterons : des algorithmes exacts (non polynomiaux), des résultats de \mathcal{N P}-complétude, et des conditions suffisantes assurant l’existence de certains objets (arbre couvrant, chemin et cycle hamiltonien) sans conflits.

We will look at graphs with conflicts (conflict is a pair of edges can not simultaneously be part of the same subgraph), in which we will study different types of problems related to the existence of subgraphs without conflict. The nature of the problems is both combinatorial and algorithmic. Our guideline is the notion of connectivity. We will see several results, simple without conflict, are no longer when adding conflicts. We will present exact algorithms (not polynomial), \mathcal{N P}-completeness results and sufficient conditions ensuring the existence of certain objects (spanning tree, path and Hamiltonian cycle) without conflict.