Evènement pour le groupe Graphes et Logique


Date 2011-04-05  11:00-11:45
TitreComplexité d'énumération: méthodes logiques et algébriques 
RésuméDans une première partie je montrerai comment représenter certains problèmes d'énumération par des formules contenant des variables libres du second ordre. On verra que la complexité d'énumération dépend du nombre de quantificateurs ainsi que de la structure sur lequel ces formules sont évaluées (degré bornée, largeur arborescente bornée ...). Dans un deuxième temps je présenterai des algorithmes probabilistes qui permettent d'énumérer les monômes d'un polynôme. Je montrerai ensuite comment on peut utiliser ces algorithmes pour résoudre des problèmes sur des graphes, des hypergraphes, des automates probabilistes. 
Lieusalle 76 
OrateurYann Strozecki 
Emailyann.strozecki@gmail.com  
UrlToronto university 



Aucun document lié à cet événement.

Retour
Retour à l'index