Evènement pour le groupe
GT Graphes et Applications
Date | 2012-10-05 14:00-15:00 |
Titre | Algorithmes 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. |
Lieu | Salle 178 |
Orateur | Bruno Courcelle |
Url | LaBRI |
Aucun document lié à cet événement.
RetourRetour à l'index