Retour aux activités
Séminaire du GERAD

Une famille d’algorithmes paramétrés pour des problèmes d’optimisation sur les graphes orientés acycliques

iCalendar

20 oct. 2026   14h00 — 15h00

Alix Munier-Kordon – LIP6, Sorbonne Université

Alix Munier

De nombreux problèmes d’optimisation ayant des applications en production ou en informatique sont définis à partir d’un graphe orienté sans circuit (DAG). C’est notamment le cas des problèmes d’ordonnancement de tâches soumises à des contraintes de précédence et exécutées sur un nombre limité de machines, des problèmes d'équilibrage de ligne d'assemblage, ainsi que de certains problèmes de numérotation topologique, dans lesquels on cherche à optimiser des fonctions telles que la Bandwidth, la Cutwidth ou le Directed Sum Cut. Un grand nombre de ces problèmes sont NP-complets.

Soit \(G=(V,A)\) un graphe orienté sans circuit. On lui associe son graphe de co-comparabilité \(H_G=(V,E)\), obtenu en ajoutant une arête entre deux sommets \(i\) et \(j\) de \(G\) lorsqu’il n’existe aucun chemin reliant \(i\) à \(j\) ni aucun chemin reliant \(j\) à $i)dans $G\). Nous nous intéressons à la dégénérescence \(d\) de ce graphe, soit le plus petit entier \(d\) tel que tout sous-graphe non vide possède au moins un sommet de degré au plus \(d\).

Une coupe de \(G\) consiste à partitionner les sommets en deux sous-ensembles \(S_1\) et \(S_2\) de telle sorte qu’il n’existe aucun arc allant de \(S_2\) vers \(S_1\). On montre qu’il existe une bijection entre les coupes de \(G\) et les cliques de \(H_G\). De plus, si \(H_G\) est de dégénérescence \(d\), son nombre de cliques est borné par \(n2^d\), où \(n=|V|\). On peut alors énumérer l’ensemble des coupes de \(G\) en temps \(\mathcal{O}(d2^d n^2)\).

Cette propriété permet de concevoir, pour les différents problèmes d’optimisation considérés, des algorithmes de programmation dynamique dont la complexité est de la forme \(\mathcal{O}\bigl(f(d)n^{\mathcal{O}(1)}\bigr)\). Nous discuterons dans un deuxième temps de l’implémentation de cette méthode pour plusieurs problèmes, ainsi que de sa comparaison expérimentale avec d’autres approches de la littérature.

Djamal Rebaïne responsable

Lieu

Activité hybride au GERAD
Salle François-Soumis (4488) et Zoom
Pavillon André-Aisenstadt
Campus de l'Université de Montréal
2920, chemin de la Tour

Montréal Québec H3T 1J4
Canada