Evènement pour le groupe Séminaire Méthodes Formelles


Date 2017-12-12  11:00-12:00
TitreLa coloration de graphe dans le modèle LOCAL - Partie II 
RésuméPartie II: - Coloration rapide des cycles - Borne inférieure en log* sur la coloration des cycles (preuve de Linial) - Une preuve alternative fondé sur le théorème de Ramsey - Etat de l'art 
Lieu178 
OrateurCyril Gavoille 
Emailhttp://dept-info.labri.fr/~gavoille/ 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index