Evènement pour le groupe GT Graphes et Applications


Date 2012-10-05  14:00-15:00
TitreAlgorithmes de graphes polynomiaux utilisant des automates (infinis) à compteurs 
RésuméLe titre est explicite. Les propriétés envisagées ne sont pas exprimables en logique du second-ordre monadique: Exemples: régularité, partition d'un graphe en p sous-graphes réguliers, p-coloriage "équilibré". L'objectif est néanmoins d'obtenir des "méta-théorèmes" algorithmiques.  
LieuSalle 178 
OrateurBruno Courcelle 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index