Logique sur les graphes et protocoles de diffusion
Abstract
Le but de ce stage est d'apporter une généralisation de cet algorithme des arbres vers les graphes de tree-width borné. Nous avons essayé de généraliser le problème dans le cas des graphes à treewidth borné et des pathwidth pour pouvoir utiliser le théorème de Courcelles (voir Parametrized Complexity).