Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Complexité d'énumération: méthodes logiques et algébriques
du 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