Théorème de Courcelle: recherche de papiers

Je recherche un article simple et introductif sur la preuve du Théorème de Courcelle . Je m'intéresse également à son lien avec la complexité paramétrée concernant la largeur d'arbre .

Je ne suis qu'un débutant dans ce domaine.

Aucune suggestion?

Il y a une introduction douce dans le livre de Rolf Niedermeier, Invitation to Fixed Parameter Algorithms . Daniel Marx a également plusieurs diapositives disponibles sur sa page d'accueil qui contiennent de courts exemples de modélisation d'un problème dans MSOL. Un ensemble de diapositives pertinentes est ici . Pour plus de liens, voir une question connexe sur CSTheory .

Le théorème de Courcelle est l'une des choses qui est mieux expliquée (par rapport au livre de Niedermeier) dans le livre de Flum et Grohe (voir le chapitre sur la largeur de l'arbre), car les problèmes de vérification de modèle, etc. y sont traités en détail. Par les mêmes auteurs et Frick, il y a aussi une généralisation du théorème de Courcelle: évaluation des requêtes via des décompositions d'arbres . Vous pouvez également consulter des méta-théorèmes similaires pour la largeur de la clique et la profondeur de l'arbuste .

Regardez également ici pour un bref aperçu de certains des articles précédents de Courcelle.