Vincent TASSION – Algorithmes aléatoires et inégalité OSSS

Depuis les années 2000, des liens profonds ont été établis entre l'informatique théorique et l'étude des transitions de phase en mécanique statistique,  permettant la résolution de conjectures importantes dans le domaine. Dans cet exposé, nous nous intéresserons principalement aux algorithmes aléatoires et à l'inégalité OSSS, que nous illustrerons par des exemples simples. Ces outils seront appliqués à la théorie de la percolation dans l'exposé N. Bourbaki de Marie Théret.